Patent ID: 7383519

Claim:
A design verification tool for verifying a device design, the design verification tool comprising: a computing system configured to execute a design verification program, wherein the design verification program includes a test case analyzer, a plurality of design verification checkers and a checker selector; wherein the test case analyzer is configured to receive one or more test cases, wherein the test cases define scenarios which exercise corresponding features of the device design analyze the received test cases and identify one or more test case characteristics associated with each of the test cases, wherein the test case characteristics describe features of the device design that will be exercised by the associated test cases; wherein each of the design verification checkers is configured to verify a corresponding one of the test case characteristics in the simulated device; and wherein checker selector is configured to receive from the test case analyzer identification of the test case characteristics associated with each of the test cases, and selectively enable a first set of the design verification checkers and disable a second set of the design verification checkers based on the identification of the test case characteristics received from the test case analyzer.