Modify costs for muxcover

Revert Makefile

Change synth_xilinx's -nomux to -minmuxf <int>

Merge remote-tracking branch 'origin/xaig' into xc7mux

Add comments to ecp5 box

Add comment to xc7 box

Fix and cleanup ice40 boxes for carry in/out

Carry in/out box ordering now move to end, not swap with end

Remove DFF and RAMD box info for now

Merge branch 'master' into xaig

Add 'muxcover -dmux=<cost>' and '-nopartial' to CHANGELOG

Remove $_MUX4_ techmap rule

Fix wreduce call (!!!), tweak muxcover costs

Merge remote-tracking branch 'origin/xaig' into xc7mux

Merge remote-tracking branch 'origin/master' into xaig

Fix CHANGELOG

Merge remote-tracking branch 'origin/xaig' into xc7mux

Reduce log_debug spam in parse_xaiger()

Merge remote-tracking branch 'origin/xaig' into xc7mux

Do not rename non LUT cells in abc9

Replace assert with error message

Add log_push()/log_pop() inside write_xaiger

Add log_push()/log_pop() inside write_xaiger

Merge pull request #1108 from YosysHQ/clifford/fix1091

Add support for partial matches to muxcover

Constrain wreduce only if wide mux

Simplify and comment out mux_map.v

synth_xilinx to now wreduce except $mux, remove extra peepopt

mux_map to no longer copy last value into 1'bx

Fix spacing

Fix spacing again, A_forward -> A_backward

Restore wreduce to synth_xilinx, after muxcover

Revert B_SIGNED optimisation, since only works for Y_WIDTH==1

Fix spacing

synth_xilinx to use _ABC macro, and perform muxpack again

Add $__XILINX_MUXF78 to preserve entire box

Do not rename non LUT cells in abc9

Replace assert with error message

Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux_wip

Fix alignment

Merge branch 'xc7mux' into xc7mux_wip

One more workaround for gcc-4.8

One more workaround for gcc-4.8

Workaround issues exposed by gcc-4.8

No point logging constant bit

Move comment

Revert "autotest.sh to cat *.err on error"

This reverts commit 21fa8972f3d04f717d0d4afbfa252e842c807619.

Revert "Cat more stuff"

This reverts commit 638557de3ec600ebe240e2f25e337028ce453ba2.

Workaround issues exposed by gcc-4.8

Revert "Stab in the dark with aig_map from dict -> std::map"

This reverts commit 70ee10b650e01b7b262baa5c6fda934fb860dfce.

Cat more stuff

No point logging constant bit

Move comment

Stab in the dark with aig_map from dict -> std::map

Add FIXME about need for -mux4

Since muxcover uses MUX4s, blast them back to gates here

Expand synth -coarse without wreduce, move muxcover

Merge remote-tracking branch 'origin/clifford/fix1091' into xc7mux_wip

autotest.sh to cat *.err on error

Merge pull request #1123 from mmicko/fix_typo

Fix json frontend loading upto

Replace "muxcover -freedecode" with "muxcover -dmux=cost"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Fix typo

Merge pull request #1085 from YosysHQ/eddie/shregmap_improve

Improve shregmap to handle case where first flop is common to two chains

Merge pull request #1122 from YosysHQ/clifford/jsonports

Added JSON upto and offset

Added JSON upto and offset

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #1121 from YosysHQ/ecp5-ccu2c-inv

ecp5: Improve mapping of $alu when BI is used

ecp5: Improve mapping of $alu when BI is used

Signed-off-by: David Shah <dave@ds0.me>

Merge pull request #1117 from bwidawsk/more-home

Add a few more filename rewrites

Merge pull request #1119 from YosysHQ/eddie/fix1118

Make genvar a signed type

Merge pull request #1116 from YosysHQ/eddie/fix1115

Sign extend unsized 'bx and 'bz values

Add "muxcover -freedecode"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Fix spacing

Revert Makefile

Fix spacing

Revert Makefile

Refactor bit2aig for less lookups

Fix gcc invalidation behaviour for write_aiger

Fix gcc error, due to dict invalidation during recursion

Fix gcc warning of potentially uninitialised

Refactor bit2aig for less lookups

Fix gcc invalidation behaviour for write_aiger

Fix gcc invalidation behaviour for write_aiger

Fix gcc error, due to dict invalidation during recursion

Fix gcc warning of potentially uninitialised

Improvements in muxcover

- Slightly under-estimate cost of decoder muxes
- Prefer larger muxes at tree root at same cost
- Don't double-count input cost for partial muxes
- Add debug log output

Missing a `clean` and `opt_expr -mux_bool` in test

Add test

Add support for partial matches to muxcover, fixes #1091

Signed-off-by: Clifford Wolf <clifford@clifford.at>

write_xaiger to flatten 1'bx/1'bz to 1'b0 again

Fix simple_abc9/generate test with 1'bx at MSB

Fix different abc9 test

Fix broken abc9.v test due to inout being 1'bx

Run simple_abc9 tests

write_xaiger to flatten 1'bx/1'bz to 1'b0 again

Fix simple_abc9/generate test with 1'bx at MSB

Fix different abc9 test

Fix broken abc9.v test due to inout being 1'bx

Run simple_abc9 tests

Merge remote-tracking branch 'origin/master' into xaig

Fix issue with part of PI being 1'bx

Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc