Only available in German
Kolloquium | 05.11.08 17.00 Uhr| Rotunde
Prof. Dr. Michael Miller
University of Victoria, Canada
Reversible and Quantum Circuits - Synthesis and Verification Challenges
There has recently been considerable interest in reversible and quantum circuits due to their
potential for low-power consumption and the promise of the efficiency of quantum computing.
Logic design techniques for reversible and quantum circuits are significantly different from
those used for traditional digital systems. This talk will cover a number of approaches to
synthesis and verification with particular emphasis on reversible circuits.
The presentation will begin with an overview of reversible and quantum circuits assuming
basic knowledge of digital logic. A number of synthesis approaches will be described at a
conceptual level. The talk will conclude with a description of recent work on verification using
Boolean satisfiability and decision diagram techniques.
Dr. Michael Miller is visiting the Computer Architecture Research Group at the University of
Bremen while on sabbatical from the University of Victoria, Canada where he is a Professor
of Computer Science. His main research interests include: logic design of reversible and
quantum circuits, decision diagrams, multiple-valued logic and spectral logic.
Dr. Miller served as Chair of the Department of Computer Science at the University of
Victoria from July, 1987 to June, 1997 and as Dean of the Faculty of Engineering from July
1997 to June 2008. He is a member of the IEEE and the ACM and is Secretary of the IEEE
Computer Society Technical Committee on Multiple-Valued Logic.
Kontakt: Prof. Dr. Rolf Drechsler