SpecInsightファミリ - CMエンジニアリング
SoC/FPGA設計、IoT開発のベストパートナー

SpecInsightファミリ

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ファミリについて、より詳しく知りたい方のために、よくあるご質問をまとめております

詳細は「お問い合わせ」ページからお問い合わせください

お問い合わせ