Patent ID: 7779378
Filing Date: 2010-08-17
Classification: G06F

Abstract:
1. A computer program product comprising a set of instructions, stored on computer readable medium, wherein the instructions are executable by a computer system to perform a method for applying a verification result obtained using a first netlist of a design to a second netlist of the design, wherein at least one of the first and second netlists includes a verification constraint, comprising: instructions for constructing a composite netlist of the first netlist and the second netlist wherein the composite netlist is suitable for detecting differences in state between a target in the first netlist and an analogous target in the second netlist; and wherein the instructions for constructing the composite netlist includes instructions for choosing between an action selected from the group consisting of modifying a net corresponding to the verification constraint wherein the composite netlist is free of verification constraints and importing each of the constraints into the composite netlist; and wherein the instructions for creating the modified net includes instructions for adding a first AND gate and a latch to the composite netlist, wherein the constraint net provides a first input to the AND gate an output of the latch provides a second input to the AND gate and further wherein an output of the AND gate provides an input to the latch; and wherein the instructions for constructing the composite netlist comprises instructions for creating a modified target including instructions for adding a second AND gate wherein a first target provides a first input to the second AND gate and wherein the modified constraint net provides a second input to the second AND gate.