How to use Simulink Design Verifier on export-function models?

I got the following error when performing model compatibility check with Simulink Design Verifier:

ERROR: [Model] has asynchronous function-call input. Simulink Design Verifier does not support Model blocks with asynchronous function-call inputs.

How to use Simulink Design Verifier on export-function models?

Answer 1

[MathWorks Support Team]

In order to analyze export-function models with Simulink Design Verifier, please use the following workflow:

1. Create a copy of your model. This will be the Simulink Design Verifier analysis model.

2. Replace the Inport configured to output a function-call trigger with a Function-Call Generator that has the same sample time. If the trigger follows a more elaborate schedule, you will have to create an event scheduler using Stateflow as described in the following documentation:

https://www.mathworks.com/help/simulink/ug/build-a-test-harness.html 

3. Encapsulate the modified model in a subsystem. Connect all the inputs and outputs.

At this point, you should be able to check the compatibility of the model.

4. Generate a test harness by selecting

Analysis > Test harness > Create Model

. This generates a harness with a reference to the analysis model created previously.

5. Remove reference model from the test harness, and insert a reference model of the original export-function model instead. You will need to use a Function-Call Generator or event scheduler again to connect to the trigger input of the reference model.

This test harness model will run and also allow you to do coverage analysis of the model.

Answer 2

[Pat Canny]

In R2018b, Simulink Design Verifier now supports analysis of export-function models in a more automated way. See this page in our documentation to walk through a workflow.