Research Article
BDD-Based Topology Optimization for Low-Power DTIG FinFET Circuits
Algorithm 4
The algorithm of subroutine 4 in the BDD-based extraction algorithm.
| Algorithm of Subroutine 4 | |
| 1: Input: G: node set of source BDD from subroutine 1 | |
| 2: Output: Gsxor: set of XOR/NXOR sub-graph | |
| 3: for each vk in G do | |
| 4: for each vi in G do | |
| 5: for each vj in G do | |
| 6: if low(vk) = vi AND high(vk) = vj OR | |
| high(vk) = vi AND low(vk) = vj then | |
| 7: if value(vj) = value(vi) then | |
| 8: if low(vi) = high(vj) AND high(vi) = low(vj) then | |
| 9: (vx,vy) ←children(vi,vj) | |
| 10: | |
| 11: Gsxor← | |
| 12: end if | |
| 13: end if | |
| 14: end if | |
| 15: end for | |
| 16: end for | |
| 17: end for |