HDL Verifier

Test and verify Verilog and VHDL using HDL simulators and FPGA boards

 

HDL Verifier™ lets you test and verify Verilog® and VHDL® designs for FPGAs, ASICs, and SoCs. You can verify RTL against test benches running in MATLAB® or Simulink® using cosimulation with an HDL simulator. These same test benches can be used with FPGA and SoC development boards to verify HDL implementations in hardware.

HDL Verifier provides tools for debugging and testing FPGA implementations on Xilinx® and Intel® boards. You can use MATLAB to write to and read from memory-mapped registers for testing designs on hardware. You can insert probes into designs and set trigger conditions to upload internal signals into MATLAB for visualization and analysis.

HDL Verifier generates verification models for use in RTL test benches, including Universal Verification Methodology (UVM) test benches. These models run natively in simulators that support the SystemVerilog Direct Programming Interface (DPI).

Get Started:

HDL Cosimulation

Verify HDL code implementations against MATLAB algorithms and Simulink models.

Debug and Verify System Designs

Use system test benches and golden reference models in MATLAB and Simulink to verify that Verilog or VHDL code meets functional specifications. Verify designs using MATLAB or Simulink with Cadence® Incisive® and Xcelium™ simulators, Mentor Graphics® ModelSim® and Questa® simulators, or the Xilinx® Vivado® simulator.

Verifying Simulink models with HDL cosimulation.

Integrate Existing HDL Code

Incorporate legacy or third-party HDL code into MATLAB algorithms or Simulink models for system-level simulation. Use the Cosimulation Wizard to automatically import Verilog or VHDL code and connect to Mentor Graphics or Cadence HDL simulators.

Importing VHDL or Verilog using the Cosimulation Wizard.

Measure HDL Code Coverage

Evaluate and refine test benches in Simulink using results from code coverage analysis tools and interactive source debuggers in Mentor Graphics and Cadence HDL simulators. Perform interactive testing or author scripts to drive batch simulation.

Obtaining code coverage statistics with cosimulation.

UVM and SystemVerilog Component Generation

Export MATLAB algorithms or Simulink models to HDL verification environments including those from Synopsys®, Cadence, and Mentor Graphics.

UVM Component Generation

Generate complete Universal Verification Methodology (UVM) test benches from Simulink models. Generate verification components such as UVM sequences, scoreboards and designs-under-test (DUTs) and incorporate them into production test benches.

UVM environment for functional verification.

SystemVerilog DPI Component Generation

Generate SystemVerilog DPI components from MATLAB functions or Simulink subsystems as behavioral models for use in functional verification environments including Synopsys VCS®, Cadence Incisive or Xcelium, and Mentor Graphics ModelSim or Questa. 

Generating SystemVerilog components.

SystemVerilog Assertions

Generate native SystemVerilog assertions from assertions in your Simulink model. Use the generated assertions to ensure consistent validation of design behavior across Simulink and your production verification environment.

Generating code from an Assertion block.

Hardware-Based Verification

Debug and verify algorithms on FPGA boards connected to MATLAB or Simulink test environments.

FPGA-in-the-Loop Testing

Use system test benches running in MATLAB or Simulink to test HDL implementations executing on FPGA boards. Connect your host computer automatically to Xilinx, Intel®, and Microsemi® FPGA boards over Ethernet, JTAG, or PCI Express®.

Performing FPGA-in-the-loop verification with FPGA boards. 

FPGA Data Capture

Capture high-speed signals from designs executing on an FPGA and automatically load them into MATLAB for viewing and analysis. Analyze signals throughout your design to verify expected behavior or investigate anomalies.

Capturing signals and uploading them to MATLAB for analysis.

Read/Write Memory Access

Access on-board memory locations from MATLAB over JTAG, Ethernet, or PCI Express by inserting an IP core from MathWorks into FPGA designs. Test FPGA algorithms via read or write access to AXI registers and transfer large signal or image files between MATLAB and on-board memory locations.

Accessing on-board memory locations from MATLAB.

Integration with HDL Coder

Automate HDL verification tasks by using HDL Verifier with HDL Coder™.

HDL Cosimulation Automation

Conduct automated verification of Verilog or VHDL code generated by HDL Coder directly from the HDL Workflow Advisor tool.

Generating an HDL cosimulation model using HDL Workflow Advisor.

FPGA Testing Automation

Perform hardware verification from test benches in MATLAB or Simulink by generating FPGA bitstreams through integration with Xilinx, Intel, and Microsemi development tools. Add test points to Simulink models to capture signals and load them into MATLAB for viewing and analysis.

Producing an FPGA-in-the-loop model using HDL Workflow Advisor.

SystemVerilog DPI Test Bench

Generate a SystemVerilog test bench from a Simulink model during HDL code generation. Verify the generated Verilog or VHDL code using the test bench with HDL simulators including Synopsys VCS, Cadence Incisive or Xcelium, Mentor Graphics ModelSim or Questa, and Xilinx Vivado simulators.

Generating DPI components using HDL Coder.

TLM 2.0 Generation

Generate IEEE® 1666 SystemC™ TLM 2.0 compatible transaction-level models from Simulink.

Virtual Prototypes

Generate SystemC virtual prototype models with TLM 2.0 interfaces for use in virtual platform simulations.

Create virtual platform executables from Simulink models.

IP-XACT Support

Customize the TLM interfaces of the components you generate by importing IP-XACT™ XML files. Use TLM generator to produce IP-XACT files with mapping information between Simulink and generated TLM components.

Generate IP-XACT files from Simulink models.

Latest Features

Universal Verification Methodology Support

Automatically generate UVM components from Simulink models for use in verification environments

FPGA Data Capture

Capture signals with greater flexibility using comparison operators in defining triggers

See release notes for details on any of these features and corresponding functions.

Get a Free Trial

30 days of exploration at your fingertips.

Download now

Ready to Buy?

Get pricing information and explore related products.

Are You a Student?

Get MATLAB and Simulink student software.

Learn more