Why does the 'Detect Design Errors' give a 'Falsified - needs simulation' message for the Integer overflow check?
显示 更早的评论
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'.
采纳的回答
MathWorks Support Team
2020-10-8
0 个投票
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 个）
类别
在 帮助中心 和 File Exchange 中查找有关 Verification, Validation, and Test 的更多信息
2020-10-8
2021-1-14
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
