Revert "Remove "opt_expr -fine" call"

This reverts commit bfda921d0317bfb4cb6fc9de8a556c2258b709bc.

Rename label to map_dsp

Remove "opt_expr -fine" call

Oops

Add SIMD test

Support subtraction as well

Support TWO24

Refactor

Add initial USE_SIMD=FOUR12 support

Only trim sigM if USE_MULT; only look for ffM then too

Set USE_MULT and USE_SIMD

Rename

Oops

Tidy up

Refactor using subpattern in_dffe

Update macc test

Pack CREG

Use unextend lambda

Fix ffP just like ffPmux

Perform D replacement properly

Add support for DREG

Fine tune nusers when postAdd

Fix macc and mul tests

Fix enable polarity

Logging for ffAD

Add support for pre-adder and AD register

Document (* gentb_skip *) attr for test_autotb

Tidy up ice40_dsp some more

Use more index patterns

Fix ffPmux to cope with offset

Simplify filter expressions

Fix nusers condition in ffP

Check adder is <= 48 bits before packing

Check nusers for M and P enable muxes

More nusers() checks for A and B enable muxes

Cleanup

Sensitive to CEB CEM CEP polarity

ffAmuxAB -> ffAenpol

Refactor ice40_dsp

Fix broken ice40_dsp

Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp

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

Do not check signedness of post-adder (assume taken care of by DSP)

Merge pull request #1312 from YosysHQ/xaig_arrival

Allow arrival times of sequential outputs to be specified to abc9

Use filter instead of index; support wide enable muxes

Do not make ff[MP]mux semioptional, use sigmap

Add support for CEP

Add support for CEB, remove check on nusers

Cleanup

Support CEA

Bump version

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

Merge pull request #1350 from YosysHQ/clifford/fixsby59

Properly construct $live and $fair cells from "if (...) assume/assert (s_eventually ...)"

Merge pull request #1330 from YosysHQ/clifford/fix1145

Add flatten handling of pre-existing wires as created by interfaces

simple/peepopt.v tests to various/peepopt.ys with equiv_opt & select

Revert "abc9 followed by clean otherwise netlist could be invalid for sim"

This reverts commit 6fe1ca633d90fb238d2671dba3d7f772c263a497.

Update README.md

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

Rename conflicting wires on flatten/techmap, add "hierconn" attribute, fixes #1220

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

Add flatten handling of pre-existing wires as created by interfaces, fixes #1145

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

Get rid of sigBset too

Merge pull request #1356 from emilazy/fix-makefile-shell

Use $(shell :; ...) in Makefile to force shell

Get rid of sigAset

Get rid of sigPused

Compute sigP properly

Use $(shell :; ...) in Makefile to force shell

Did you think that `$(shell command -v ...)` would actually get run by
the shell? Foolish mortal; GNU Make is obviously far more wise than
thee, as it optimizes it to a direct -- and hence broken (since
`command` is a shell builtin) -- exec. This horrifying contortion
ensures that an actual shell runs the command and fixes the behaviour.

@Shizmob found the source of this misbehaviour; turns out gmake has a
hard-coded, incomplete list of shell builtins:

    https://github.com/mirror/make/blob/715c787dc69bac37827a7d6ea6d40a86c55b5583/src/job.c#L2691

This contains `command`, but the whole function is full of horrible
heuristic garbage so who knows. I'm so sorry.

Resolve TODO with pin assignments for SRL*

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

Revert "parse_xaiger() to do "clean -purge""

This reverts commit 5d16bf831688ff665b0ec2abd6835b71320b2db5.

abc9 followed by clean otherwise netlist could be invalid for sim

Remove log_cell() calls

Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp

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

Add peepopt_dffmuxext

Add peepopt_dffmuxext tests

Merge pull request #1354 from emilazy/remove-which-use

Replace `which` with `command -v` in Makefile too

Replace `which` with `command -v` in Makefile too

Merge pull request #1338 from YosysHQ/eddie/deferred_top

hierarchy -auto-top to work with (* top *) modules from read/read_verilog -defer

Support CEM

st.ffP from if to assert

Rename muxAB to postAddMux

Use choices for addAB, now called postAdd

Add support for load value into DSP48E1.P

Process post-adder first since C could be used for load-P

Use feedback path for MACC

Adopt @cliffordwolf's suggestion

Expand test with `hierarchy' without -auto-top

Add `read -noverific` before read

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

Merge pull request #1351 from emilazy/remove-which-use

Use `command -v` rather than `which`

Use `command -v` rather than `which`

Properly construct $live and $fair cells from "if (...) assume/assert (s_eventually ...)"

Fixes https://github.com/YosysHQ/SymbiYosys/issues/59

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

Add comments

Rename box

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

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

Recognise built-in types (e.g. $_DFF_*)

Merge pull request #1344 from YosysHQ/eddie/ice40_signed_macc

ice40_dsp to allow signed multipliers

Merge pull request #1347 from mmicko/fix_select_error_msg

Fix select command error msg, fixes issue #1081

Merge pull request #1346 from mmicko/fix_ecp5_cells_sim

Fix TRELLIS_FF simulation model

Fix select command error msg, fixes issue #1081

Fix TRELLIS_FF simulation model