HDL Verifier

 

HDL Verifier

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

RTL Verification

RTL Verification

Verify HDL code for ASICs or FPGAs with a MATLAB and Simulink testbench through cosimulation with HDL simulators. Generate SystemVerilog testbenches for verification environments used in unit- or chip-level testing.

FPGA Prototyping, Verification, and Testing

Perform hardware-based verification on FPGA development boards using FPGA-in-the-loop testing. Probe internal signals within designs for hardware debugging, and control testing from MATLAB.

HDL Cosimulation

Verify HDL code using MATLAB and 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.

FPGA-in-the-Loop

Use MATLAB and Simulink testbenches 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®.

Generate SystemVerilog DPI

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.

Generate UVM Environments

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

FPGA Data Capture

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

AXI Manager

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

Documentation | Examples (XilinxIntel)

HDL Verifier

“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, Allegro MicroSystems