yosys/tests/techmap
Marcelina Kościelnicka 62d41d4639 opt_clean: Make the init attribute follow the FF's Q.
Previously, opt_clean would reconnect all ports (including FF Q ports)
to a "canonical" SigBit chosen by complex rules, but would leave the
init attribute on the old wire.  This change applies the same
canonicalization rules to the init attributes, ensuring that init moves
to wherever the Q port moved.

Part of another jab at #2920.
2021-08-22 15:38:29 +02:00
..
.gitignore
abc9.ys
adff2dff.ys Add tests for some common techmap files. 2021-02-24 01:07:34 +01:00
aigmap.ys
autopurge.ys
bug2183.ys flatten, techmap: don't canonicalize tpl driven bits via sigmap. 2020-08-26 16:29:42 +00:00
bug2321.ys techmap.CONSTMAP: Handle outputs before inputs. 2020-08-05 12:28:18 +02:00
bug2332.ys peeopt.shiftmul: Add a signedness check. 2020-08-05 21:01:20 +02:00
cellname.ys techmap: Add _TECHMAP_CELLNAME_ special parameter. 2020-07-21 15:00:54 +02:00
clkbufmap.ys
cmp2lcu.ys
dff2ff.ys Add tests for some common techmap files. 2021-02-24 01:07:34 +01:00
dffinit.ys
dfflegalize_adff.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_adff_init.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_adlatch.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_adlatch_init.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_dff.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_dff_init.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_dffsr.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_dffsr_init.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_dlatch.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_dlatch_const.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_dlatch_init.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_dlatchsr.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_dlatchsr_init.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_inv.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_mince.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_minsrst.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_sr.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflegalize_sr_init.ys clk2fflogic: Support all FF types. 2020-07-24 03:19:48 +02:00
dfflibmap-sim.v
dfflibmap.lib
dfflibmap.ys
dffunmap.ys Add dffunmap pass. 2020-07-31 00:59:51 +02:00
extractinv.ys
iopadmap.ys opt_clean: Make the init attribute follow the FF's Q. 2021-08-22 15:38:29 +02:00
mem_simple_4x1_cells.v
mem_simple_4x1_map.v
mem_simple_4x1_runtest.sh tests: Centralize test collection and Makefile generation 2020-09-21 15:07:02 +02:00
mem_simple_4x1_tb.v
mem_simple_4x1_uut.v
pmux2mux.ys Add tests for some common techmap files. 2021-02-24 01:07:34 +01:00
recursive.v
recursive_map.v
recursive_runtest.sh tests: Centralize test collection and Makefile generation 2020-09-21 15:07:02 +02:00
run-test.sh tests: Centralize test collection and Makefile generation 2020-09-21 15:07:02 +02:00
shiftx2mux.ys techmap/shift_shiftx: Remove the "shiftx2mux" special path. 2020-08-20 12:44:09 +02:00
techmap_replace.ys
wireinit.ys
zinit.ys zinit: Refactor to use FfInitVals. 2020-07-24 11:22:31 +02:00