TY - GEN
T1 - Synthesizing reversible circuits for irreversible functions
AU - Miller, D. Michael
AU - Wille, Robert
AU - Dueck, Gerhard W.
PY - 2009
Y1 - 2009
N2 - Many reversible circuit synthesis procedures have been proposed. A common feature of most methods is that the initial specification must be a completely-specified reversible function. However, often the desired functionality is a, possibly incompletely-specified, irreversible function. In this paper, we consider how to fully automate the process of synthesizing a reversible function given an irreversible specification with particular emphasis on how to embed an irreversible function into a reversible specification. Systematic procedures are presented and results for benchmark problems show the methods produce very good results compared to earlier methods.
AB - Many reversible circuit synthesis procedures have been proposed. A common feature of most methods is that the initial specification must be a completely-specified reversible function. However, often the desired functionality is a, possibly incompletely-specified, irreversible function. In this paper, we consider how to fully automate the process of synthesizing a reversible function given an irreversible specification with particular emphasis on how to embed an irreversible function into a reversible specification. Systematic procedures are presented and results for benchmark problems show the methods produce very good results compared to earlier methods.
UR - http://www.scopus.com/inward/record.url?scp=74549155832&partnerID=8YFLogxK
U2 - 10.1109/DSD.2009.186
DO - 10.1109/DSD.2009.186
M3 - Conference contribution
AN - SCOPUS:74549155832
SN - 9780769537825
T3 - 12th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2009
SP - 749
EP - 756
BT - 12th Euromicro Conference on Digital System Design
T2 - 12th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2009
Y2 - 27 August 2009 through 29 August 2009
ER -