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...

Answer 1

[Pat Canny]

Hi Jiahao,

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); 

Thanks.

- Pat

[Jiahao CHANG]

Hi Pat, this is exactly what I'm looking for. It seems that the documentation for sldvruntest in 2020a is much more helpful compare to the doc in 2017b. The demo runs perfectly well, therefore I'll put this in my model. Thanks for your help Pat!

[Pat Canny]

You're welcome! Thanks for the feedback on the Documentation improvement. We've tried to improve it over the recent releases. If you come across anything else that is confusing or missing, please let me know.