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

Algorithm 2

The algorithm of subroutine 2 in the BDD-based extraction algorithm.

  Algorithm of subroutine2:

  Input: : node set from subroutine 1

  Output: : set of AND/NAND2 sub-graph

  Output: : set of OR/NOR sub-graph

1:  for each v_i in do

2:  ← children(v_i)

3:  for each v_j in do

4:   if low then

5:    If high(vj) = vx OR high(vj) = vy then

6:    mark

7:    Gso

8:    end if

9:   else if high then

10:   if low OR low then

11:    ← mark

12:    Gsa

13:   end if

14:  end if

15:  end for

16: end for