Logic Synthesis for Reversible and Traditional Logic 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.