Why does the 'Detect Design Errors' give a 'Falsified - needs simulation' message for the Integer overflow check?
2 views (last 30 days)
Show older comments
MathWorks Support Team
on 8 Oct 2020
Answered: MathWorks Support Team
on 14 Jan 2021
If you are trying to use Design Verifier's 'Design Detect Errors' feature to check integer overflow, then you see the message 'Falsified - needs simulation'. Why does this message appear and how do you successfully check for integer overflows in the design?
Reproduction steps to see the message:
1. Download the attached file.
2. Run Design Verifier's Detect Design Errors and you will see the message 'objective Falsified - needs simulation'.
Accepted Answer
MathWorks Support Team
on 8 Oct 2020
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.
0 Comments
More Answers (0)
See Also
Categories
Find more on Verification, Validation, and Test in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!