Martin Povišer 93988ef5df tests: Extend aigmap.ys with SAT comparison ... Extend the aigmap.ys test with SAT-based comparison of the original cells and their AIG implementations. This tests both the usual cells and the single-bit Yosys gates.		2023-07-31 16:26:50 +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
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.ys
dfflegalize_adff_init.ys
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_dff_init.ys
dfflegalize_dffsr.ys
dfflegalize_dffsr_init.ys	Reenable existing equiv_opt tests	2022-10-07 16:04:51 +02:00
dfflegalize_dlatch.ys
dfflegalize_dlatch_const.ys
dfflegalize_dlatch_init.ys
dfflegalize_dlatchsr.ys
dfflegalize_dlatchsr_init.ys	Reenable existing equiv_opt tests	2022-10-07 16:04:51 +02:00
dfflegalize_inv.ys
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.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.v
recursive_map.v
recursive_runtest.sh
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