Method and apparatus for detection and isolation during large scale circuit verification

1. A method for providing verification for a simulation design, comprising:

analyzing a simulation design during a first stage of verification using a testbench comprising a rapid bug detection tool;

if a bug is detected in the first stage, executing a second stage of verification, wherein

a bug isolation tool is added to the testbench; and

the bug is isolated and eliminated using the testbench comprising the bug isolation tool,

wherein the bug isolation tool comprises a complex memory array monitor to examine stored entries, and

wherein the rapid bug detection tool comprises an assertion suite that allows bug detection in a single cycle.

2. The method of claim 1 , wherein the simulation design comprises a register transfer level design.

3. The method of claim 1 , further comprising:

storing a checkpoint state of a simulation; and

restarting the simulation from the checkpoint state, if the bug is detected.

4. The method of claim 1 , wherein the rapid bug detection tool is lightweight.

5. The method of claim 1 , wherein the rapid bug detection tool comprises at least one assertion suite selected from a group consisting of Open Verilog Language and System Verilog.

6. The method of claim 1 , wherein the bug isolation tool comprises a tool to dump a signal trace in at least one file format selected from a group consisting of Value Change Dump, Waveform Intermediate Format, Integrated Signal Database, and Fast Signal Database.

7. A computer system for providing verification for a simulation design, comprising:

a processor;

a memory;

a storage device; and

software instructions stored in the memory for enabling the computer system to:

analyze a simulation design during a first stage of verification using a testbench comprising a rapid bug detection tool;

if a bug is detected in the first stage, execute a second stage of verification, wherein a bug isolation tool is added to the testbench; and

the bug is isolated and eliminated using the testbench comprising the bug isolation tool,

wherein the bug isolation tool comprises a complex memory array monitor to examine stored entries, and

wherein the rapid bug detection tool comprises an assertion suite that allows bug detection in a single cycle.

8. The computer system of claim 7 , wherein the simulation design comprises a register transfer level design.

9. The computer system of claim 7 , further comprising software instructions to:

store a checkpoint state of a simulation; and

restart the simulation from the checkpoint state, if the bug is detected.

10. The computer system of claim 7 , wherein the rapid bug detection tool is lightweight.

11. The computer system of claim 7 , wherein the rapid bug detection tool comprises at least one assertion suite selected from a group consisting of Open Verilog Language and System Verilog.

12. The computer system of claim 7 , wherein the bug isolation tool comprises a tool to dump a signal trace in at least one file format selected from a group consisting of Value Change Dump, Waveform Intermediate Format, Integrated Signal Database, and Fast Signal Database.

13. A system for verifying a simulation design, comprising:

a test vector providing an input signal value for the component in the simulation design;

a testbench for verifying the simulation design using the test vector;

a rapid bug detection tool associated with the testbench for analyzing the simulation design for a bug during a first stage of verification; and

a bug isolation tool associated with the testbench for isolating and eliminating the bug during a second stage of verification, wherein the bug isolation tool is added to the testbench if the bug is detected by the rapid bug detection tool,

wherein the bug isolation tool comprises a complex memory array monitor to examine stored entries, and

wherein the rapid bug detection tool comprises an assertion suite that allows bug detection in a single cycle.

14. The system of claim 13 , wherein the simulation design comprises a register transfer level design.

15. The system of claim 13 , further comprising:

a checkpoint state of a simulation that is stored and used to restart the simulation, if the bug is detected by the rapid bug detection tool.

16. The system of claim 13 , wherein the rapid bug detection tool is lightweight.

17. The system of claim 13 , wherein the rapid bug detection tool comprises at least one assertion suite selected from a group consisting of Open Verilog Language and System Verilog.

18. The system of claim 13 , wherein the bug isolation tool comprises a tool to dump a signal trace in at least one file format selected from a group consisting of Value Change Dump, Waveform Intermediate Format, Integrated Signal Database, and Fast Signal Database.

19. An apparatus providing verification for a simulation design, comprising:

means for analyzing a simulation design for a bug during a first stage of verification using a testbench comprising a rapid bug detection tool;

means for adding a bug isolation tool to the testbench during a second stage of verification, if the bug is detected in the first stage;

means for isolating and eliminating the bug using the testbench comprising the bug isolation tool,

wherein the bug isolation tool comprises a complex memory array monitor to examine stored entries, and

wherein the rapid bug detection tool comprises an assertion suite that allows bug detection in a single cycle.