How to use design verifier with incompatible simulink models?

I have a Simulink model with an integrator block that cannot be stubbed while running the design verifier, rendering the model incompatible with the design verifier. Is there a way to increase the coverage of such a model other than manually building test cases?

[Akshat Dalal]

Hi Tushar,

You will have to write your own block replacement rules to handle the unsupported blocks for SLDV. Please refer the following documentations for more information:

• SLDV block replacement: https://www.mathworks.com/help/sldv/ug/block-replacements-for-unsupported-blocks.html
• Supported and unsupported blocks with SLDV: https://www.mathworks.com/help/sldv/ug/simulink-block-support.html

Thanks