Patent ID: 8413091
Filing Date: 2013-04-02
Classification: G06F

Abstract:
1. A computer program product comprising a non-transitory computer readable storage medium having a computer readable program stored therein, wherein the computer readable program, when executed on a computing device, causes the computing device to: receive input that identifies a netlist to be validated and at least one of a set of equivalences or a set of equivalence classes; build a proof graph without any edges and with at least two of a node for each equivalence in a set of equivalences or at least two of a node for each equivalence class in a set of equivalence classes; perform speculative reduction on an unrolled version of the netlist, wherein the speculative reduction asserts a set of suspected equivalences in the set of equivalences or in the set of equivalence classes; for each of the set of suspected equivalences in the proof graph of the netlist: for each node in the proof graph: