Synthesis and optimization of reversible and emerging technology circuits

研究人员预计，在10-20年内，目前的电路技术将达到极限。因此，必须考虑新的办法和技术。可逆逻辑提供了一个重要的替代方案，因为它与包括量子，光学，纳米和生物门和电路在内的新兴技术有关。可逆逻辑也适用于当前技术中的低功率设计。 量子电路（本质上是可逆的）本身就至关重要，因为它们支持与传统数字电路完全不同的计算模型。 量子数据可以表示对二进制状态的监督。 因此，可以制定算法，在量子域中比在传统的二进制逻辑域中以指数方式更快地解决某些问题。 我的研究计划的短期目标是扩展可逆网络的设计流程。 我和我的学生将在综合过程的所有阶段研究有界搜索技术。 我们将把我们最近关于优化基本量子门电路的工作扩展到更大的量子门库和其他新兴技术中的门库。 我的研究计划的第一个长期目标包括研究量子和其他技术中直接合成电路的数学模型和计算程序。 这项工作是新颖的，因为它将采用我们以前的工作决策图可逆和量子电路。我的第二个长期目标是研究实现可逆计算所需的架构结构，它们与高级语言结构的关系，以及我们的合成方法如何在各种技术中实现这些结构。这项工作是新颖的，因为它将探索可逆电路合成和计算机体系结构设计在新兴的替代技术的相互作用。 所提出的研究是重要的基础，使用新兴技术，并建立可逆计算作为一个可行的替代他传统的不可逆方法。

Researchers anticipate that in 10-20 years current circuit technologies will reach their limits. It is thus important to consider novel approaches and technologies. Reversible logic offers an important alternative due to its relation to emerging technologies including quantum, optical, nano and bio gates and circuits. Reversible logic is also applicable to low power design in current technologies. Quantum circuits (which are inherently reversible) are in their own right of critical importance since they support a computational model radically different from conventional digital circuits. Quantum data can represent a supervision of binary states. As a result, algorithms can be formulated that solve certain problems exponentially faster in the quantum domain than in the traditional binary logic domain. The short term objectives of my research program are extend our design flow for reversible networks. My students and I will investigate bounded search techniques in all phases of the synthesis process. We will extend our recent work on optimizing circuits of elementary quantum gates to larger quantum gate libraries and gate libraries in other emerging technologies. The first long term objective of my research program include investigating mathematical models and computational procedures for the direct synthesis of circuits in quantum and other technologies. This work is novel in that it will employ our earlier work on decision diagrams for reversible and quantum circuits. My second long term objective is to examine architectural structures required to implement reversible computation, how they relate to high-level language constructs, and how our synthesis methods can be employed in implementing those structures in various technologies. This work is novel as it will explore the interaction of reversible circuit synthesis and computer architecture design in emerging alternative technologies. The proposed research is significant as a foundation to the use of emerging technologies and to establishing reversible computation as a viable alternative to he traditional irreversible approach.