Make abc9 test a bit more interesting

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

Remove trailing space

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

Merge pull request #1340 from YosysHQ/eddie/abc_no_clean

abc9 to not call "clean" at end of run (often called outside)

Merge pull request #1310 from SergeyDegtyar/master

Add new tests for ice40 architecture

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

Merge pull request #1321 from YosysHQ/eddie/xilinx_srl

xilinx_srl pass for shift register extraction

Merge branch 'eddie/xilinx_srl' into xaig_arrival

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

Format `-pwires`

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

macc test fix

Merge pull request #1343 from whitequark/diamond-ffs

Add/update every Diamond FF primitive

ecp5: Add simulation equivalence check for Diamond FF implementations

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

Fix macc test

div_mod test fix

fix div_mod test

ecp5: deduplicate Diamond FD/IFS/OFS/IO primitives.

ecp5: allow (and enable by default) GSR on FD/IFS/OFS primitives.

ecp5: add missing FD primitives.

ecp5: fix CEMUX on IFS/OFS primitives.

Fix test for counter

Merge branch 'master' into master

Add new tests.

Remove unnecessary common.v(assertions for testbenches).

Remove simulation from run-test.sh (unnecessary paths)

Remove simulation from run-test.sh

Merge pull request #1337 from YosysHQ/eddie/fix_carry_wrapper

Fix $__ICE40_CARRY_WRAPPER, restore abc9 functionality

Nicer formatting

parse_xaiger() to do "clean -purge"

Output has priority over input when stitching in abc9

Group abc_* attribute doc with other attributes

abc9 to not call "clean" at end of run (often called outside)

Merge pull request #2 from YosysHQ/master

Pull from upstream

Merge pull request #3 from YosysHQ/Sergey/tests_ice40

Merge my changes to tests_ice40 branch

Fix typo that's gone unnoticed for 5 months!?!

Rename boxes too

Bump YOSYS_VER

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

Add comments for examples from Lattice user guide

Use a dummy box file if none specified

Comment out SB_MAC16 arrival time for now, need to handle all its modes

Add arrival for SB_MAC16.O

Add arrival times for U

LX -> LP

Round not floor

Add LP timings

LX -> LP

Merge remote-tracking branch 'origin/eddie/fix_carry_wrapper' into xaig_arrival

Add run-test.sh too

Do not overwrite LUT param

Add SB_CARRY to ice40_opt test

Add ice40_opt test

Do not overwrite LUT param

Add SB_CARRY to ice40_opt test

Add ice40_opt test

Cleanup

Revert "Revert "Fix omode which inserts an output if none exists (otherwise abc9 breaks)""

This reverts commit 8f0c1232d7c511a6473f4581e4c27a90088cedb7.

Revert "Output "h" extension only if boxes"

This reverts commit 399ac760ff2bf4a7d438ed388820e7bfb511de6b.

Merge remote-tracking branch 'origin/eddie/fix_carry_wrapper' into xaig_arrival

Trailing comma

Adapt to $__ICE40_CARRY_WRAPPER

Revert "Remove $__ICE40_FULL_ADDER handling from ice40_opt; cannot reason with"

This reverts commit 2aedee1f0e0f6a6214241f51f5c12d4b67c3ef6f.

Add arrival times for HX devices

Specify ice40 family to cells_sim.v using define

Merge remote-tracking branch 'origin/eddie/fix_carry_wrapper' into xaig_arrival

Remove $__ICE40_FULL_ADDER handling from ice40_opt; cannot reason with

CARRY_WRAPPER in the same way since I0 and I3 could be used

Update box size and timings

Update to new $__ICE40_CARRY_WRAPPER

Account for D port being a constant

Account for D port being a constant

Merge branch 'eddie/xilinx_srl' into xaig_arrival

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

Comment out *.sh used for testbenches as we have no more

Merge pull request #1334 from YosysHQ/clifford/async2synclatch

Add $dlatch support to async2sync

Use equiv for memory and dpram

Use equiv_opt for latches

Merge remote-tracking branch 'origin/clifford/async2synclatch' into Sergey/tests_ice40

No need to replace Q of slice since $shiftx is autoremove-d

Add (* clkbuf_sink *) to SRLC16E, reorder ports to match vendor

More cleanup

More cleanup

Do not use default_params dict, hardcode default values, cleanup

Add .gitignore

Use test_pmgen for xilinx_srl

Always generate if no match

Rename test_pmgen arg xilinx_srl.{fixed,variable}

Do not simplemap for variable test

Add xilinx_srl test

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

Merge pull request #1332 from YosysHQ/dave/ecp5gsr

ecp5: Add GSR and SGSR support

Merge pull request #1335 from YosysHQ/clifford/paramap

Add "paramap" pass

Fix typo

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

Add "paramap" pass

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

Add $dlatch support to async2sync

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

Revert "Add tests for ecp5"

This reverts commit 2270ead09fb4695442c66fe5c06445235f390f2b.

Add tests for ecp5

Merge pull request #1325 from YosysHQ/eddie/sat_init

In sat: 'x' in init attr should be ignored

xilinx: Add SRLC16E primitive.

Fixes #1331.

Merge pull request #1292 from YosysHQ/mwk/xilinx_bufgmap

Add clock buffer insertion pass, improve iopadmap.