Calypto、シーケンシャル等価性検証の「SLEC」ファミリ製品をバージョンアップ

2011年6月2日、シーケンシャル・アナリシス技術でEDA製品を展開する米Calypto Design Systems社は、同社等価性検証ツール「SLEC」のバージョンアップを発表した。

Calyptoの「SLEC」ファミリ製品は、C言語レベルの等価性チェックが可能な「SLEC System」、個別の高位合成ツールのフローに対応する「SLEC System HLS」、RTL対RTLの等価性をチェックする「SLEC RTL」、RTL消費電力最適化ツール「PowerPro」による最適化をチェックする「SLEC Pro」と計4種の製品がラインナップされているが、「SLEC」の最新バージョン6.0では各ツールの機能がそれぞれ以下の通り強化された。

・SLEC System　

　C++ライブラリをサポート。浮動小数点のRTL実装をチェック可能に。

　ツール設定の自動化を促進。より短時間でセットアップ可能に。

・SLEC System HLS

　SystemC 2.2をサポート。Cadence,Forte,Mentor各社のHLSとの連携を強化。

・SLEC Pro

　解析のパフォーマンスを向上。ランタイムが5倍に。

・SLEC RTL

　等価性検証において複雑なクロック、ラッチ・ネットワークをサポート。

※「SLEC」の最新バージョン6.0は、第48回DACにて同社ブースで展示予定。

※カリプト・デザイン・システムズ株式会社