exact_synthesis.hpp File Reference

Exact Synthesis of Reversible Networks. More...

Namespaces

namespace  revkit
 

Main namespace.


Functions

bool exact_synthesis (circuit &circ, const binary_truth_table &spec, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
 Synthesizes a minimal circuit (with respect to the number of gates) using the SAT-based exact synthesis approach as presented in [GWDD09].
truth_table_synthesis_func exact_synthesis_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
 Functor for the exact_synthesis algorithm.

Detailed Description

Exact Synthesis of Reversible Networks.


Generated on Tue Dec 21 2010 21:52:13 for RevKit by doxygen 1.7.1