2007-03-15から1日間の記事一覧

2007年3月14日、シーケンシャル等価性検証ツール「SLEC」を手掛ける、米Calypto Design Systems社は、プロセッサーベンダーの大手米AMD社が社内の設計フローに同社の等価性検証ツール「SLEC」を採用した事を発表した。

EDA関連ニュース

AMDは最先端プロセッサのパフォーマンス検証と電力最適化の検証にCalyptの「SLEC」を採用。リタイミングやクロック・ゲーティングなど最適化したRTLと最適化前のRTLとの機能等価性の確認に適用した。「SLEC」は、異なる2つのコードの機能等価性をチェックす…