HOME > 製品/サービス紹介 > SpecInsight-ACE (アサーション自動生成)

SpecInsight-ACE(アサーション自動生成)

コンセプト

当社では、お客様に、仕様書と設計・検証の連動性をコンセプトとした商品をご提案いたします。SpecInsight-ACEは、仕様書に記載するタイミングチャートから、アサーションを自動生成して、検証品質を向上する、というコンセプトのもとに、当社で開発したツールです。

SpecInsight-ACEの機能

SpecInsight-ACEでは、お客様の仕様書に記載するタイミングチャートから、アサーションを自動生成することができます。仕様として定義したタイミングチャートを利用して、アサーション仕様を定義し、アサーション仕様からSVA(SystemVerilog Assertion)コードを自動生成することができます。
また、SpecInsight-ACEには、タイミングチャートエディタが付属しております。これまで、タイミングチャート作成に適したツールがなかったという課題も、SpecInsight-ACEが解決いたします。

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

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



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

特長

・タイミングチャート作成を効率化できます (タイミングチャートのOfficeツールへの貼り付け機能を装備)
・アサーションベース検証を容易に実現できます (アサーション仕様を波形で定義、自動生成)
・アサーション仕様を簡単にドキュメント化できます (アサーション仕様、日本語説明、SVAコードをセットで出力、ドキュメントとして使用可能)


SpecInsight-ACEの出力はそのまま仕様書としてご活用頂けます。
コード、波形などの情報を一括して出力します。
SpecInsight-ACEの出力例

よくあるご質問

SpecInsight-ACEについて、より詳しく知りたい方のために、よくあるご質問をまとめております。

FAQ

ムービーで見るSpecInsight-ACE