基于卡诺图的三变量可逆逻辑综合算法
提出了一种基于卡诺图的可逆逻辑综合算法,该算法可以快速地求解带垃圾位的可逆逻辑综合问题.大量特定的可逆逻辑门都不可避免地带有一定的垃圾位,如果使用真值表、置换群等经典可逆逻辑综合算法求解这些带垃圾位的可逆逻辑门,则因无法获得全局状态而很难得到结果.根据卡诺图的特点,将可逆逻辑问题分解为多个变量分别求解,无需关心全局状态.提出的卡诺图可逆逻辑综合算法根据在卡诺图上的邻接性将3变量可逆逻辑问题划分为5个等价类;对每个等价类分别进行计算,在常数时间内解决了带垃圾位的可逆逻辑综合问题.
卡诺图、可逆逻辑综合、垃圾位、NCT门库、扩展通用TOFFLI门
44
TP387;TN911.73(计算技术、计算机技术)
金陵科技学院高层次人才科研启动基金:基于量子算法的Web用户行为分析与研究jit-b-201624;南京信息工程大学PAPD和CICAE-ET:基于信息理论的量子密码协议设计与分析资助
2017-12-27（万方平台首次上网日期，不代表论文的发表时间）
共5页
546-550
