Martin Povišer 4506e11d0f booth: Extend test to catch bug from previous commit

2023-10-04 23:30:29 +02:00

..

.gitignore

…

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_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: Extend test to catch bug from previous commit

2023-10-04 23:30:29 +02:00

bug2183.ys

…

bug2321.ys

…

bug2332.ys

…

bug2759.ys

…

bug2972.ys

…

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_init.ys

…

dfflegalize_adff.ys

…

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_dff.ys

…

dfflegalize_dffsr_init.ys

Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

dfflegalize_dffsr.ys

…

dfflegalize_dlatch_const.ys

…

dfflegalize_dlatch_init.ys

…

dfflegalize_dlatch.ys

…

dfflegalize_dlatchsr_init.ys

Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

dfflegalize_dlatchsr.ys

…

dfflegalize_inv.ys

…

dfflegalize_mince.ys

…

dfflegalize_minsrst.ys

…

dfflegalize_sr_init.ys

Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

dfflegalize_sr.ys

…

dfflibmap-sim.v

…

dfflibmap.lib

…

dfflibmap.ys

Fix tests for check in equiv_opt

2022-10-07 16:04:51 +02: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

…

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_map.v

…

recursive_runtest.sh

…

recursive.v

…

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