Error code 8 represents an internal error in the Simulink Design Verifier analysis engine.
If you receive this error, contact MathWorks Technical Support. If possible provide a model that can reproduce the problem. If you are unable to send that model, take the following steps to collect information in order to troubleshoot the error:
1. Set the following option on the MATLAB command line:
> set slavteng('feature','DebugLevel',1)
2. Run Simulink Design Verifier compatibility check for the model being analyzed
3. The compatibility check will generate a *.tecla file for the model. Information in this file can provide clues about the root cause of the problem.
The other piece of information is analysis settings. Here is how to retrieve the settings:
1. Get Simulink Design Verifier options for analysis by executing the following command from the MATLAB command line
>> opts = sldvoptions(model);
>> get(opts)
Finally, include *.tecla and options displayed in the MATLAB command prompt.
Best Answer