D. Michael Miller

Publications (34)0 Total impact

• Article: Synthesis of Semi-Classical Quantum Circuits.

  Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller
  Multiple-Valued Logic and Soft Computing. 01/2012; 18:99-114.
• Source

  Available from: uni-bremen.de

  Conference Proceeding: Reducing Reversible Circuit Cost by Adding Lines.

  D. Michael Miller, Robert Wille, Rolf Drechsler
  40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010; 01/2010
• Source

  Available from: uni-bremen.de

  Conference Proceeding: Equivalence Checking of Reversible Circuits.

  Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler
  ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan; 01/2009
• Source

  Available from: psu.edu

  Article: Minimization of Quantum Multiple-valued Decision Diagrams Using Data Structure Metrics.

  David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller
  Multiple-Valued Logic and Soft Computing. 01/2009; 15:361-377.
• Source

  Available from: psu.edu

  Article: DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction

  Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller
  [show abstract] [hide abstract]
  ABSTRACT: Recently much attention has been paid to quantum circuit design to prepare for the future "quantum computation era." Like the conventional logic synthesis, it should be important to verify and analyze the functionalities of generated quantum circuits. For that purpose, we propose an efficient verification method for quantum circuits under a practical restriction. Thanks to the restriction, we can introduce an efficient verification scheme based on decision diagrams called Decision Diagrams for Matrix Functions (DDMFs). Then, we show analytically the advantages of our approach based on DDMFs over the previous verification techniques. In order to introduce DDMFs, we also introduce new concepts, quantum functions and matrix functions, which may also be interesting and useful on their own for designing quantum circuits.
  10/2008;
• Article: Quantum Circuit Simplification and Level Compaction.

  Dmitri Maslov, Gerhard W. Dueck, D. Michael Miller, Camille Negrevergne
  IEEE Trans. on CAD of Integrated Circuits and Systems. 01/2008; 27:436-444.
• Conference Proceeding: Quantum Logic Implementation of Unary Arithmetic Operations.

  Mitchell A. Thornton, David W. Matula, Laura Spenner, D. Michael Miller
  38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA; 01/2008
• Source

  Available from: psu.edu

  Conference Proceeding: Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits.

  David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller
  Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008; 01/2008
• Source

  Available from: psu.edu

  Conference Proceeding: Variable Reordering and Sifting for QMDD

  D.M. Miller, D.Y. Feinstein, M.A. Thornton
  [show abstract] [hide abstract]
  ABSTRACT: This paper considers variable reordering for quantum multiple-valued decision diagrams (QMDD) used to represent the matrices describing reversible and quantum gates and circuits. An efficient method for adjacent variable interchange is presented and this method is employed to implement sifting of QMDDs. Experimental results are presented showing the effectiveness of the proposed techniques.
  Multiple-Valued Logic, 2007. ISMVL 2007. 37th International Symposium on; 06/2007
• Article: Comparison of the cost metrics through investigation of the relation between optimal NCV and optimal NCT three-qubit reversible circuits.

  Dmitri Maslov, D. Michael Miller
  IET Computers & Digital Techniques. 01/2007; 1:98-104.
• Book: Multiple Valued Logic: Concepts and Representations

  D. Michael Miller, Mitchell A. Thornton
  01/2007; Morgan & Claypool Publishers.
• Article: Techniques for the synthesis of reversible Toffoli networks.

  Dmitri Maslov, Gerhard W. Dueck, D. Michael Miller
  ACM Trans. Design Autom. Electr. Syst. 01/2007; 12.
• Source

  Available from: psu.edu

  Conference Proceeding: Boolean Function Matching using Walsh Spectral Decision Diagrams

  Jason Moore, Kenneth Fazel, Mitchell A. Thornton, D. Michael Miller
  [show abstract] [hide abstract]
  ABSTRACT: This paper investigates two approaches for Boolean matching using NPN equivalence matching. Luks' hypergraph method is implemented and compared to the Walsh spectral decision diagram (SDD) method that we propose here. Both methods determine a canonical representation for each NPN equivalence class. The target functions are then transformed into a canonical representation and compared to the representative canonical forms for the NPN classes. This paper presents the implementation and results of the spectral method in detail. It is shown that the spectral method compares favorably to Luks' method and is better in terms of computational requirements for large functions
  Design, Applications, Integration and Software, 2006 IEEE Dallas/CAS Workshop on; 11/2006
• Source

  Available from: arxiv.org

  Article: Comparison of the Cost Metrics for Reversible and Quantum Logic Synthesis

  Dmitri Maslov, D. Michael Miller
  [show abstract] [hide abstract]
  ABSTRACT: A breadth-first search method for determining optimal 3-line circuits composed of quantum NOT, CNOT, controlled-V and controlled-V+ (NCV) gates is introduced. Results are presented for simple gate count and for technology motivated cost metrics. The optimal NCV circuits are also compared to NCV circuits derived from optimal NOT, CNOT and Toffoli (NCT) gate circuits. The work presented here provides basic results and motivation for continued study of the direct synthesis of NCV circuits, and establishes relations between function realizations in different circuit cost metrics.
  12/2005;
• Article: Toffoli network synthesis with templates.

  Dmitri Maslov, Gerhard W. Dueck, D. Michael Miller
  IEEE Trans. on CAD of Integrated Circuits and Systems. 01/2005; 24:807-817.
• Conference Proceeding: Quantum Circuit Simplification Using Templates.

  Dmitri Maslov, Christina Young, D. Michael Miller, Gerhard W. Dueck
  2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany; 01/2005
• Article: Synthesis of Fredkin-Toffoli reversible networks.

  Dmitri Maslov, Gerhard W. Dueck, D. Michael Miller
  IEEE Trans. VLSI Syst. 01/2005; 13:765-769.
• Conference Proceeding: A Synthesis Method for MVL Reversible Logi.

  D. Michael Miller, Gerhard W. Dueck, Dmitri Maslov
  34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada; 01/2004
• Conference Proceeding: Fredkin/Toffoli Templates for Reversible Logic Synthesis.

  Dmitri Maslov, Gerhard W. Dueck, D. Michael Miller
  2003 International Conference on Computer-Aided Design (ICCAD'03), November 9-13, 2003, San Jose, CA, USA; 01/2003
• Conference Proceeding: A transformation based algorithm for reversible logic synthesis.

  D. Michael Miller, Dmitri Maslov, Gerhard W. Dueck
  Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003; 01/2003