When using the Simulink Design Verifier to detect design errors, I receiver an "Overflow" error during inspection that does not occur during test simulation. What is the issue and how can I fix it?
MATLAB: Does the overflow test case generated by Simulink Design Verifier (ver. 2.7) not overflow during simulation
Simulink Design Verifier
Related Solutions
The output message 'Falsified - needs simulation' is not an error but a notification that there is one more step pending, to complete the integer overflow check. Please follow steps given below to finish the integer overflow check:
Step 1: Run 'Detect Design Errors' and get the results window that shows the error: 'Falsified - needs simulation'
Step 2: From the Results window, click on the option: 'Create harness model'. The following windows should appear (below). Click on the Run (circled in green) button to execute the test case
Step 3: Click on the 'View Warnings' shown below
Final output:
As you can see, you can detect the integer overflow successfully.
The example you're trying to open is for the Deep Learning Toolbox, which was released only in R2018b. In earlier versions of MATLAB (like R2017a), the toolbox does not exist (For R2018a and earlier versions you could use the Neural Network Toolbox).
Best Answer