Less thinking

Reword

synth_xilinx to call "synth -run coarse" with "-keepdc"

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

Add synth -keepdc to CHANGELOG

Clarify 'wreduce -keepdc' doc

Add synth -keepdc option

Map $__XILINX_SHIFTX in a more balanced manner

Capitalisation

Add synth_xilinx -widemux recommended value

Update muxcover doc as per @ZirconiumX

Fixes for 2:1 muxes

synth_xilinx -widemux=2 is minimum now

Parametric muxcover costs as per @daveshah1

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

atoi -> stoi

Add muxcover -mux2=cost option

atoi -> stoi as per @daveshah1

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

Merge pull request #1159 from btut/fix/1090_segfault_cell_and_wire

Throw runtime exception when trying to convert inexistend C++ object to Python

Throw runtime exception when trying to convert a c++-pointer to a
python-object in case the pointer is a nullptr to avoid a segfault.

Fixes #1090

Merge pull request #1156 from YosysHQ/eddie/fix_abc9_unknown_cell

 write_xaiger to treat unknown cell connections as keep-s

Merge pull request #1147 from YosysHQ/clifford/fix1144

Improve specify dummy parser

Fix tests/various/specify.v

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

Some cleanups in "ignore specify parser"

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

Merge pull request #1154 from whitequark/manual-sync-always

manual: explain the purpose of `sync always`

write_xaiger to treat unknown cell connections as keep-s

Add test

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

Merge pull request #1150 from YosysHQ/eddie/script_from_wire

Add "script -select [selection]" to allow commands to be taken from wires

manual: explain the purpose of `sync always`.

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

Merge pull request #1153 from YosysHQ/dave/fix_multi_mux

memory_dff: Fix checking of feedback mux input when more than one mux

Update test for Pass::call_on_module()

Use Pass::call_on_module() as per @cliffordwolf comments

Update test too

script -select -> script -scriptwire

memory_dff: Fix checking of feedback mux input when more than one mux

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

Fix read_verilog assert/assume/etc on default case label, fixes YosysHQ/SymbiYosys#53

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

Fix $__XILINX_MUXF78 box timing

Revert "Fix broken MUXFx box, use MUXF7x2 box instead"

This reverts commit a9a140aa6c84e71edc1a244cfe363400c7e09d90.

Fix broken MUXFx box, use MUXF7x2 box instead

Space

Space

Move CHANGELOG entry from yosys-0.8 to 0.9

Merge branch 'master' into eddie/script_from_wire

Move wide mux from yosys-0.8 to 0.9

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

Move abc9 from yosys-0.8 to yosys-0.9 in CHANGELOG

Merge branch 'master' of github.com:YosysHQ/yosys

Comment out invalid syntax

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

install *_nowide.lut files

Merge pull request #1149 from gsomlo/gls-1098-abcext-fixup

Make abc9 pass aware of optional ABCEXTERNAL override

Merge branch 'master' into eddie/script_from_wire

autotest.sh to define _AUTOTB when test_autotb

autotest.sh to define _AUTOTB when test_autotb

Try command in another module

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

Add to CHANGELOG

Support ability for "script -select" to take commands from wires

Add test

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

Replace log_assert() with meaningful log_error()

Remove peepopt call in synth_xilinx since already in synth -run coarse

Restore $__XILINX_MUXF78 const optimisation

Clean up trimming leading 1'bx in A during techmappnig

Make abc9 pass aware of optional ABCEXTERNAL override

Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>

Fix CARRY4 abc_box_id

Replace log_assert() with meaningful log_error()

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

Add missing CHANGELOG entries

Update CHANGELOG with -widemux

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

Fix spacing

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

Merge pull request #1098 from YosysHQ/xaig

"abc9" pass for timing-aware techmapping (experimental, FPGA only, no FFs)

Add test from #1144, and try reading without '-specify' flag

Add generic __builtin_bswap32 function

Also fix write_aiger for UB

Fix more potential for undefined behaviour due to container invalidation

Update synth_ice40 -device doc to be relevant for -abc9 only

Disable boxing of ECP5 dist RAM due to regression

Add write address to abc_scc_break of ECP5 dist RAM

Fix DO4 typo

Merge pull request #1146 from gsomlo/gls-test-abc-ext

tests: use optional ABCEXTERNAL when specified

Improve specify dummy parser, fixes #1144

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

Merge pull request #1046 from bogdanvuk/master

Optimizing DFFs whose initial value prevents their value from changing

tests: use optional ABCEXTERNAL when specified

Commits 65924fd1, abc40924, and ebe29b66 hard-code the invocation
of yosys-abc, which fails if ABCEXTERNAL was specified during the
build. Allow tests to utilize an optional, externally specified
abc binary.

Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>

Reduce diff with upstream

Extraneous newline

Remove noise from ice40/cells_sim.v

Refactor for one "abc_carry" attribute on module

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

Do not use Module::remove() iterator version

Remove redundant doc

Remove &retime when abc9 -fast

Cleanup abc9.cc

Undo iterator based Module::remove() for cells, as containers will not
invalidate

Add help for "-sat" option inside opt_rmdff. "opt" can pass "-sat" too