| 子程序算法4 | |
| 1:输入: G ：子例程1的源BDD节点集 | |
| 2:输出: Gsxor ：XOR/NXOR子图的集合 | |
| 3:为每一个vk在G做 | |
| 4:为每一个v我在G做 | |
| 5:为每一个vj在G做 | |
| 6:如果低(vk) =v我和高(vk) =vj或 | |
| 高(vk) =v我和低(vk) =vj然后 | |
| 7:如果值(vj) =值(v我）然后 | |
| 8:如果低(v我) =高(vj）和高(v我) =低(vj）然后 | |
| 9: (vx，vy）←儿童(v我，vj） | |
| 10: | |
| 11: Gsxor← | |
| 12:如果 | |
| 13:如果 | |
| 14:如果 | |
| 15:结束了 | |
| 16:结束了 | |
| 17:结束了 |
研究文章
基于bdd的低功耗DTIG FinFET电路拓扑优化
算法4
基于bdd的提取算法中子程序4的算法。