Clifford Wolf c5c7066ea6 sat encoding for exclusive $pmux ctrl inputs in "share" pass

2014-10-03 19:01:24 +02:00

..

Makefile.inc

Moved "share" and "wreduce" to passes/opt/

2014-09-01 11:45:26 +02:00

opt_clean.cc

Added $_BUF_ cell type

2014-10-03 10:12:28 +02:00

opt_const.cc

namespace Yosys

2014-09-27 16:17:53 +02:00

opt_muxtree.cc

namespace Yosys

2014-09-27 16:17:53 +02:00

opt_reduce.cc

namespace Yosys

2014-09-27 16:17:53 +02:00

opt_rmdff.cc

namespace Yosys

2014-09-27 16:17:53 +02:00

opt_share.cc

Added support for "keep" on modules

2014-09-29 12:51:54 +02:00

opt.cc

namespace Yosys

2014-09-27 16:17:53 +02:00

share.cc

sat encoding for exclusive $pmux ctrl inputs in "share" pass

2014-10-03 19:01:24 +02:00

wreduce.cc

Fixed wreduce $shiftx handling

2014-09-15 11:29:09 +02:00