BDD-Based Topology Optimization for Low-Power DTIG FinFET Circuits

Figure 5

The case in Theorem 5: (a) BDD subgraph, (b) XOR, and (c) XNOR.