Patent ID: 7600211

Claim:
A method of circuit synthesis comprising: building up a second circuit N 2 , that is toggle equivalent to a first circuit (N 1 ) by using a computer running a process to produce a sequence of circuits N 2(l) through N 2(k) , wherein producing each circuit N 2(i) in the sequence where i=1 . . . ,k, includes acts of, a) adding at least one first gate to a circuit N 2(i-1 ); b) wherein adding the at least one first gate to the circuit N 2(i-1) has the effect of eliminating at least one toggle of circuit N 2(i-1) that lacks a corresponding output toggle in circuit N 1 ; c) wherein N 2(i) includes N 2(i-1) as modified by the addition of the at least one first gate and outputs of N 2(i-1) form a cut of N 2(i) ; d) wherein output toggling of circuit N 1 implies output toggling of circuit N 2(i-1) ; and e) wherein output toggling of N 2(i) strictly implies output toggling of N 2(i-1) .