Design verifier :run all and produce coverage for a sldvmakeharness created model

Illustration
rewvdfd - 2021-08-27T14:18:11+00:00
Question: Design verifier :run all and produce coverage for a sldvmakeharness created model

Hi, After I use MATLAB 17b to generate harness model by using 'sldvmakeharness' function, the harness model and its signal builder display successfully.   Normally I will click the 'run all and produce coverage' button in signal builder to test All cases and produce a model coverage report.   Rather than click button, can I produce the coverage report programmly? I've spend a lot of time to search commands for this but nothing I can found...

Expert Answer

Profile picture of Prashant Kumar Prashant Kumar answered . 2025-11-20

I recommend using sldvrun to generate tests with Design Verifier, then sldvruntest to run the tests and cvhtml to generate a report. An example workflow is included in the documentation for sldvruntest, which I've copied here:
 
open_system('sldvdemo_cruise_control');
opts = sldvoptions;
opts.Mode = 'TestGeneration';
opts.SaveHarnessModel = 'on';
opts.SaveReport = 'off';
[ status, files ] = sldvrun('sldvdemo_cruise_control', opts);
runOpts = sldvruntestopts;
runOpts.coverageEnabled = true; 
[ outData,covData ] = sldvruntest('sldvdemo_cruise_control',...
                      files.DataFile,runOpts); 
cvhtml('coverageReport',covData); 

 


Not satisfied with the answer ?? ASK NOW

Get a Free Consultation or a Sample Assignment Review!