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

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

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

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

Add "muxcover -freedecode"

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

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

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

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

mux_map to drop sign bit, and eliminate 'bx-es

Merge remote-tracking branch 'origin/eddie/fix1115' into xc7mux

Merge remote-tracking branch 'origin/eddie/fix1118' into xc7mux

Add test

Make genvar a signed type

Add CHANGELOG entry

Extend sign extension tests

Maintain "is_unsized" state of constants

Revert "Fix sign extension when sign is 1'bx"

This reverts commit 0221f3e1c5b427678c5679027ee47ec7c0b8321d.

Handle COs driven by 1'bx

Do not call "setundef -zero" in abc9

write_xaiger to skip POs driven by 1'bx

Merge remote-tracking branch 'origin/eddie/fix1115' into xc7mux

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

Remove leftover comment

Add test

Fix sign extension when sign is 1'bx

Fix typo, fixes #1095

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

Improve shregmap help message, fixes #1113

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

Update some .gitignore files

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

Fix typo

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

Merge branch 'towoe-unpacked_arrays'

Add proper test for SV-style arrays

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

Merge branch 'unpacked_arrays' of https://github.com/towoe/yosys-sv into towoe-unpacked_arrays

Merge pull request #1111 from acw1251/help_summary_fixes

Fixed the help summary line for a few commands

Fixed small typo in ice40_unlut help summary

Fixed the help summary line for a few commands

Fix bug in #1078, add entry to CHANGELOG

Merge branch 'xaig' into xc7mux

Merge pull request #1109 from YosysHQ/clifford/fix1106

Add "read_verilog -pwires" feature

Add "read_verilog -pwires" feature, closes #1106

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

Merge pull request #1105 from YosysHQ/clifford/fixlogicinit

Improve handling of initial/default values

Unpacked array declaration using size

Allows fixed-sized array dimension specified by a single number.

This commit is based on the work from PeterCrozier
https://github.com/YosysHQ/yosys/pull/560.
But is split out of the original work.

Make tests/aiger less chatty

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

Add defvalue test, minor autotest fixes for .sv files

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

Use input default values in hierarchy pass

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

Add defaultvalue attribute

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

Fix handling of "logic" variables with initial value

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

Merge pull request #1100 from bwidawsk/home

Support ~ in filename parsing

Merge pull request #1104 from whitequark/case-semantics

Clarify switch/case semantics in RTLIL

Explain exact semantics of switch and case rules in the manual.

In RTLIL::Module::check(), check process invariants.

Support filename rewrite in backends

Signed-off-by: Ben Widawsky <ben@bwidawsk.net>

Support ~ for home directory

This is tested on Linux only

v2:
Wrap functioanlity in ifndef _WIN32 (eddiehung)
Find '~/' instead of '~' (cliffordwolf)

Signed-off-by: Ben Widawsky <ben@bwidawsk.net>

Remove iterator based Module::remove as per @cliffordwolf

Remove unncessary header

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

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

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

Really permute Xilinx LUT mappings as default LUT6.I5:A6

Revert "Fix (do not) permute LUT inputs, but permute mux selects"

This reverts commit da3d2eedd2b6391621e81b3eaaa28a571e058f9d.

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

Clean up