HDL Verifier

HDL シミュレーターおよび FPGA ボードを使用して VHDL をテストして検証

 

HDL Verifier™ により、FPGA、ASIC、および SoC 向けの Verilog® と VHDL® をテストして検証することができます。HDL シミュレーターとのコシミュレーションを使用して、MATLAB® または Simulink® で実行されているテストベンチに対して RTL を検証することができます。これらのテストベンチを、FPGA および SoC 開発ボードで使用して、ハードウェアでの HDL 実装を検証することができます。

HDL Verifier は、Xilinx® および Intel® ボードでの FPGA 実装をデバッグしてテストするツールを提供します。MATLAB を使用して、ハードウェアでの設計のテストのため、メモリマッピング済みレジスタの読み込みおよび書き込みを行うことができます。プローブを設計に取り入れ、可視化と解析のため内部信号を MATLAB にアップロードするトリガー条件を設定することができます。

HDL Verifier は、Universal Verification Methodology (UVM) テストベンチなどの RTL テストベンチで使用する検証モデルを生成します。これらのモデルは、SystemVerilog Direct Programming Interface (DPI) をサポートするシミュレーターでネイティブ実行されます。

詳細を見る:

HDL コシミュレーション

HDL コード実装を MATLAB アルゴリズムおよび Simulink モデルに対して検証します。

システム設計をデバッグおよび検証

MATLAB および Simulink でシステムテストベンチとゴールデン リファレンス モデルを使用し、Verilogまたは VHDLコードが機能仕様を満たしていることを検証します。Cadence® Incisive® と Xcelium™ シミュレーター、Mentor Graphics® ModelSim® と Questa® シミュレーター、または Xilinx® Vivado® シミュレーターで、MATLAB または Simulink を使用して設計を検証します。

HDL コシミュレーションによる Simulink モデルの検証

既存の HDL コードを統合

システムレベルのシミュレーションのために、レガシ HDL コードまたはサードパーティの HDL コードを MATLAB アルゴリズムまたは Simulink モデルに組み込みます。コシミュレーション ウィザードを使用して、Verilog または VHDL コードを自動的にインポートして Mentor Graphics または Cadence の HDL シミュレーターに接続します。

コシミュレーション ウィザードを使用した VHDL または Verilog のインポート

HDL コードカバレッジを測定する

Mentor Graphics および Cadence HDL シミュレーターでコードカバレッジ解析ツールおよび対話型ソースデバッガーの結果を使用し、Simulink でテストベンチを評価および改善します。対話型テストを実行するかスクリプトを作成して、バッチ シミュレーションを実行します。

コシミュレーションでのコードカバレッジ統計の取得

UVM および SystemVerilog コンポーネント生成

MATLAB アルゴリズムまたは Simulink モデルを、Synopsys®、Cadence、および Mentor Graphics などの HDL 検証環境にエクスポートします。

UVM コンポーネント生成

完全な Universal Verification Methodology (UVM) テストベンチを Simulink モデルから生成します。UVM シーケンス、スコアボード、およびテスト対象の設計 (DUT) などの検証コンポーネントを生成し、量産用テストベンチに取り入れます。

機能検証用の UVM 環境

SystemVerilog DPI コンポーネントの生成

MATLAB 関数または Simulink サブシステムから SystemVerilog DPI コンポーネントを、SynopsysVCS®、Cadence Incisive または Xcelium、および Mentor Graphics ModelSim または Questa などの機能検証環境で使用する動作モデルとして生成します。 

SystemVerilog コンポーネントの生成

SystemVerilog アサーション

Simulink モデル内でアサーションからネイティブな SystemVerilog アサーションを生成します。生成されたアサーションを使用し、Simulink および製品検証環境全体で設計動作の検証に一貫性があることを確認します。

Assertion ブロックからのコードの生成

ハードウェアベースの検証

MATLAB または Simulink テスト環境に接続された FPGA ボード上でアルゴリズムをデバッグおよび検証します。

FPGA インザループ テスト

MATLAB または Simulink で実行されるシステムテストベンチを使用し、FPGA ボード上で実行されている HDL 実装をテストします。ホストコンピューターを Ethernet、JTAG、または PCI Express® 経由で Xilinx、Intel®、および Microsemi® の FPGA ボードに自動的に接続します。

FPGA ボードでの FPGA インザループ検証の実行  

FPGA データの取得

FPGA で実行されている設計から高速信号を取得し、表示および解析のために MATLAB に自動的に読み込みます。設計全体の信号を解析し、期待される動作の検証または異常の調査を行います。

解析のための信号の取得および MATLAB への読み込み

読み取り/書き込みメモリアクセス

MathWorks から FPGA 設計に IP コアを挿入して、JTAG、Ethernet、または PCI Express 経由で MATLAB からボード上のメモリ位置にアクセスします。AXI レジスタに対して読み取り書き込みアクセスを実行して FPGA アルゴリズムをテストし、MATLAB とボード上のメモリ位置との間で大きい信号またはイメージ ファイルを転送します。

MATLAB からのボード上のメモリ位置へのアクセス

HDL Coder との統合

HDL Verifier を HDL Coder™ とともに使用して、HDL 検証タスクを自動化します。

HDL コシミュレーションの自動化

 HDL Coder によって生成された Verilog または VHDL コードの自動検証を HDL ワークフロー アドバイザー ツールから直接実行します。

HDL ワークフロー アドバイザーを使用した HDL コシミュレーション モデルの生成

FPGA テストの自動化

Xilinx、Intel、および Microsemi の開発ツールと統合して FPGA ビットストリームを生成し、MATLAB または Simulink でテストベンチからハードウェア検証を実行します。Simulink モデルにテストポイントを追加し、表示と解析のために信号を取得して MATLAB に読み込みます。

HDL ワークフロー アドバイザーを使用した FPGA インザループ モデルの生成

SystemVerilog DPI テストベンチ

HDL コード生成中に Simulink モデルから SystemVerilog テストベンチを生成します。Synopsys VCS、Cadence Incisive または Xcelium、Mentor Graphics ModelSim または Questa、および Xilinx Vivado シミュレーターなどの HDL シミュレーターでテストベンチを使用して、生成された Verilog または VHDL コードを検証します。

HDL Coder を使用した DPI コンポーネントの生成

TLM 2.0 生成

Simulink から IEEE® 1666 SystemC™ TLM 2.0 互換のトランザクションレベル モデルを生成します。

バーチャル プロトタイプ

TLM 2.0 インターフェイスで、バーチャル プラットフォームのシミュレーションに使用する SystemC バーチャル プロトタイプ モデルを生成します。

Simulink モデルからのバーチャル プラットフォーム実行可能ファイルの作成

IP-XACT のサポート

IP-XACT™ XML ファイルをインポートして、生成したコンポーネントの TLM インターフェイスをカスタマイズします。TLM ジェネレーターを使用し、Simulink と生成された TLM コンポーネントの間のマッピング情報が含まれた IP-XACT ファイルを生成します。

Simulink モデルからの IP-XACT ファイルの生成

新機能

Universal Verification Methodology のサポート

UVM コンポーネントを Simulink モデルから検証環境での使用のため自動的に生成

FPGA データの取得

トリガーの定義に比較演算子を使用して信号を取得

これらの機能および対応する関数の詳細については、リリースノートを参照してください。

無料評価版を入手する

30 日間の無料評価版はこちら

今すぐダウンロード

あなたは学生ですか?

MATLAB および Simulink 学生向けソフトウェアの入手

詳細を見る