春のキャンペーン! - cm engineering...住所...
TRANSCRIPT
CMエンジニアリング株式会社 営業部・ビジネス企画部 TEL: 03-6420-0936 http://cmengineering.co.jp
春のキャンペーン!
仕様書情報から設計検証データを自動生成する
仕様書作成支援ツール「SpecInsight」
対象:SpecInsight-NEO/REG/ACE/TEXのご購入者様
内容:1ライセンスプレゼント*
期間:2017年4月30日まで
RTLからの 端子表生成機能
SpecInsight-NEO
SpecInsight-REG
タイミングチャート エディタ
SpecInsight-ACE
SpecInsight-TEX
お得な春のキャンペーン開催中!
■新横浜本社 住所 横浜市港北区新横浜2-3-12 TEL 045-477-2005 E-mail [email protected]
仕様書情報から設計検証データを自動生成!
SpecInsight-NEO(モジュール間結線生成ツール)
【機能】 ・入出力端子表(Excel)と接続情報からモジュール間接続RTLを自動生成します ・入出力端子表(Excel)のチェック機能が充実しています ・RTL記述言語は、Verilog または VHDL から選択可能です
【機能】 ・レジスタ仕様からレジスタモジュールRTLを自動生成します ・RTL記述言語は、Verilog または VHDL から選択可能です ・バスインタフェースは標準バスをサポートします
SpecInsight-REG(レジスタモジュール生成ツール)
SpecInsightを使って
仕様書の品質も向上!
端子表生成機能:オプション
【機能】 ・HDL記述から入出力端子表(Excel)を自動生成します ・RTL記述言語は、Verilog または VHDL から選択可能です
【機能】 ・専用エディタで仕様書(タイミングチャート)を作成できます ・タイミングチャート上にアサーション仕様を図で定義できます ・アサーション仕様からSystemVerilog Assertion コードを生成します
SpecInsight-ACE(アサーション自動生成ツール)
【機能】 ・仕様書用に作成したタイミングチャートから、テストベンチの入力情報を生成します ・複数のタイミングチャートを組み合わせて検証シナリオを作成でき、テストベンチと 一緒に出力できます ・ テストベンチ記述言語は、Verilog または VHDL から選択可能です
SpecInsight-TEX(テストベンチ生成ツール)
図1 入出力端子表の例
図2 レジスタ仕様の例
図3 タイミングチャート例
CMエンジニアリング株式会社 営業部・ビジネス企画部 TEL: 03-6420-0936 http://cmengineering.co.jp
■新横浜本社 住所 横浜市港北区新横浜2-3-12 TEL 045-477-2005 E-mail [email protected]