AldecがCDC検証ツール「ALINT-PRO-CDC」をリリース

2015年1月29日、各種検証ソリューションを手掛けるAldecは、新製品となるCDC検証ツール「ALINT-PRO-CDC」のリリースを発表した。


Aldecによると新製品「ALINT-PRO-CDC」は下記3つの機能で構成されている。

alint_cdc_img_01.jpgのサムネール画像

・スタティック構造検証:

 ?クロックとリセット、非同期クロックドメインとその乗り換えポイントを自動検出
 ?切り換えをチェックして同期を確認し、ベストプラクティスと比較検証
 
・デザイン制約設定:

 ?クロック・ネットワーク解析の結果をベースに初期SDCファイルを作成
 ?デザイン制約のカスタム拡張機能と正確なリント・チェック
  →合成できないモジュールやカスタム同期機能を記述可能

・ダイナミック機能検証 (Riviera-PROTMとの連携) 

 ?自動でSystemVerilogテストベンチを生成
 ?メタステーブルを通常のシミュレーション・ベースの検証フローで処理
 ?アサーション文、カバレッジ文による同期やクロックドメイン乗り換えのチェック

「ALINT-PRO-CDC」は既にリリース中で無料の評価版も用意されている。

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

= EDA EXPRESS 菰田 浩 =
(2015.02.02 )