コンセプト
当社では、お客様に、仕様書と設計・検証の連動性をコンセプトとした商品をご提案いたします。SpecInsight-ACEは、仕様書に記載するタイミングチャートから、アサーションを自動生成して、検証品質を向上する、というコンセプトのもとに、当社で開発したツールです。
SpecInsight-ACEの機能
SpecInsight-ACEでは、お客様の仕様書に記載するタイミングチャートから、アサーションを自動生成することができます。仕様として定義したタイミングチャートを利用して、アサーション仕様を定義し、アサーション仕様からSVA(SystemVerilog Assertion)コードを自動生成することができます。
また、SpecInsight-ACEには、タイミングチャートエディタが付属しております。これまで、タイミングチャート作成に適したツールがなかったという課題も、SpecInsight-ACEが解決いたします。
アサーション自動生成手順
① タイミングチャートエディタにより、タイミングチャートを作成
② アサーション仕様を波形で定義、波形からアサーションを自動生成
特長
・タイミングチャート作成を効率化できます (タイミングチャートのOfficeツールへの貼り付け機能を装備)
・アサーションベース検証を容易に実現できます (アサーション仕様を波形で定義、自動生成)
・アサーション仕様を簡単にドキュメント化できます (アサーション仕様、日本語説明、SVAコードをセットで出力、ドキュメントとして使用可能)
SpecInsight-ACEの出力はそのまま仕様書としてご活用頂けます。
コード、波形などの情報を一括して出力します。
SpecInsight-ACEの出力例
よくあるご質問
SpecInsight-ACEについて、より詳しく知りたい方のために、よくあるご質問をまとめております。
ムービーで見るSpecInsight-ACE