Quantified Synthesis of Reversible Logic


In the last years synthesis of reversible logic functions has emerged as an important research area. Other fields such as low-power design, optical computing and quantum computing benefit directly from achieved improvements. Recently, several approaches for exact synthesis of Toffoli networks have been proposed. They all use Boolean satisfiability to solve… (More)
DOI: 10.1145/1403375.1403620


5 Figures and Tables

Slides referencing similar topics