NEWS

 
SIEMENS
s2c
 

AldecがCDC検証ツール「ALINT-PRO-CDC」を機能強化

2015年8月10日、各種検証ソリューションを手掛けるAldecは、CDC検証ツール「ALINT-PRO-CDC」のバージョンアップを発表した。

プレスリリース文

発表によると今回のバージョンアップでは、スタティック検証のルール・セットが新たに10個追加されたほか、違反解析手法も強化された。また、ダイナミック検証においては、ハンドシェイク・シンクロナイザが新たにサポートされ、アサーションとカバレッジ、メタステーブルのエミュレーションも生成可能となった。既存のリセット・シンクロナイザにおいてもアサーションとカバレッジの生成、メタステーブルのエミュレーションが可能という事だ。更にダイナミック検証では、テストベンチ生成言語としてVHDLがサポートされている。

alint-01.jpg
※スタティック違反解析のハイライト機能

alint-02.jpg


alint-03.jpg
※画像は全てAldec提供のデータ


なお、Aldecは今年7月に高機能シミュレータ「Riviera-PRO」もバージョンアップしており、網羅的なカバレッジ解析の実現に向けてコンディション・カバレッジとパス・カバレッジの2つの新機能を追加している。

アルデック・ジャパン株式会社

= EDA EXPRESS 菰田 浩 =

(2015/09/14 )

 

ページの先頭へ