基于正反控制模型的可逆逻辑综合.docVIP

基于正反控制模型的可逆逻辑综合 管致锦1), 2) 秦小麟1) 施 佺2) 郑吉平3) Reversible Logic Synthesis with Positive/Negative Control Model GUAN Zhi-Jin1), 2) QIN Xiao-Lin1) SHI Quan 2) ZHENG Ji-Ping3) 1) (College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016 ) 2) (College of Computer Science and Technology, Nantong University, Nantong 226019 ) 3) (Department of Computer Science and Technology, Tsinghua University, Beijing 100084) Abstract Based on traditional Toffoli gate, a new reversible network cascade model PNCRC was proposed. The model consists of five line-styles, and it able to control output of target bits with positive/negative way effectively. A reversible synthesis algorithm corresponding to the proposed model is also designed in this paper. Compared to the previously reported results, some experiments on NCMC Benchmark functions (less than or equal 16 variables) show that PNCRC decrease the number of garbage output and number of reversible gates as a whole. Keywords reversible logic; quantum gate; garbage; positive/negative control; reversible network 1 引 言 可逆逻辑综合是一个新兴的研究领域，它是量子计算和量子信息技术研究的重要组成部分[1]，并在低功耗电路设计、信息安全、纳米技术等其它一些现代科学领域有着重要应用[2-4]。由于它潜在的巨大实际应用价值和重大的科学理论意义，正引起越来越多的关注。 可逆逻辑综合，就是用给定的可逆门和可逆网络的约束条件及限制等，实现所需要的可逆逻辑网络，并使得代价尽可能小。可逆逻辑综合使用的基本可逆逻辑门与经典的非可逆逻辑综合使用的逻辑门有着根本的不同。 可逆逻辑网络为输入数与输出数相等，并且输入向量与输出向量是一一映射的网络。因此，输入向量的状态可以唯一地被输出向量重构。通过函数的方式描述即为：如果函数的每一个输入向量唯一地映射一个输出向量，则称该函数是可逆的。一个n变量的可逆函数也可以定义为整数集自身的映射。一个不可逆逻辑函数总可以通过变换找到它的可逆函数，一般地，会因此产生相应的垃圾信息。 在可逆逻辑综合的研究中，一方面要找到可逆网络的实现方法，另一方面要考虑实现可逆网络过程中尽可能花费较低的代价。实现可逆逻辑网络的每一种技术，都需要有一个合理的代价。可逆门的数量和垃圾信息输出的数量是影响可逆逻辑综合代价的重要因素，也是衡量可逆逻辑综合过程好坏的主要依据。在很多技术中只要增加一个可逆门或无用输出信息位可能给网络的实现带来昂贵的代价，甚至不可能实现。所以，可逆网络代价问题在量子计算等领域的研究中具有重要意义和实际应用价值。龙桂鲁等人提出了一个初始化量子寄存器方案，该方案在没有引入附加量子位的情况下，只需要O(Nn2)标准的1位和2位可逆门就能实现[5]。M. Mottonen等人提出了基于余弦-正弦矩阵分解的最小化基本门序列方法[6]。Juha J. Vartiainen通过量子门的分解消除多量子位门中多余的控制位，得到总数较少的基本量子门，以优化量子门的实现[7]。Robert R. Tucci提出了化简任意么正矩阵U为一个基本操作序列的算法[8]。 实际上，网络代价的计算在不同的技术中是不一样的。目前，不同研究领域对网络