..
abc9.ys
…
abc_speed_gia_only.script
aiger2: add crash test
2025-12-02 15:30:02 +01:00
abc_state.ys
Move global ABC configuration variables into AbcConfig and initialize them properly
2025-11-05 13:56:04 +00: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
Remove references to ilang
2024-11-05 12:36:31 +13:00
booth.ys
booth: Map simple `$macc` instances too
2024-12-01 16:00:04 +01: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
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
…
bug2321.ys
…
bug2332.ys
…
bug2759.ys
…
bug2972.ys
…
bug5495.abc
Tests: Add testcase for problematic ABC DONE check
2025-11-21 14:46:01 +13:00
bug5495.sh
Increase test timeout to 10 seconds
2025-12-29 04:35:05 +00:00
bug5495.v
Tests: Add testcase for problematic ABC DONE check
2025-11-21 14:46:01 +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.lib
clockgate: shuffle test liberty to exercise comparison better
2024-11-18 12:48:50 +01:00
clockgate.ys
clockgate: support liberty filename globbing
2025-09-24 11:41:51 +02:00
clockgate_neg.lib
libparse: add LibertyMergedCells, enable multiple -liberty args for dfflibmap and clockgate
2024-12-03 17:36:00 +01:00
clockgate_pos.lib
libparse: add LibertyMergedCells, enable multiple -liberty args for dfflibmap and clockgate
2024-12-03 17:36:00 +01: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.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_adff_init.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_adlatch.ys
Fix tests for check in equiv_opt
2022-10-07 16:04:51 +02:00
dfflegalize_adlatch_init.ys
Fix tests for check in equiv_opt
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_aldff_init.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
dfflegalize_dff.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_dff_init.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_dffsr.ys
…
dfflegalize_dffsr_init.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
dfflegalize_dlatch.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_dlatch_const.ys
…
dfflegalize_dlatch_init.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_dlatchsr.ys
…
dfflegalize_dlatchsr_init.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
dfflegalize_inv.ys
dfflegalize: Add tests targetting aldff.
2021-10-27 14:14:01 +02:00
dfflegalize_mince.ys
…
dfflegalize_minsrst.ys
…
dfflegalize_sr.ys
…
dfflegalize_sr_init.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +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
dfflibmap: support liberty filename globbing
2025-09-24 11:41:51 +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
tests: fix dfflibmap test - false negative conflict multiple -liberty vs enable inference
2024-12-10 15:48:23 +01:00
dfflibmap_dffr_not_next.lib
fixup! dfflibmap: propagate negated next_state to output correctly
2025-06-24 12:31:30 +02:00
dfflibmap_dffsr.lib
libparse: add LibertyMergedCells, enable multiple -liberty args for dfflibmap and clockgate
2024-12-03 17:36:00 +01: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.lib
dfflibmap: propagate negated next_state to output correctly
2025-06-24 12:01:12 +02:00
dfflibmap_formal.ys
dfflibmap: fix next_state inversion propagation for DFF flops by inverting reset value polarity
2025-10-28 13:56:28 +01:00
dffunmap.ys
Fix tests for check in equiv_opt
2022-10-07 16:04:51 +02:00
extractinv.ys
…
han-carlson.tcl
techmap: test consistently with other equiv_make tests
2024-11-29 00:15:02 +01:00
iopadmap.ys
…
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
mem_simple_4x1_cells.v
…
mem_simple_4x1_map.v
…
mem_simple_4x1_runtest.sh
tests: use /usr/bin/env for bash.
2023-08-12 11:59:39 +10:00
mem_simple_4x1_tb.v
…
mem_simple_4x1_uut.v
…
pmux2mux.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
recursive.v
…
recursive_map.v
…
recursive_runtest.sh
Fix the tests we just broke
2021-12-10 00:22:37 +01:00
run-test.sh
test: restore verific handling, nicer naming
2024-12-13 10:24:47 +01:00
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
aiger2: add crash test
2025-12-02 15:30:02 +01:00
zinit.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
99d7ab9c42