Adaptive bug-search depth for simple and deep counterexamples
First Claim
1. A computer system comprising:
- a processor in communication with one or more types of memory, the processor configured to;
provide a netlist indicative of connectivity and functional states of components of an integrated circuit design;
iteratively search through the netlist at a selected depth to locate errors within the netlist by a plurality of trials, each of the plurality of trials having a plurality of iterations, wherein iteratively searching through the netlist at a selected depth to locate errors within the netlist comprises performing a simulation process and a symbolic analysis process;
adaptively adjust the selected depth depending on any errors within the netlist being located, the selected depth increasing over time from an initial value as between the plurality of iterations;
adaptively adjust an amount of coverage of the netlist depending on any errors within the netlist being located, the amount of coverage of the netlist decreasing over time from an initial amount as between the plurality of iterations; and
manufacture the integrated circuit design.
1 Assignment
0 Petitions
Accused Products
Abstract
Aspects of the present invention include methods, systems and computer program products. The method includes a processor providing a netlist indicative of connectivity and functional states of components of an integrated circuit design; iteratively searching through the netlist at a selected depth to locate errors within the netlist by a plurality of trials, each of the plurality of trials having a plurality of iterations; adaptively adjusting the selected depth depending on any errors within the netlist being located, the selected depth increasing over time from an initial value as between the plurality of iterations; and adaptively adjusting an amount of coverage of the netlist depending on any errors within the netlist being located, the amount of coverage of the netlist decreasing over time from an initial amount as between the plurality of iterations.
-
Citations
11 Claims
-
1. A computer system comprising:
a processor in communication with one or more types of memory, the processor configured to; provide a netlist indicative of connectivity and functional states of components of an integrated circuit design; iteratively search through the netlist at a selected depth to locate errors within the netlist by a plurality of trials, each of the plurality of trials having a plurality of iterations, wherein iteratively searching through the netlist at a selected depth to locate errors within the netlist comprises performing a simulation process and a symbolic analysis process; adaptively adjust the selected depth depending on any errors within the netlist being located, the selected depth increasing over time from an initial value as between the plurality of iterations; adaptively adjust an amount of coverage of the netlist depending on any errors within the netlist being located, the amount of coverage of the netlist decreasing over time from an initial amount as between the plurality of iterations; and manufacture the integrated circuit design. - View Dependent Claims (2, 3, 4, 5, 6)
-
7. A computer program product comprising:
a storage medium readable by a processing circuit and storing instructions for execution by the processing circuit for performing a method of designing an integrated circuit comprising; providing a netlist indicative of connectivity and functional states of components of the integrated circuit design; iteratively searching through the netlist at a selected depth to locate errors within the netlist by a plurality of trials, each of the plurality of trials having a plurality of iterations, wherein iteratively searching through the netlist at a selected depth to locate errors within the netlist comprises performing a simulation process and a symbolic analysis process; adaptively adjusting the selected depth depending on any errors within the netlist being located, the selected depth increasing over time from an initial value as between the plurality of iterations; adaptively adjusting an amount of coverage of the netlist depending on any errors within the netlist being located, the amount of coverage of the netlist decreasing over time from an initial amount as between the plurality of iterations; and manufacturing the integrated circuit design. - View Dependent Claims (8, 9, 10, 11)
Specification