基于布尔表达式图的可逆电路综合方法OA北大核心CSCDCSTPCD
Reversible Circuit Synthesis Method Based on Boolean Expression Diagram
本文基于布尔表达式图(Boolean Expression Diagram,BED)提出一种可逆电路综合方法.该方法使用BED表示函数,采用逐BED结点方式综合可逆电路.在综合一个结点时,通过考虑其子结点函数的值是否还会被后续电路使用,基于由NOT、CNOT以及混合极性Peres门构成的门库构建该结点的局部最优可逆子电路.为进一步改善所得电路的成本,根据函数表达式的乘积项中变量对的共享度对变量进行分组实现BED中变量的排序.使用一组基准函数对所提出方法进行了验证.结果表明所提出方法具有较高时间效率.与现有使用决策图作为函数表示模型的综合方法相比,所提出方法能改善综合所得可逆电路的量子成本,且在许多情况下还能减少量子位数和垃圾线数.
卜登立;郭鸣
井冈山大学电子与信息工程学院,江西吉安343009井冈山大学电子与信息工程学院,江西吉安343009
信息技术与安全科学
可逆电路逻辑综合布尔表达式图变量排序
《电子学报》 2020 (3)
494-502,9
国家自然科学基金(No.61961023,No.61640412,No.61762052)江西省教育厅科技计划项目(No.GJJ160746)井冈山大学博士科研启动项目(No.JZB1803)流域生态与地理环境监测国家测绘地理信息局重点实验室资助课题(No.WE2016012)江西省自然科学基金项目(No.20171BAB202010)
评论