Logic Synthesis for Reversible and Traditional Logic Circuits

可逆和传统逻辑电路的逻辑综合

• 批准号: 261211-2012
• 负责人: Rice, Jacqueline
• 金额: $ 1.31万
• 依托单位: University of Lethbridge
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=570975
• 关键词: Logic; Synthesis; Reversible; Traditional; Circuits

Today's computer chips are required to be smaller, run faster, and use less power than ever before. Every circuit begins as a mathematical function describing the behaviour to take place, and in the synthesis from function to circuit a variety of parameters must be minimized, such as the number of gates, the number of levels, and the numbers of inputs and outputs. The process must also be done quickly and efficiently, as well as generating a result that is appropriate for the final intended technology and that is feasible for implementation. This research concerns synthesis for switching functions that are intended for implementation in both traditional and up-and-coming technologies. In traditional technologies the research will aim to achieve optimal circuits through analysis and categorization using a novel approach, namely the application of the autocorrelation transform. In addition I am working in the area of synthesis for reversible technologies, which while related to traditional Boolean logic synthesis, requires additional specific considerations and approaches. Reversible computing is related to quantum computing, which has a great deal of future potential in solving very difficult problems. In addition, reversible circuits by definition cannot create or lose any information, and thus will be far more power efficient. Techniques to synthesize reversible circuits are very new, and the proposed research is aimed at developing effective and efficient synthesis methods in this area as well.

今天的计算机芯片比以往任何时候都要求更小、运行更快、耗电量更少。每个电路都是以描述发生的行为的数学函数开始的，在从一个函数到另一个电路的综合中，必须最小化各种参数，例如门的数目、电平的数目以及输入和输出的数目。这一过程还必须迅速而有效地完成，并产生适合最终预期技术并可实施的结果。 这项研究涉及用于在传统技术和新兴技术中实现的交换功能的综合。在传统技术中，研究的目标是通过使用一种新的方法，即自相关变换的应用，通过分析和分类来实现最优电路。此外，我在可逆技术的综合领域工作，虽然这与传统的布尔逻辑综合有关，但需要额外的具体考虑和方法。可逆计算与量子计算有关，量子计算在解决非常困难的问题方面具有很大的未来潜力。此外，根据定义，可逆电路不会产生或丢失任何信息，因此将大大提高功率效率。可逆电路的综合技术是一项非常新的技术，所提出的研究也旨在开发这一领域的有效和高效的综合方法。