NEWS
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にて同社ブースで展示予定。
｜ページの先頭へ｜