Dual global flow

A combinatorial logic optimization is described. The optimization is (in some sense) a dual of earlier global flow optimizations. The optimization leaves the function carried by each signal in the circuit unchanged and thus avoids expensive recomputation of don't care information. The results of experiments performed to evaluate this optimization are also described.<
>