Patent ID: 8122403
Filing Date: 2012-02-21
Classification: G06F

Abstract:
1. A method, performed by execution of instructions loaded into a computer system, of identifying trace-containment over sequential circuitry design netlists n 1 and n 2 by using constraint-based uncorrelated equivalence checking, the method comprising: obtaining, by the execution of said instructions, candidate input sets i uncorrelating, by the execution of said instructions, the input set it from the input set i checking equivalence of the netlists n identifying, by the execution of said instructions, a mismatch between the netlists n imposing, by the execution of said instructions, at least one constraint to avoid said mismatch; wherein said at least one constraint avoids said mismatch by artificially limiting a stimulus that can be applied in checking equivalence between the netlist n wherein the netlist n wherein a relationship of equivalency of the netlists n