kfdd_synthesis.hpp File Reference

KFDD Based Synthesis. More...

Namespaces

namespace  revkit
 

Main namespace.


Enumerations

enum  { kfdd_synthesis_dtl_shannon, kfdd_synthesis_dtl_positive_davio, kfdd_synthesis_dtl_negative_davio }
 

Flags for default KFDD decomposition in kfdd_synthesis_settings.

More...
enum  {
  kfdd_synthesis_reordering_none, kfdd_synthesis_reordering_exact_dtl_friedman, kfdd_synthesis_reordering_exact_dtl_permutation, kfdd_synthesis_reordering_dtl_sifting,
  kfdd_synthesis_reordering_exact_friedman, kfdd_synthesis_reordering_exact_permutation, kfdd_synthesis_reordering_sifting, kfdd_synthesis_reordering_sifting_and_dtl_sifting,
  kfdd_synthesis_reordering_inverse
}
 

Flags for KFDD Reordering strategies in kfdd_synthesis_settings.

More...
enum  { kfdd_synthesis_growth_limit_relative = 'r', kfdd_synthesis_growth_limit_absolute = 'a' }
 

Flags for the growth limit in kfdd_synthesis_settings.

More...
enum  {
  kfdd_synthesis_sifting_method_random = 'r', kfdd_synthesis_sifting_method_initial = 'i', kfdd_synthesis_sifting_method_greatest = 'g', kfdd_synthesis_sifting_method_loser_first = 'l',
  kfdd_synthesis_sifting_method_verify = 'v'
}
 

Flags for the sifting method.

More...

Functions

bool kfdd_synthesis (circuit &circ, const std::string &filename, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
 KFDD Based Synthesis.
pla_blif_synthesis_func kfdd_synthesis_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
 Functor for the kfdd_synthesis_func algorithm.

Detailed Description

KFDD Based Synthesis.


Generated on Fri Jul 2 07:50:41 2010 for by doxygen 1.6.3