esop_synthesis.hpp File Reference

ESOP Based Synthesis. More...

Classes

struct  weighted_reordering
 Cubes reordering strategy as proposed in [FTR07]. More...

Namespaces

namespace  revkit
 

Main namespace.


Typedefs

typedef boost::function< void(std::vector
< std::pair
< binary_truth_table::cube_type,
binary_truth_table::cube_type > > &)> 
cube_reordering_func
 Functor for cubes reordering in ESOP based synthesis.

Functions

void no_reordering (std::vector< std::pair< binary_truth_table::cube_type, binary_truth_table::cube_type > > &cubes)
 Empty functor for cube_reordering_func.
bool esop_synthesis (circuit &circ, const std::string &filename, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
 ESOP Based Synthesis.
pla_blif_synthesis_func esop_synthesis_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
 Functor for the esop_synthesis algorithm.

Detailed Description

ESOP Based Synthesis.


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