A methodology for SystemC algorithmic model verification applying MATLAB

Abstract

In this work, we propose a methodology for verifying SystemC algorithmic model applying MATLAB, which enables effective stimuli generation, result analysis and visualization. Two methods are presented with examples given. One is to employ MATLAB as a computation engine. In this scheme, MATLAB is evoked, executed and terminated from within SystemC testbench. SystemC testbench invokes MATLAB engine to execute MATLAB commands and functions, through which the needed stimuli are generated and fed to SystemC model under test. The output is then collected for analysis and visualization after execution. The other is to use MATLAB as the test I/O for SystemC model. In this manner, the stimuli for the SystemC model are extracted from MATLAB and output results of the SystemC model are written to a MATLAB MAT file for comparison and analysis in MATLAB.