基于布尔表达式图的可逆电路综合方法

• 作者: 卜登立 郭鸣
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 可逆电路 逻辑综合 布尔表达式图 变量排序
• 年，卷（期）: 2020,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 494-502
• 页数: 9页
• 分类号: TP387|TP391.72
• 字数: 7555字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2020.03.011

摘要

本文基于布尔表达式图(Boolean Expression Diagram,BED)提出一种可逆电路综合方法.该方法使用BED表示函数,采用逐BED结点方式综合可逆电路.在综合一个结点时,通过考虑其子结点函数的值是否还会被后续电路使用,基于由NOT、CNOT以及混合极性Peres门构成的门库构建该结点的局部最优可逆子电路.为进一步改善所得电路的成本,根据函数表达式的乘积项中变量对的共享度对变量进行分组实现BED中变量的排序.使用一组基准函数对所提出方法进行了验证.结果表明所提出方法具有较高时间效率.与现有使用决策图作为函数表示模型的综合方法相比,所提出方法能改善综合所得可逆电路的量子成本,且在许多情况下还能减少量子位数和垃圾线数.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭鸣	井冈山大学电子与信息工程学院	10	9	2.0	2.0
2	卜登立	井冈山大学电子与信息工程学院	26	90	5.0	8.0