ＣＭエンジニアリング株式会社 営業部・ビジネス企画部 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 info_pal@paltek.co.jp

仕様書情報から設計検証データを自動生成！

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 タイミングチャート例

ＣＭエンジニアリング株式会社 営業部・ビジネス企画部 TEL: 03-6420-0936 http://cmengineering.co.jp

■新横浜本社 住所 横浜市港北区新横浜2-3-12 TEL 045-477-2005 E-mail info_pal@paltek.co.jp