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

Algorithm 1

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

 Algorithm of Subroutine 1:

 Input:

 Output: : node set of BDD form

1: ← bdd_init

2: sum_src ← bdd_nodecount()

3: for i = 1 to n do

4:  for j = i to n do

5:   bdd_swapvar

6:   sum_ex ← bdd_nodecount()

7:   if sum_ex ≤ sum_src then

8:    sum_src ← sum_ex

9:   else sum_ex > sum_src

10:    bdd_swapvar

11:   end if

12:  end for

13: end for