System and method using pass/fail test results to prioritize electronic design verification review

[0020]A Verification Issue Rating System (VIRS) in accord with the present invention uses pass / fail test results to prioritize electronic design verification review issues. Properties that have never been violated in any passing or failing test are given highest priority. Properties that have been violated in a failing test are given lower priority. Similarly, code coverage items that have never been exercised in any passing or failing test are given highest priority. Code coverage items that have been exercised in a failing test are given lower priority.

[0021]Verification teams typically use simulators to generate code coverage reports to discover which lines of RTL design code have not been exercised. For example, an RTL design may include a case statement specifying four conditions corresponding to the four combinations of values for a pair of binary signals. The code coverage report may report that cases 00, 01 and 10 are exercised but the case 11 is not exercised. The RTL code f