Vortragende(r): Prof. Dr. Michael Miller
(University of Victoria, Canada)
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.