第64回ニューパラダイムコンピューティング研究会（通研講演会）

2009.06.02

研究会名：第64回ニューパラダイムコンピューティング研究会（通研講演会）
開催日：2009年6月2日（火）16:00～
題目： “Logic Synthesis of Reversible Circuits”
講師：Prof. Michael Miller（University of Victoria, Canada）
開催場所：東北大学工学部　情報知能システム総合学科1号館103会議室

第64回ニューパラダイムコンピューティング研究会のご案内

主査　亀山充隆（東北大学）
幹事　阿部正英（東北大学）

下記のとおり，通研講演会（第64回ニューパラダイムコンピューティング研究会）を開催いたしますので多数ご出席くださいますようご案内申し上げます．

日時：2009年6月2日（火）16:00～
場所：東北大学工学部　情報知能システム総合学科1号館103会議室
題目：“Logic Synthesis of Reversible Circuits”
話者：Prof. Michael Miller（University of Victoria, Canada）
概要： Recently, there has been considerable interest in reversible logic due to its connection to low power deign and quantum and optical computing circuits. This presentation will provide an introduction to reversible and quantum logic circuits. Established techniques for the synthesis of reversible circuits will be presented with the emphasis on circuits composed of multiple-control Toffoli gates. Transformation of those circuits to quantum realizations will also be discussed. A new approach which supports the fully automated synthesis of a reversible circuit realizing a completely-specified irreversible function will be introduced. Lastly a new post-synthesis approach for optimizing reversible circuits will be described. For many circuits, this technique results in a significant improvement (sometimes greater than 50%) in the quantum circuit cost through the addition of only one or two extra lines in the reversible circuit.