Namespaces | Functions
bdd_synthesis.hpp File Reference

BDD Based Synthesis. More...

Namespaces

namespace  revkit
 Main namespace.
 

Functions

bool bdd_synthesis (circuit &circ, const std::string &filename, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
 BDD based synthesis approach. More...
 
pla_blif_synthesis_func bdd_synthesis_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
 Functor for the bdd_synthesis_func algorithm. More...
 

Detailed Description

BDD Based Synthesis.


Generated on Tue Apr 16 2013 08:12:02 for RevKit by doxygen 1.8.3.1