SpecInsightファミリについて
SpecInsightファミリは、仕様書の情報から設計、検証に必要なデータを自動生成することで、設計初期段階でのRTLの品質向上を実現し、最終製品の設計品質向上や、開発TATおよびコスト削減を図る、というコンセプトのもとに、当社で開発した製品群です。
SpecInsightファミリの製品構成
| 製品 | 概要 |
|---|---|
| SpecInsight-NEO | 入出力端子表と接続情報からモジュール間接続RTLを自動生成します |
| SpecInsight-REG | レジスタ仕様からレジスタモジュールRTLを自動生成します |
| SpecInsight-ACE | 専用エディタで仕様書（タイミングチャート）を作成できます タイミングチャート上にアサーション仕様を図で定義できます アサーション仕様からSystemVerilog Assertion コードを生成します |
| SpecInsight-TEX | 仕様書用に作成したタイミングチャートから、テストベンチの入力情報を生成します 複数のタイミングチャートを組み合わせて検証シナリオを作成できます |
| SpecInsight タイミングチャートエディタ |
仕様書用にタイミングチャートを作成できるエディタです |
詳しくは、以下のご紹介資料をぜひご覧下さい。
SpecInsightファミリのご紹介資料
設計編(SpecInsight-NEO,SpecInsight-REG)
検証編(SpecInsight-ACE,SpecInsight-TEX)
よくあるご質問
SpecInsightファミリについて、より詳しく知りたい方のために、よくあるご質問をまとめております。
