基于关联选择的可逆逻辑综合算法

摘要：

　　可逆逻辑综合是可逆计算的重要内容，为了解决可逆逻辑综合中可逆电路构造和优化问题，提出一种基于关联选择的可逆逻辑综合算法及相应的优化算法。将可逆函数用真值表表示，按真值表从上往下的顺序综合，并若干相关联变量作为综合的目标位，分别计算相对混乱度和绝对混乱度，以最小混乱度原则选取可逆逻辑门。该算法及其优化算法的时间复杂度为O(n2×2n)，空间复杂度为O(n×2n)，优于最佳算法的空间复杂度O(2n！)。通过C++语言实现对3变量全部函数及部分4变量函数的综合，并与其他可逆逻辑综合算法的结果及benchmark范例比较，结果表明平均门数均具有一定优势。

关键词： 芯片 电路设计 可逆逻辑综合算法 关联分析

作者: Xu Mingqiang 徐明强 Guan Zhijin 管致锦 Ni Lihui 倪丽惠

作者单位: College of Electronics and Information, Nantong University, Nantong 226019 南通大学电子信息学院 南通 226019 College of Computer Science and Technology, Nantong University, Nantong 226019 南通大学计算机科学与技术学院 南通 226019

会议类型: 国内会议

会议名称: 第十二届中国虚拟现实大会

会议地点: 秦皇岛

会议语种:中文

页码: 1218-1225

在线出版日期: 2012-09-21（万方平台首次上网日期，不代表论文的发表时间）