US 10,769,331 B2 · Verification algorithm engine selection

Abstract

An apparatus for verification includes a processing module, a data collection module, an engine selection module and an engine execution module. The processing module processes a netlist using a plurality of engines. The netlist includes components and nodes of an integrated circuit design. Each engine includes an algorithm for verification of the integrated circuit design. The data collection module stores, for each engine, execution results for the engine for a plurality of netlists, the results stored in a history buffer. The engine selection module, for a current netlist, calculates using execution results in the history buffer which engine of the plurality of engines has a highest predicted performance and selects the engine with the highest predicted performance. The engine execution module executes the current netlist using the selected engine to produce execution results, reports the execution results and stores the execution results in the history buffer.

Claims20

Dependent claims

An apparatus comprising:

a processing module that processes a netlist using a plurality of engines, the netlist comprising components and nodes of an integrated circuit design, each engine comprising an algorithm for verification of the integrated circuit design, wherein at least a portion of the plurality of engines comprise a transformation-based verification (“TBV”) engine that simplifies the netlist by reducing redundant elements;
a data collection module that stores, for each engine, execution results for the engine for a plurality of netlists, the results stored in a history buffer;
an engine selection module that, for a current netlist, calculates using execution results in the history buffer which engine of the plurality of engines has a highest predicted performance and selects the engine with the highest predicted performance;
and
an engine execution module that executes the current netlist using the selected engine to produce execution results, reports the execution results, and stores the execution results in the history buffer,
wherein said modules comprise one or more of hardware circuits, a programmable hardware device and executable code, the executable code stored on one or more computer readable storage media.

3 more elements

A computer-implemented method for verification comprising:

processing a netlist using a plurality of engines, the netlist comprising components and nodes of an integrated circuit design, each engine comprising an algorithm for verification of the integrated circuit design, wherein at least a portion of the plurality of engines comprise a transformation-based verification (“TBV”) engine that simplifies the netlist by reducing redundant elements;
storing, for each engine, execution results for the engine for a plurality of netlists, the results stored in a history buffer;
calculating, for a current netlist and using execution results in the history buffer, which engine of the plurality of engines has a highest predicted performance;
selecting the engine with the highest predicted performance;
executing the current netlist using the selected engine to produce execution results;
reporting the execution results;
and
storing the execution results in the history buffer.

5 more elements

A computer program product for verification, the computer program product comprising a computer readable storage medium having program instructions embodied therewith, the program instructions executable by a processor to cause the processor to:

process a netlist using a plurality of engines, the netlist comprising components and nodes of an integrated circuit design, each engine comprising an algorithm for verification of the integrated circuit design, wherein at least a portion of the plurality of engines comprise a transformation-based verification (“TBV”) engine that simplifies the netlist by reducing redundant elements;
store execution results for the engine for a plurality of netlists, the results stored in a history buffer;
calculate, for a current netlist and using execution results in the history buffer, which engine of the plurality of engines has a highest predicted performance;
select the engine with the highest predicted performance;
execute the current netlist using the selected engine to produce execution results;
report the execution results;
and
store the execution results in the history buffer.

5 more elements

Dependencies are inferred from the claim text.

Verification algorithm engine selection

Life of this patent

Verification algorithm engine selection

Life of this patent

Abstract

Claims20