Research Article

A Top-Down Optimization Methodology for Mutually Exclusive Applications

Figure 15

Equivalence checking flow for mASIC.
827613.fig.0015