HDL Verifier enables you to reuse your system-level design environment in your HDL design environment. You can test and verify RTL designs against golden reference models in MATLAB and Simulink, debug designs in simulators or hardware, and generate testbenches and verification IP.
With HDL Verifier, you can verify FPGA, ASIC, and SoC designs using testbenches that run in MATLAB and Simulink with RTL designs that run in your HDL simulator. You can reuse these testbenches with AMD®, Altera®, and Microchip FPGA development boards to verify hardware implementations and probe internal signals to debug designs. You can also generate Universal Verification Methodology (UVM) components from MATLAB and Simulink for use in your SystemVerilog verification environment. All these capabilities are compatible with existing HDL code and code generated by HDL Coder.
RTL Verification of ASICs and FPGAs
Verify HDL code with MATLAB and Simulink testbenches through cosimulation with simulators from Cadence®, Synopsys®, Siemens®, and AMD®. Generate testbenches for SystemVerilog verification environments.
Simulation-Based Verification
Verify HDL code using MATLAB and Simulink models as testbenches. Incorporate legacy HDL code into system simulations through cosimulation with Xcelium™, VCS®, Questa, and Vivado HDL simulators.
Hardware-Assisted Verification
Connect your host computer automatically to AMD, Altera, and Microchip FPGA boards to verify implementation using MATLAB and Simulink testbenches. Probe internal signals within designs for hardware debugging.
Mixed-Signal Design and Verification
To evaluate how a design under test interacts with analog circuits, create behavioral models as stand-ins for analog functionality by generating SystemVerilog DPI-C code from analog or mixed-signal models from Simscape™, SerDes Toolbox™, or Mixed-Signal Blockset™.
Examples (SerDes Toolbox, Mixed-Signal Blockset)
Generate RTL Testbenches
Use ASIC Testbench to generate SystemVerilog DPI components from MATLAB functions or Simulink subsystems for use in functional verification environments, including VCS, Xcelium, Questa, and Vivado.
MATLAB: Documentation | Examples
Simulink: Documentation | Examples
Generate UVM Environments
Use ASIC Testbench to generate complete Universal Verification Methodology (UVM) testbenches for HDL simulators from MATLAB and Simulink. Generate fully functional testbenches for the UVM Framework (UVMF).
Debug on Development Boards
Capture high-speed signals from designs executing on an FPGA and automatically load them into MATLAB for visualization and analysis. Use logic analyzer software to explore signals throughout your design to verify expected behavior or investigate anomalies.
Generate SystemC TLM 2.0 Transaction-Level Models
Use ASIC Testbench to generate SystemC virtual prototype models with TLM 2.0 interfaces for use in virtual platform simulations. Use TLM generation to produce IP-XACT files with mapping information between Simulink and generated TLM components.
Product Resources:
Allegro MicroSystems Accelerates Chip Verification with MathWorks and Model-Based Verification
Allegro MicroSystems shifts left IC verification, shortening IC/ASIC verification time and enabling collaboration between design verification engineers and system designers.
HDL Verifier FAQs
HDL Verifier is a MathWorks product that enables you to test and verify RTL designs against golden reference models in MATLAB and Simulink, debug designs in simulators or hardware, and generate testbenches and verification IP for FPGA, ASIC, and SoC designs.
HDL Verifier supports cosimulation with Xcelium, VCS, Questa, and Vivado HDL simulators from Cadence, Synopsys, Siemens, and AMD.
HDL Verifier works with FPGA development boards from AMD, Altera (Intel), and Microchip for hardware-assisted verification and signal probing.
Yes, HDL Verifier is compatible with both existing HDL code and code generated by HDL Coder, allowing you to verify both hand-written and generated HDL designs.
FPGA-in-the-Loop (FIL) verification automatically connects your host computer to FPGA boards to verify hardware implementations using MATLAB and Simulink testbenches, and allows you to probe internal signals for hardware debugging.
Yes, HDL Verifier can generate Universal Verification Methodology (UVM) components and complete UVM testbenches from MATLAB and Simulink for use in SystemVerilog verification environments.
ASIC Testbench is a feature that generates SystemVerilog DPI components, complete UVM testbenches, and SystemC TLM 2.0 transaction-level models from MATLAB functions or Simulink subsystems for use in functional verification environments.
Yes, HDL Verifier can generate SystemVerilog DPI-C code from analog or mixed-signal models created with Simscape, SerDes Toolbox, or Mixed-Signal Blockset to evaluate how designs interact with analog circuits.
