HOME > 製品/サービス紹介 > SpecInsightファミリ

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無料トライアル版ダウンロード

よくあるご質問

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

FAQ