Name
Abstract | ||
|---|---|---|
This paper proposes a framework that improves reversible logic synthesis by employing a dynamically determined variable order for quantum multiple-valued decision diagrams (QMDD). We demonstrate our approach through augmentation of the Miller-Maslov-Dueck (MMD) algorithm that processes the complete function specification in lexicographical order with our technique. We represent and minimize the complete specification with the QMDD and then synthesize the function specification based on the minimized variable order. The framework produces significantly smaller reversible circuits in many cases. Experimental results also show the effectiveness of using the QMDD size as a measure of the complexity of MVL and binary reversible circuits. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/ISMVL.2009.31 | ISMVL |
Keywords | Field | DocType |
decision diagrams,logic design,multivalued logic circuits,Miller-Maslov-Dueck algorithm,binary reversible circuits,complete function specification,dynamic variable reordering,quantum multiple-valued decision diagrams,reversible logic synthesis,MVL,QMDD,quantum logic,reversible MVL synthesis,reversible logic,reversible logic synthesis | Logic synthesis,Data structure,Discrete mathematics,Logic gate,Computer science,Quantum logic,Quantum computer,Algorithm,Electronic engineering,Lexicographical order,Probability density function,Benchmark (computing) | Conference |
Citations | PageRank | References |
2 | 0.37 | 21 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| David Y. Feinstein | 1 | 65 | 7.15 |
| Mitchell A. Thornton | 2 | 280 | 40.94 |