Patent ID: 7251796

Claim:
A method of analyzing a circuit, comprising: providing an evaluation system, the evaluation system including a plurality of nodes and a plurality of resolution devices, each node being associated with a resolution device, at least one node being configured to store data; associating an enabling element with each resolution device; activating an enabling element if an output of the associated resolution device will change based on data of an associated node changing; enabling one or more resolution devices that are associated with activated enabling elements, and executing the one or more enabled resolution devices using the changed node data from the one or more nodes that are associated with the enabled resolution devices, wherein executing the one or more enabled resolution devices results in generating an output that is the same as data currently stored in a node, and wherein executing the one or more enabled resolution devices results in generating outputs that are the same as data currently stored in respective nodes to thereby provide static node data and a solution of the circuit.