Patent ID: 7509605
Filing Date: 2009-03-24
Classification: G06F

Abstract:
1. A method of 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: 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 and an analogous target in the second netlist; wherein constructing the composite netlist includes an action selected from the group consisting of (a) modifying a net corresponding to the verification constraint wherein the composite netlist is free of an analogous verification constraint and (b) importing each of the constraints into the composite netlist; wherein creating the modified net includes 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 innut to the latch; and wherein constructing the composite netlist comprises creating a modified target including 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.