基于真值表变换的可逆逻辑综合算法

• 作者: 安博 李志强 杨忠明 王冬 陈汉武
• 来源期刊: 东南大学学报（自然科学版）
• 学科: 工学
• 关键词: 可逆逻辑综合 真值表 对换 规则优化
• 年，卷（期）: 2010,（1）
• 页码范围: 58-63
• 页数: 6页
• 分类号: TP387
• 字数: 5526字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0505.2010.01.011

摘要

为实现将给定的二元可逆函数快速综合为相应电路,并保持其结果的最优或较优,提出一种基于真值表变换的快速综合算法.可逆函数与置换同构,任意置换均可表示为若干对换的乘积,通过将可逆函数转化为一系列对换的乘积,从对换的乘积中综合电路.对于3 bit逻辑电路只有28种对换,事先将28种对换的最优电路存入库中生成3 bit电路综合基,通过在库中查找快速生成可逆电路.根据逻辑门可交换规则引入优化方法,完成快速综合算法.结果表明,该方法不但可以提高可逆逻辑综合的效率,而且结构简单,易于实现,可以D(4~n)的时间效率快速综合任意3 bit可逆逻辑电路,实现综合结果达到或接近最优.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈汉武	东南大学计算机科学与工程学院	67	442	12.0	17.0
2	李志强	东南大学计算机科学与工程学院	30	323	11.0	17.0
4	王冬	东南大学计算机科学与工程学院	29	72	6.0	7.0
8	杨忠明	东南大学计算机科学与工程学院	5	25	3.0	5.0
11	安博	东南大学计算机科学与工程学院	4	16	2.0	4.0