..
.gitignore
opt_mem: Remove constant-value bit lanes.
2022-05-07 23:13:16 +02:00
abc9.ys
adff2dff.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
aigmap.ys
tests: Extend aigmap.ys with SAT comparison
2023-07-31 16:26:50 +02:00
autopurge.ys
bmuxmap_pmux.ys
add pmux option to bmuxmap for better fsm detection with verific frontend
2023-01-30 16:12:53 +01:00
booth.ys
booth: Extend test to catch bug from previous commit
2023-10-04 23:30:29 +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
bug2183.ys
bug2321.ys
bug2332.ys
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
cellname.ys
clkbufmap.ys
cmp2lcu.ys
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: Refactor, add aldff support.
2021-10-27 14:14:01 +02:00
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: Refactor, add aldff support.
2021-10-27 14:14:01 +02:00
dfflegalize_sr.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
dfflibmap-sim.v
dfflibmap.lib
dfflibmap.ys
dfflibmap: Add a -dont_use flag to ignore cells
2024-02-19 13:00:18 -05:00
dffunmap.ys
Fix tests for check in equiv_opt
2022-10-07 16:04:51 +02:00
extractinv.ys
iopadmap.ys
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
shiftx2mux.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
techmap_replace.ys
wireinit.ys
zinit.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00