Xilinx/ザイリンクス

SpecInsight-ACE

SpecInsight-ACE(アサーション自動生成ツール) /CMエンジニアリング社

効果

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

機能

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

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

図2 アサーション定義例

図2 アサーション定義例

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

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

特徴

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

 

SpecInsight タイミングチャート作成(5分42秒)

SpecInsight-ACE アサーション作成(2分18秒)

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

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

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

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

Xilinxのことなら
PALTEKにご相談ください!

XilinxのことならPALTEKにご相談ください!

Xilinx製品のお問い合わせ

045-477-2001

株式会社PALTEK FPGAソリューション ビジネスユニット
Xilinx製品サポート窓口