Emil J. Tywoniak c3457e2e5c WIP		2026-06-10 14:52:50 +02: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_state.ys
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
aigmap.ys
autopurge.ys
bmuxmap_pmux.ys
booth.ys
booth_map_script.ys_
buf.ys
bufnorm.ys
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	Make out of tree build testing possible	2026-05-19 14:26:07 +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
cellname.ys
clkbufmap.ys
clockgate.lib	clockgate: formal liberty tests	2026-05-07 16:08:55 +02:00
clockgate.tcl	WIP	2026-06-10 14:52:50 +02:00
clockgate.v	clockgate: formal liberty tests	2026-05-07 16:08:55 +02:00
clockgate_bad.il	clockgate: formal liberty tests	2026-05-07 16:08:55 +02:00
clockgate_neg.lib
clockgate_pos.lib
clockgate_wide.v	clockgate: formal liberty tests	2026-05-07 16:08:55 +02:00
cmp2lcu.ys
constmap.ys
dff2ff.ys
dffinit.ys
dfflegalize_adff.ys
dfflegalize_adff_init.ys
dfflegalize_adlatch.ys
dfflegalize_adlatch_init.ys
dfflegalize_aldff.ys
dfflegalize_aldff_init.ys
dfflegalize_dff.ys
dfflegalize_dff_init.ys
dfflegalize_dffsr.ys
dfflegalize_dffsr_init.ys
dfflegalize_dlatch.ys
dfflegalize_dlatch_const.ys
dfflegalize_dlatch_init.ys
dfflegalize_dlatchsr.ys
dfflegalize_dlatchsr_init.ys
dfflegalize_inv.ys
dfflegalize_mince.ys
dfflegalize_minsrst.ys
dfflegalize_sr.ys
dfflegalize_sr_init.ys
dfflibmap-sim.v
dfflibmap.lib
dfflibmap.ys	dfflibmap: test dffsr with either priority liberty file	2026-03-03 10:34:29 +01:00
dfflibmap_dff_not_next.lib
dfflibmap_dffn_dffe.lib
dfflibmap_dffsr_mixedpol.lib
dfflibmap_dffsr_not_next.lib
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_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	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_proc_formal.ys	dfflibmap: consistent clk2fflogic usage in test	2026-03-19 19:48:25 +01:00
dffunmap.ys
extractinv.ys
generate_mk.py	Convert gen-tests shell script to python	2026-04-16 11:00:44 +02:00
han-carlson.tcl
iopadmap.ys
kogge-stone.tcl
lcu_refined.v
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
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
pmux2mux.ys
recursive.v
recursive_map.v
recursive_runtest.sh	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
shiftx2mux.ys
sklansky.tcl
techmap_chtype.ys
techmap_replace.ys
wireinit.ys
xaiger2-5169.ys	abc_new: use default script if not specified	2026-04-28 12:33:21 +01:00
zinit.ys