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. More...
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. More...

Detailed Description

KFDD Based Synthesis.