Robert O'Callahan 99d7ab9c42 Increase test timeout to 10 seconds ... On my machine, this test regularly times out when doing "make -j" (which defaults to 128). The high degree of parallelism seems to slow down the spwaning of ABC processes.		2025-12-29 04:35:05 +00:00
..
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
aigmap.ys
autopurge.ys
bmuxmap_pmux.ys
booth.ys
booth_map_script.ys_
buf.ys	opt_clean, simplemap: Add $buf handling	2025-03-07 16:08:38 +01:00
bufnorm.ys
bug2183.ys
bug2321.ys	techmap.CONSTMAP: Handle outputs before inputs.	2020-08-05 12:28:18 +02:00
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
cellname.ys	techmap: Add _TECHMAP_CELLNAME_ special parameter.	2020-07-21 15:00:54 +02:00
clkbufmap.ys
clockgate.lib
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
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: 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
extractinv.ys
han-carlson.tcl
iopadmap.ys
kogge-stone.tcl
lcu_refined.v
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
recursive.v
recursive_map.v
recursive_runtest.sh
run-test.sh	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
shiftx2mux.ys
sklansky.tcl
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