Patent ID: 7210109
Filing Date: 2007-04-24
Classification: G06F

Abstract:
1. A method for comparing cones of logic comprising: applying a latch behavior to a first netlist and a second netlist, wherein the latch behavior exhibits transparent behavior; asserting flush enabling conditions to the first netlist and the second netlist; for each of a plurality of latches in a first scan chain in the first netlist, finding a corresponding latch in a second scan chain in the second netlist; for each of the plurality of latches in the first netlist, extracting a respective plurality of first cones of logic from the first scan chain, and extracting a respective plurality of second cones of logic from the second scan chain; and comparing each of the respective first and second cones of logic for functional equivalence, wherein the comparing further comprises determining whether a logic function for each of the corresponding latches is equivalent under the flush enabling condition.