论文部分内容阅读
随着众多学者日渐认可Landauer提出的计算过程的能量消耗与计算的可逆性有必然联系的理论,可逆逻辑电路因而被视为降低集成电路功耗和延续相关技术、产业发展的必由之路,吸引着科学界越来越多的关注。但由于可逆逻辑电路“诞生”不久,相关经验和知识奇缺,而且特点突出(即与常规电路差异较大),国内外有关研究尚于起步阶段,有关的理论体系和技术平台均远未成熟甚至空白。另一方面,常规(非可逆)逻辑设计经过长期发展,已形成相当成熟的理论体系和技术平台,特别是功能强大、使用方便的EDA(电子设计自动化)技术和工具。因此论文着重研究将常规逻辑设计移植,复用于可逆逻辑设计的方法,并依赖于成熟的EDA技术和工具实现基于常规原理图方式的可逆ALU算术运算单元的可逆描述验证。鉴于除“非门”外的传统逻辑门均不可逆,大多数可逆逻辑门均系重新定义、设计。其中常用的有CNOT门、Toffoli系列门和Fredkin门等。受可逆性约束,可逆逻辑电路和可逆门具有输入和输出在个数上相同,在组合上双射的特点,其对应功能表也是相互映射的可逆真值表。因为常规逻辑与可逆逻辑之间最大的差异具体体现在计算的可逆性上,但它们逻辑表达式所实现的功能本质上是相同的,因此,文中提出两种可逆逻辑电路的设计方法,第一种是利用常规逻辑门的组合,等功能地表达和替换可逆逻辑电路中的各种可逆逻辑门,进而利用EDA工具(Quaruts II)对可逆逻辑电路进行功能仿真验证;第二种是利用可逆逻辑门的组合,等功能地表达和替换常规逻辑电路中的各种常规逻辑门,进而根据成熟的、经过充分验证的常规逻辑电路(如利用EDA工具设计的多位ALU单元电路),转化成为等功能的可逆逻辑电路,从而实现较大规模、较复杂可逆逻辑电路的功能设计。运用上述两种方法结合人工修正,论文完成了可逆加法器、可逆减法器、可逆乘法器及可逆除法器的设计,从而完成了最基本的可逆ALU算术运算单元的功能设计。由于可逆加法器和可逆减法器皆是在全加器的基础上设计的,把原本两个独立设计的模块合并有效地兼顾实现加法和减法的功能。最终的仿真结果显示该可逆算术运算单元能够实现多位数的加法、减法和乘法功能,以及除法功能。在一定程度上,该论文的成果可为实现从现行常规逻辑到未来可逆逻辑的成果继承和平稳过渡提供研究资料和参考。