【EDSF2006】カリプト・デザイン・システムズ>>シーケンシャル等価性検証ツール「SLEC」

パシフィコ横浜で開催されたEDSFair2006で目にした、カリプト・デザイン・システムズのブース。

カリプト・デザイン・システムズは、等価性検証を行うツール「SLEC」を展示し、予約制で製品のデモを披露していた。

「SLEC」は、異なるシーケンスをもつ2つのデザイン間の機能等価性を検証するツールで、業界初のシーケンシャル等価性検証ツールとして注目を集めている。

特に動作合成を利用するユーザにとっては、このツールを用いる事で合成前のCモデルと合成されたRTLの等価性を検証する事ができるようになるため、その利用価値は非常に高いという。そのため、同社は既にフォルテの「Cynthesizer」、メンターの「CatapultC」2つの動作合成ツールと連携しており、ブースではそれらツールと「SLEC」の連携に関する共同デモが行われていた。

尚、SLECは既に国内大手メーカー3社への導入実績があり、動作合成ユーザからの引き合いが多いという。

※カリプト・デザイン・システムズ　http://www.calypto.com