Quantified Synthesis of Reversible Logic

Abstract

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

Topics

5 Figures and Tables

Slides referencing similar topics