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

Merge pull request #1139 from YosysHQ/dave/check-sim-iverilog

tests: Check that Icarus can parse arch sim models

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

Grr

Capitalisation

Make CHANGELOG clearer

Merge pull request #1143 from YosysHQ/clifford/fix1135

Add "pmux2shiftx -norange"

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

Add warning if synth_xilinx -abc9 with family != xc7

Remove unneeded include

Merge origin/master

Add simcells.v, simlib.v, and some output

Add #1135 testcase

synth_xilinx -arch -> -family, consistent with older synth_intel

Merge pull request #1142 from YosysHQ/clifford/fix1132

Fix handling of partial covers in muxcover

Merge pull request #1138 from YosysHQ/koriakin/xc7nocarrymux

synth_xilinx: Add -nocarry and -nowidelut options

Copy tests from eddie/fix1132

Add "pmux2shiftx -norange", fixes #1135

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

Fix handling of partial covers in muxcover, fixes #1132

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

Fix spacing

Improve debugging message for comb loops

Add WE to ECP5 dist RAM's abc_scc_break too

Update comment on boxes

Add "WE" to dist RAM's abc_scc_break

Support more than one port in the abc_scc_break attr

Add write_xaiger into CHANGELOG

Merge branch 'koriakin/xc7nocarrymux' into xaig

Grrr

tests: Check that Icarus can parse arch sim models

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

Remove unused var

Add _nowide variants of LUT libraries in -nowidelut flows

Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig

Merge branch 'koriakin/xc7nocarrymux' into xaig

Fix spacing

Merge branch 'koriakin/xc7nocarrymux' into xaig

Oops. Actually use nocarry flag as spotted by @koriakin

Merge pull request #1137 from mmicko/cell_sim_fix

Simulation model verilog fix

Merge branch 'koriakin/xc7nocarrymux' into xaig

Simulation model verilog fix

synth_ecp5 rename -nomux to -nowidelut, but preserve former

Merge branch 'xc7nocarrymux' of https://github.com/koriakin/yosys into koriakin/xc7nocarrymux

Improve opt_clean handling of unused public wires

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

Merge pull request #1136 from YosysHQ/xaig_ice40_wire_del

abc9: Add wire delays to synth_ice40

Improve BTOR2 handling of undriven wires

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

abc9: Add wire delays to synth_ice40

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

Fix segfault on failed VERILOG_FRONTEND::const2ast, closes #1131

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

Do not clean up buffer cells with "keep" attribute, closes #1128

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

Escape scope names starting with dollar sign in smtio.py

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

Add more ECP5 Diamond flip-flops.

This includes all I/O registers, and a few more regular FFs where it
was convenient.

Missing muxpack.o in Makefile

Realistic delays for RAM32X1D too

Add RAM32X1D box info

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

Add testcase from #335, fixed by #1130

Merge pull request #1130 from YosysHQ/eddie/fix710

memory_dff: walk through more than one mux for computing read enable

Fix spacing

Move only one consumer check outside of while loop

Merge pull request #1129 from YosysHQ/eddie/ram32x1d

Add RAM32X1D support

Merge pull request #1075 from YosysHQ/eddie/muxpack

Add new "muxpack" command for packing chains of $mux cells

nullptr check

Use LUT delays for dist RAM delays

Fix for abc_scc_break is bus

More meaningful error message

Re-enable dist RAM boxes for ECP5

Revert "Re-enable dist RAM boxes for ECP5"

This reverts commit ca0225fcfaa8c9c68647034351a1569464959edf.

Do not use log_id as it strips \\, also fix scc for |wire| > 1

Re-enable dist RAM boxes for ECP5

Add Xilinx dist RAM as comb boxes

Fix abc9's scc breaker, also break on abc_scc_break attr

Add tests/various/abc9.{v,ys} with SCC test

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

Walk through as many muxes as exist for rd_en

Add test

Add RAM32X1D support

Merge pull request #1124 from mmicko/json_ports

Add upto and offset to JSON ports

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

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

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

Fix CHANGELOG

Reduce log_debug spam in parse_xaiger()

Do not rename non LUT cells in abc9

Replace assert with error message

Add log_push()/log_pop() inside write_xaiger

Merge pull request #1108 from YosysHQ/clifford/fix1091

Add support for partial matches to muxcover

One more workaround for gcc-4.8

Workaround issues exposed by gcc-4.8

No point logging constant bit

Move comment

Cope with $reduce_or common in case

Add more tests

Fix testcase

Fix spacing

Add doc

Add more muxpack tests, with overlapping entries