Using Matlab and Simulink in a Systemc Verification Environment

Verification is a major bottleneck in today’s design flow. As the functional verification is time consuming, it is constantly being reconsidered. We propose a new verification framework based on the SystemC verification standard that uses MATLAB and Simulink to accelerate testbench development. Our major contributions are first a cosimulation interface between SystemC and MATLAB and Simulink, and next to enable the verification of multiabstraction level designs. This paper presents the verification framework proposed and the cosimulation interface. A case study shows how we used this verification framework in one of our projects.