AldecがCDC検証ツール「ALINT-PRO-CDC」を機能強化
2015年8月10日、各種検証ソリューションを手掛けるAldecは、CDC検証ツール「ALINT-PRO-CDC」のバージョンアップを発表した。
発表によると今回のバージョンアップでは、スタティック検証のルール・セットが新たに10個追加されたほか、違反解析手法も強化された。また、ダイナミック検証においては、ハンドシェイク・シンクロナイザが新たにサポートされ、アサーションとカバレッジ、メタステーブルのエミュレーションも生成可能となった。既存のリセット・シンクロナイザにおいてもアサーションとカバレッジの生成、メタステーブルのエミュレーションが可能という事だ。更にダイナミック検証では、テストベンチ生成言語としてVHDLがサポートされている。
※スタティック違反解析のハイライト機能
※画像は全てAldec提供のデータ
なお、Aldecは今年7月に高機能シミュレータ「Riviera-PRO」もバージョンアップしており、網羅的なカバレッジ解析の実現に向けてコンディション・カバレッジとパス・カバレッジの2つの新機能を追加している。
= EDA EXPRESS 菰田 浩 =
（2015.09.14
）