| subroutine2算法: | |
| 输入: :子例程1中的节点集 | |
| 输出: :和/NAND2子图的集合 | |
| 输出: :OR/NOR子图的集合 | |
| 1:为每一个v我在 做 | |
| 2:←儿童(v我) | |
| 3:为每一个vj在 做 | |
| 4:如果低然后 | |
| 5:如果高(vj) = vx或高(vj) = vy则 | |
| 6:马克 | |
| 7:静止 | |
| 8:如果 | |
| 9:其他的如果高然后 | |
| 10:如果低或低然后 | |
| 11:←马克 | |
| 12:Gsa | |
| 13:如果 | |
| 14:如果 | |
| 15:结束了 | |
| 16:结束了 |
研究文章
基于bdd的低功耗DTIG FinFET电路拓扑优化
算法2
基于bdd的提取算法中子程序2的算法。