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'.

Answer 1

[MathWorks Support Team]

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.