Patent ID: 7236965
Filing Date: 2007-06-26
Classification: G01R,G06F

Abstract:
1. A computerized method for determining implications in a word-level network, comprising: generating a graph data structure representation for a set of constraints associated with a circuit design, comprising one or more nodes, each node having an associated range; identifying a first unjustified Boolean node; limiting a first input range, of a first input to the first unjustified Boolean node, to contain no value of type non-controlling; performing a first implication process, upon the ranges of the graph data structure, using the first input range limitation; limiting a second input range, of a second input to the first unjustified Boolean node, to contain no value of type non-controlling; performing a second implication process, upon the ranges of the graph data structure, using the second input range limitation; accumulating a first result of the first implication process with a second result of the second implication process to create an accumulated result; and displaying the accumulated result to a circuit designer to facilitate implementing the circuit design.