///Alg 3

研究文章

基于bdd的低功耗DTIG FinFET电路拓扑优化

算法3

基于bdd的提取算法中子程序3的算法。

Subroutine3算法:
输入: Gsa:子程序2中AND/NAND2子图的集合;
输入:G ：子程序1的BDD节点集
输出: Gsaoi ：AOI/OAI子图集合
输出: Gsand3 ：AND/NAND31子图的集合
1：为每一个gs在Gsa做
2:v_j←根(gs)
3:为每一个v_k在BDD做
4:如果低(v_k) =v_j或高(v_k) =v_j然后
5:如果v_k满足定理4情况下1然后
6:
10: Gsa3←
11:其他的如果v_k满足定理4情况下2然后
12:
13: Gsaoi←
14:如果
15:如果
16:结束了
17：结束了

年度文章奖:由主编评选的2020年杰出研究贡献。阅读获奖文章．