Synthesis and optimization of reversible and emerging technology circuits

点击翻译按钮获取中文摘要

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.