Emil J. Tywoniak 6ee01308f2 dfflibmap: show dffe inference is broken by space ANDs

2025-07-11 00:33:01 +02:00

..

.gitignore

…

abc9.ys

…

adff2dff.ys

…

aigmap.ys

…

autopurge.ys

…

bmuxmap_pmux.ys

…

booth_map_script.ys_

…

booth.ys

booth: Map simple $macc instances too

2024-12-01 16:00:04 +01:00

buf.ys

opt_clean, simplemap: Add $buf handling

2025-03-07 16:08:38 +01:00

bufnorm.ys

…

bug2183.ys

…

bug2321.ys

…

bug2332.ys

…

bug2759.ys

…

bug2972.ys

…

cellmatch.ys

…

cellname.ys

…

clkbufmap.ys

…

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

clockgate.lib

clockgate: shuffle test liberty to exercise comparison better

2024-11-18 12:48:50 +01:00

clockgate.ys

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

…

dfflegalize_adff.ys

…

dfflegalize_adlatch_init.ys

…

dfflegalize_adlatch.ys

…

dfflegalize_aldff_init.ys

…

dfflegalize_aldff.ys

…

dfflegalize_dff_init.ys

…

dfflegalize_dff.ys

…

dfflegalize_dffsr_init.ys

…

dfflegalize_dffsr.ys

…

dfflegalize_dlatch_const.ys

…

dfflegalize_dlatch_init.ys

…

dfflegalize_dlatch.ys

…

dfflegalize_dlatchsr_init.ys

…

dfflegalize_dlatchsr.ys

…

dfflegalize_inv.ys

…

dfflegalize_mince.ys

…

dfflegalize_minsrst.ys

…

dfflegalize_sr_init.ys

…

dfflegalize_sr.ys

…

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_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_dffsr.lib

libparse: add LibertyMergedCells, enable multiple -liberty args for dfflibmap and clockgate

2024-12-03 17:36:00 +01:00

dfflibmap_formal.ys

dfflibmap: propagate negated next_state to output correctly

2025-06-24 12:01:12 +02:00

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: test negated state next_state with mixed polarities

2025-07-10 18:54:43 +02:00

dffunmap.ys

…

extractinv.ys

…

han-carlson.tcl

techmap: test consistently with other equiv_make tests

2024-11-29 00:15:02 +01:00

iopadmap.ys

…

kogge-stone.tcl

techmap: test consistently with other equiv_make tests

2024-11-29 00:15:02 +01:00

lcu_refined.v

techmap: wrap builtin $lcu as golden module in PPA tests

2024-11-29 00:13:21 +01:00

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

…

recursive_runtest.sh

…

recursive.v

…

run-test.sh

test: restore verific handling, nicer naming

2024-12-13 10:24:47 +01:00

shiftx2mux.ys

…

sklansky.tcl

techmap: add a Sklansky option for $lcu mapping

2024-12-02 11:34:58 +01:00

techmap_chtype.ys

…

techmap_replace.ys

…

wireinit.ys

…

zinit.ys

…