SpecInsight-ACE

SpecInsight-ACE（アサーション自動生成ツール） ／CMエンジニアリング社

効果

• アサーション・ベース検証を簡単に導入することができます（※アサーションに関する詳しい知識は必要ありません）
• 検証内容を図で表示できるので、レビューがしやすくなります
• タイミングチャートもアサーションも簡単に再利用できます

機能

• 専用エディタで仕様書（タイミングチャート）を作成できます(図1)
• タイミングチャート上にアサーション仕様を図で定義できます(図2)
• アサーション仕様からSystemVerilog Assertion コード(図3)を生成します

図1 タイミングチャート例（仕様書用）

図2 アサーション定義例

図3 アサーション・コードの出力例

特徴

• タイミングチャートを簡単に作成することができます （タイミングチャートエディタが含まれます）
• アサーション言語を知らなくてもアサーションを定義できます
• 図で定義したアサーションを日本語の説明文として出力します

アサーション自動生成手順

① タイミングチャートエディタにより、タイミングチャートを作成

② アサーション仕様を波形で定義、波形からアサーションを自動生成

資料ダウンロード (SpecInsightシリーズ共通)

総合リーフレット (PDF：778KB)

AMD製品・
FPGA評価ボードのことなら
PALTEKにご相談ください！

AMD製品・FPGA評価ボードの
お問い合わせ

03-5479-7021

株式会社PALTEK FPGAソリューション事業部
AMD製品サポート窓口