AldecがCDC検証ツール「ALINT-PRO-CDC」をリリース
2015年1月29日、各種検証ソリューションを手掛けるAldecは、新製品となるCDC検証ツール「ALINT-PRO-CDC」のリリースを発表した。
Aldecによると新製品「ALINT-PRO-CDC」は下記3つの機能で構成されている。
・スタティック構造検証：
?クロックとリセット、非同期クロックドメインとその乗り換えポイントを自動検出
?切り換えをチェックして同期を確認し、ベストプラクティスと比較検証
・デザイン制約設定：
?クロック・ネットワーク解析の結果をベースに初期SDCファイルを作成
?デザイン制約のカスタム拡張機能と正確なリント・チェック
→合成できないモジュールやカスタム同期機能を記述可能
・ダイナミック機能検証 (Riviera-PROTMとの連携)
?自動でSystemVerilogテストベンチを生成
?メタステーブルを通常のシミュレーション・ベースの検証フローで処理
?アサーション文、カバレッジ文による同期やクロックドメイン乗り換えのチェック
「ALINT-PRO-CDC」は既にリリース中で無料の評価版も用意されている。
= EDA EXPRESS 菰田 浩 =
（2015.02.02
）