HDL Verifier

Verify VHDL and Verilog using HDL simulators and FPGA-in-the-loop test benches

HDL Verifier™ automatically generates test benches for Verilog® and VHDL® design verification. You can use MATLAB® or Simulink® to directly stimulate your design and then analyze its response using HDL cosimulation or FPGA-in-the-loop with Xilinx®, Intel®, and Microsemi® FPGA boards. This approach eliminates the need to author standalone Verilog or VHDL test benches.

HDL Verifier also generates components that reuse MATLAB and Simulink models natively in simulators from Cadence®, Mentor Graphics®, and Synopsys®. These components can be used as verification checker models or as stimuli in more complex test-bench environments such as those that use the Universal Verification Methodology (UVM).

Getting Started

Learn the basics of HDL Verifier

Verification with Cosimulation

Cosimulation between HDL simulators and MATLAB and Simulink

Verification with FPGA Hardware

Connect an FPGA board with MATLAB and Simulink for verification and debug of hardware designs

Verification with SystemVerilog DPI Component

Generation of SystemVerilog direct programming interface (DPI) components

Integrate Verification with HDL Code Generation

Generate test benches to verify HDL code generated with HDL Coder™

Transaction Level Model Generation

Generation of SystemC TLM virtual prototypes

Supported Hardware

Support for third-party hardware, such as Xilinx, Intel, and Microsemi FPGA boards