Refactor ice40_dsp.pmg

Add more entries

Format macc.v

Cleanup

Remove stat

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

Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext

peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells

Add doc on pattern detector for overflow

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

Fix copy-paste

Check overflow condition is power of 2 without using int32

Add .gitignore

Refine macc testcase

Mis-spell

Add pattern detection support for DSP48E1 model, check against vendor

Merge pull request #1379 from mmicko/sim_models

Added simulation models for Efinix and Anlogic

Add support for overflow using pattern detector

Separate dffrstmux from dffcemux, fix typos

make note that it is for latch mode

better lut handling

better handling of lut and begin/end add

Add "write_aiger -L"

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

Fix stupid bug in btor back-end

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

Bump version

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

Merge pull request #1380 from YosysHQ/clifford/fix1372

Fix handling of range selects on loop variables

Fix handling of range selects on loop variables, fixes #1372

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

Merge pull request #1374 from YosysHQ/eddie/fix1371

Fix two non-deterministic behaviours that cause divergence between compilers

xilinx: Make blackbox library family-dependent.

Fixes #1246.

Merge pull request #1377 from YosysHQ/clifford/fixzdigit

Fix handling of z_digit "?" and fix optimization of cmp with "z"

Added simulation models for Efinix and Anlogic

Oops

Add `undef DSP48E1_INST

Add counter-example from @cliffordwolf

Revert "Make one check $shift(x)? only; change testcase to be 8b"

This reverts commit e2c2d784c8217e4bcf29fb6b156b6a8285036b80.

Spacing

Explicitly order function arguments

Fix D -> P{,COUT} delay

Add no MULT no DPORT config

Add support for MULT and DPORT

Use template specialisation

Revert "SigSet<Cell*> to use stable compare class"

This reverts commit 4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11.

Refine diagram

Fix handling of z_digit "?" and fix optimization of cmp with "z"

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

Merge pull request #1373 from YosysHQ/clifford/fix1364

Fix lexing of integer literals

Fix lexing of integer literals without radix

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

Add an ASCII drawing

Finish explanation

Rename to techmap_guard

Initial DSP48E1 box support

Set more ports explicitly

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

Grammar

static_assert to enforce this going forward

SigSet<Cell*> to use stable compare class

Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock

Add equiv_opt -multiclock

Fix lexing of integer literals, fixes #1364

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

Add support for A1 and B1 registers

Raise a RuntimeError instead of AssertionError

Add AREG=2 BREG=2 test

Rename {A,B} -> {A2,B2}

Tidy up

Fix UB

Fix UB

Add PCOUT -> PCIN non-shifted cascading

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

Cope with presence of reset muxes too

Cleanup

Add more tests

Missing space

Make unextend a udata

Only display log message if did_something

Input registers to add DSP as new siguser to block upstream packing

More cleanup

Add -match-init option to dff2dffs.

Add support for A/B/C/D/AD reset

Update test with a/b reset

Extend test for RSTP and RSTM

Add support for RSTM

Add equiv_opt -multiclock

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

Merge pull request #1362 from xobs/smtbmc-msvc2-build-fixes

MSVC2 fixes

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

Rename dffmuxext -> dffmux, also remove constants in dff+mux

proc instead of prep

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

Add unsigned case

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

Only pack out registers if \init is zero or x; then remove \init from PREG

Fix RSTP

Add support for RSTP

enpol -> cepol

d?ffmux -> d?ffcemux

Refactor MREG and PREG to out_dffe subpattern

Update help text

Update xilinx_dsp help text

Update CHANGELOG

Move "(skip if -nodsp)" message to label

Be sensitive to signedness

Really get rid of 'opt_expr -fine' by being explicit

Remove wreduce call

Add comment for why opt_expr is necessary