AMD
製品 | 概要 |
---|---|
SpecInsight-NEO | 入出力端子表と接続情報からモジュール間接続RTLを自動生成します |
SpecInsight-REG | レジスタ仕様からレジスタモジュールRTLを自動生成します |
SpecInsight-ACE | 専用エディタで仕様書(タイミングチャート)を作成できますタイミングチャート上にアサーション仕様を図で定義できます。 アサーション仕様からSystemVerilog Assertionコードを生成します |
SpecInsight-TEX | 仕様書用に作成したタイミングチャートから、テストベンチの入力情報を生成します。 複数のタイミングチャートを組み合わせて検証シナリオを作成できます。 |
SpecInsight タイミングチャートエディタ | 仕様書用にタイミングチャートを作成できるエディタです。 |