Verification of Generated HDL Code

Generate testbenches to verify HDL code generated with HDL Coder™

When you generate HDL code using HDL Coder, the tools provide options for automatic verification of the generated code against your source MATLAB^® or Simulink^® design. Use the HDL Workflow Advisor to guide you through code generation and verification. See Getting Started with the HDL Workflow Advisor (HDL Coder) and Generate Test Bench and Enable Code Coverage Using the HDL Workflow Advisor (HDL Coder).

You can generate four kinds of testbenches for verification of generated code: HDL simulation, cosimulation, FPGA-in-the-loop (FIL), or DPI component. The latter three testbenches are provided when you have an HDL Verifier™ license. See Choose a Test Bench for Generated HDL Code (HDL Coder).

These functionalities are not available in MATLAB Online™.

Topics

Cosimulation

Automatic Verification of Generated HDL Code from Simulink
Verify generated HDL code using a generated cosimulation model.
Automatic Verification of Generated HDL Code from MATLAB
Verify generated HDL code using a generated cosimulation script.

FPGA-in-the-Loop

FIL Simulation with HDL Workflow Advisor for Simulink
Generate an FPGA-in-the-loop model using HDL Workflow Advisor.
FIL Simulation with HDL Workflow Advisor for MATLAB
Generate an FPGA-in-the-loop System object™ and testbench using HDL Workflow Advisor.

System Verilog DPI Component

Verify HDL Design Using SystemVerilog DPI Test Bench (HDL Coder)
This example shows how to use SystemVerilog DPI test bench for verification of HDL code where a large data set is required.

Combination of Multiple Testbench Types

Verify the Combination of Hand-Written and Generated HDL Code
This example uses HDL cosimulation and FPGA-in-the-loop (FIL) simulation to verify an HDL design comprising generated and legacy HDL code.
Cosimulation and FPGA-in-the-Loop in MATLAB-to-HDL Workflow
This example shows how to verify generated HDL code using HDL Cosimulation and FPGA-in-the-Loop as steps in the HDL code generation workflow for MATLAB® to HDL.
Verify Sobel Edge Detection Algorithm in MATLAB-to-HDL Workflow (HDL Coder)
This example shows the HDL generation and verification of a MATLAB® design for the Sobel edge detection algorithm using the MATLAB HDL Coder™ Workflow Advisor.

Related Information

Verification (HDL Coder)