luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-09-05 11:35:20 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
fc6433bbae52cfda8d012b9dc2c522fd625b3134
yosys/tests/techmap
T
History
nella b8959e70ba Merge pull request #6072 from YosysHQ/nella/dlatchlibmap-cleanup 
Update to `dfflibmap` to be able to map LATCHes (clean up of #5976)
2026-08-13 08:38:19 +00:00
..
abc9-nonbox-loop-with-box.ys
abc9: preserve topological-loop asserts with targeted SCC fallback
2026-02-26 22:30:32 -08:00
abc9.ys
synth: fix after abc -fast removal
2026-03-18 17:59:58 +01:00
abc_new.ys
fix handling of multiple modules
2026-08-10 10:17:31 +01:00
abc_state.ys
Move global ABC configuration variables into AbcConfig and initialize them properly
2025-11-05 13:56:04 +00:00
abc_temp_dir_sanitization.ys
Sanitize ABC global and per-run temporary directory names in logs
2026-02-07 12:12:13 +13:00
adff2dff.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
aigmap.ys
Adjust operation naming in aigmap test
2024-09-17 13:55:58 +02:00
autopurge.ys
…
bmuxmap_pmux.ys
End of file fix
2026-06-23 07:23:41 +02:00
booth_map_script.ys_
renamed passname to booth, replaced connect_sigSpecToWire with connect, updated test script
2023-09-08 15:34:56 -07:00
booth.ys
booth: Map simple $macc instances too
2024-12-01 16:00:04 +01:00
buf.ys
opt_clean, simplemap: Add $buf handling
2025-03-07 16:08:38 +01:00
bufnorm.ys
tests/bufnorm: add test for bufnorm of constant
2024-11-07 12:55:50 +01:00
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
bug2759.ys
abc9: holes module to instantiate cells with NEW_ID (#2992)
2021-09-09 10:06:20 -07:00
bug2972.ys
abc9: make re-entrant (#2993)
2021-09-09 10:06:31 -07:00
bug5495.abc
Tests: Add testcase for problematic ABC DONE check
2025-11-21 14:46:01 +13:00
bug5495.sh
End of file fix
2026-06-23 07:23:41 +02:00
bug5495.v
Tests: Add testcase for problematic ABC DONE check
2025-11-21 14:46:01 +13:00
bug5574.ys
tests/bug5574: Fix for non threaded abc
2026-01-20 05:56:14 +13:00
cellmatch.ys
cellmatch: Rename -lut_attrs to -derive_luts; document option
2024-11-04 14:28:40 +01:00
cellname.ys
…
clkbufmap.ys
…
clockgate_bad.il
End of file fix
2026-06-23 07:23:41 +02:00
clockgate_neg.lib
End of file fix
2026-06-23 07:23:41 +02:00
clockgate_pos.lib
End of file fix
2026-06-23 07:23:41 +02:00
clockgate_wide.v
End of file fix
2026-06-23 07:23:41 +02:00
clockgate.lib
End of file fix
2026-06-23 07:23:41 +02:00
clockgate.tcl
clockgate: test $sdffe rejected
2026-05-07 16:13:14 +02:00
clockgate.v
End of file fix
2026-06-23 07:23:41 +02:00
cmp2lcu.ys
…
constmap.ys
Add check at constmap and merge test
2025-04-14 11:44:52 +01:00
dff2ff.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
dffinit.ys
…
dfflegalize_adff_init.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_adff.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_adlatch_init.ys
Fix tests for check in equiv_opt
2022-10-07 16:04:51 +02:00
dfflegalize_adlatch.ys
Fix tests for check in equiv_opt
2022-10-07 16:04:51 +02:00
dfflegalize_aldff_init.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
dfflegalize_aldff.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
dfflegalize_dff_init.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_dff.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_dffsr_init.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
dfflegalize_dffsr.ys
clk2fflogic: Support all FF types.
2020-07-24 03:19:48 +02:00
dfflegalize_dlatch_const.ys
dfflegalize: Refactor, add aldff support.
2021-10-27 14:14:01 +02:00
dfflegalize_dlatch_emu.ys
Add tests.
2026-06-15 15:46:13 +02:00
dfflegalize_dlatch_init.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_dlatch.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_dlatchsr_init.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
dfflegalize_dlatchsr.ys
clk2fflogic: Support all FF types.
2020-07-24 03:19:48 +02:00
dfflegalize_inv.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_mince.ys
clk2fflogic: Support all FF types.
2020-07-24 03:19:48 +02:00
dfflegalize_minsrst.ys
dfflegalize: Refactor, add aldff support.
2021-10-27 14:14:01 +02:00
dfflegalize_sr_init.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
dfflegalize_sr.ys
dfflegalize: Refactor, add aldff support.
2021-10-27 14:14:01 +02:00
dfflibmap_dff_not_next.lib
dfflibmap: fix next_state inversion propagation for DFF flops by inverting reset value polarity
2025-10-28 13:56:28 +01:00
dfflibmap_dffn_dffe.lib
Remove trailing whitespaces
2026-06-23 07:24:59 +02:00
dfflibmap_dffsr_h.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dfflibmap_dffsr_l.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dfflibmap_dffsr_mixedpol-sim.v
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dfflibmap_dffsr_mixedpol.lib
dfflibmap: test negated state next_state with mixed polarities
2025-07-10 18:54:43 +02:00
dfflibmap_dffsr_not_next_l.lib
dfflibmap: fix formal $dffsr tests with sat, prove "no s&r" assumption only needed when appropriate
2026-03-03 10:35:03 +01:00
dfflibmap_dffsr_not_next.lib
End of file fix
2026-06-23 07:23:41 +02:00
dfflibmap_dffsr_r.lib
dfflibmap: test dffsr with either priority liberty file
2026-03-03 10:34:29 +01:00
dfflibmap_dffsr_s.lib
dfflibmap: test dffsr with either priority liberty file
2026-03-03 10:34:29 +01:00
dfflibmap_dffsr_x.lib
dfflibmap: fix formal $dffsr tests with sat, prove "no s&r" assumption only needed when appropriate
2026-03-03 10:35:03 +01:00
dfflibmap_formal.ys
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dfflibmap_proc_formal.ys
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dfflibmap_resetval_clobber.lib
dfflibmap: add regression test for resetval clobber
2026-07-14 18:02:02 +02:00
dfflibmap_resetval_clobber.ys
Code cleanup
2026-08-04 17:18:22 +02:00
dfflibmap_wide.ys
liberty: cleanup
2026-07-30 16:44:12 +02:00
dfflibmap-sim.v
dfflibmap: cover enable inference with test
2024-12-09 14:18:08 +01:00
dfflibmap.lib
dfflibmap: show dffe inference is broken by space ANDs
2025-07-11 00:33:01 +02:00
dfflibmap.ys
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dffunmap.ys
Fix tests for check in equiv_opt
2022-10-07 16:04:51 +02:00
dlatchlibmap_dlatch_not_data.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_dlatchn.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_dlatchsr_h.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_dlatchsr_l.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_dlatchsr_mixedpol-sim.v
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_dlatchsr_mixedpol.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_dlatchsr_not_data_l.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_dlatchsr_not_data.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_dlatchsr_r.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_dlatchsr_s.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_dlatchsr_x.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_formal.ys
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_proc_formal.ys
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap_wide.ys
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap-sim.v
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap.lib
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
dlatchlibmap.ys
Add latch tests, extend dff tests.
2026-08-10 10:59:03 +02:00
extractinv.ys
…
generate_mk.py
Convert gen-tests shell script to python
2026-04-16 11:00:44 +02:00
han-carlson.tcl
techmap: test consistently with other equiv_make tests
2024-11-29 00:15:02 +01:00
iopadmap.ys
opt_clean: Make the init attribute follow the FF's Q.
2021-08-22 15:38:29 +02:00
kogge-stone.tcl
techmap: test consistently with other equiv_make tests
2024-11-29 00:15:02 +01:00
lcu_refined.v
techmap: wrap builtin $lcu as golden module in PPA tests
2024-11-29 00:13:21 +01:00
lut2bmux.ys
add lut2bmux
2026-01-06 14:48:16 +01:00
lut2mux.ys
lut2mux: add -word option and test
2025-12-23 05:57:40 -08:00
mem_simple_4x1_cells.v
…
mem_simple_4x1_map.v
End of file fix
2026-06-23 07:23:41 +02:00
mem_simple_4x1_runtest.sh
Make out of tree build testing possible
2026-05-19 14:26:07 +02:00
mem_simple_4x1_tb.v
…
mem_simple_4x1_uut.v
…
module_not_derived.ys
Add test
2026-01-19 18:34:55 -08:00
mul2dsp_asymmetric.ys
mul2dsp: normalize operand order
2026-07-15 16:21:07 +02:00
pmux2mux.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
recursive_map.v
…
recursive_runtest.sh
Make out of tree build testing possible
2026-05-19 14:26:07 +02:00
recursive.v
…
shiftx2mux.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
sklansky.tcl
techmap: add a Sklansky option for $lcu mapping
2024-12-02 11:34:58 +01:00
techmap_chtype.ys
chtype: replace publish pass with chtype -publish_icells
2025-10-14 15:01:48 +02:00
techmap_replace.ys
…
wireinit.ys
…
xaiger2-5169.ys
cleanup
2026-08-03 13:28:33 +01:00
zinit.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00