HDL Verifier


HDL Verifier

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

HDL Cosimulation

Verify HDL code using MATLAB or Simulink as a testbench. Incorporate legacy HDL into system simulations through cosimulation with HDL simulators including ModelSim and Questa from Siemens EDA, Cadence Xcelium, and the Xilinx Vivado simulator.

UVM Environment Generation

Generate complete Universal Verification Methodology (UVM) test benches from Simulink models. Generate UVM sequences, scoreboards, and predictors and incorporate them into production test benches.

Generate SystemVerilog

Generate SystemVerilog DPI components from MATLAB functions or Simulink subsystems for use in functional verification environments including Synopsys VCS®, Cadence Xcelium, and ModelSim® or Questa® from Siemens EDA.


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

Integrate with HDL Code Generation

Perform automated verification of HDL code generated by HDL Coder™ from the HDL Workflow Advisor tool using HDL cosimulation or FPGA-in-the-loop testing.

AXI Manager

Access on-board memories from MATLAB or Simulink over JTAG, Ethernet, or PCI Express. Test FPGA algorithms via read or write access to AXI registers and transfer large signal or image files between MATLAB or Simulink and on-board memory locations.

Documentation | Examples (Xilinx, Intel)

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.

TLM Generation

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

“Simulink allows for us to reduce time spent on hand-writing production UVM test benches, test sequences and scoreboards by about 50% - leaving more time for us to focus on application for breakthrough innovations. Our ASICs designed for automotive applications rely on UVM for production verification – MATLAB and Simulink simplify the once tedious task of developing the algorithms for these devices.”

Khalid Chishti, ASIC development manager, Allegro MicroSystems