| .. |
|
.gitignore
|
opt_mem: Remove constant-value bit lanes.
|
2022-05-07 23:13:16 +02:00 |
|
abc9.ys
|
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
|
2020-01-15 16:42:16 -08:00 |
|
adff2dff.ys
|
Reenable existing equiv_opt tests
|
2022-10-07 16:04:51 +02:00 |
|
aigmap.ys
|
Adjust operation naming in aigmap test
|
2024-09-17 13:55:58 +02:00 |
|
autopurge.ys
|
Hell let's add the original #1381 testcase too
|
2019-09-20 17:58:51 -07:00 |
|
bmuxmap_pmux.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
booth.ys
|
booth: Map simple $macc instances too
|
2024-12-01 16:00:04 +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 |
|
buf.ys
|
opt_clean, simplemap: Add $buf handling
|
2025-03-07 16:08:38 +01:00 |
|
bufnorm.ys
|
tests/bufnorm: add test for bufnorm of constant
|
2024-11-07 12:55:50 +01:00 |
|
bug2183.ys
|
flatten, techmap: don't canonicalize tpl driven bits via sigmap.
|
2020-08-26 16:29:42 +00:00 |
|
bug2321.ys
|
techmap.CONSTMAP: Handle outputs before inputs.
|
2020-08-05 12:28:18 +02:00 |
|
bug2332.ys
|
peeopt.shiftmul: Add a signedness check.
|
2020-08-05 21:01:20 +02:00 |
|
bug2759.ys
|
abc9: holes module to instantiate cells with NEW_ID (#2992)
|
2021-09-09 10:06:20 -07:00 |
|
bug2972.ys
|
abc9: make re-entrant (#2993)
|
2021-09-09 10:06:31 -07:00 |
|
cellmatch.ys
|
cellmatch: Rename -lut_attrs to -derive_luts; document option
|
2024-11-04 14:28:40 +01:00 |
|
cellname.ys
|
techmap: Add _TECHMAP_CELLNAME_ special parameter.
|
2020-07-21 15:00:54 +02:00 |
|
clkbufmap.ys
|
clkbufmap: improve input pad handling.
|
2020-07-09 18:48:01 +02: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 |
|
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
|
+/cmp2lcu.v to work efficiently for fully/partially constant inputs
|
2020-04-03 14:28:22 -07:00 |
|
dff2ff.ys
|
Reenable existing equiv_opt tests
|
2022-10-07 16:04:51 +02:00 |
|
dffinit.ys
|
dffinit: Avoid setting init parameter to zero-length value.
|
2020-04-14 19:52:19 +02:00 |
|
dfflegalize_adff.ys
|
dfflegalize: Add tests targetting aldff.
|
2021-10-27 14:14:01 +02:00 |
|
dfflegalize_adff_init.ys
|
dfflegalize: Add tests targetting aldff.
|
2021-10-27 14:14:01 +02:00 |
|
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: Add tests targetting aldff.
|
2021-10-27 14:14:01 +02:00 |
|
dfflegalize_dff_init.ys
|
dfflegalize: Add tests targetting aldff.
|
2021-10-27 14:14:01 +02:00 |
|
dfflegalize_dffsr.ys
|
clk2fflogic: Support all FF types.
|
2020-07-24 03:19:48 +02:00 |
|
dfflegalize_dffsr_init.ys
|
Reenable existing equiv_opt tests
|
2022-10-07 16:04:51 +02:00 |
|
dfflegalize_dlatch.ys
|
dfflegalize: Add tests targetting aldff.
|
2021-10-27 14:14:01 +02:00 |
|
dfflegalize_dlatch_const.ys
|
dfflegalize: Refactor, add aldff support.
|
2021-10-27 14:14:01 +02:00 |
|
dfflegalize_dlatch_init.ys
|
dfflegalize: Add tests targetting aldff.
|
2021-10-27 14:14:01 +02:00 |
|
dfflegalize_dlatchsr.ys
|
clk2fflogic: Support all FF types.
|
2020-07-24 03:19:48 +02:00 |
|
dfflegalize_dlatchsr_init.ys
|
Reenable existing equiv_opt tests
|
2022-10-07 16:04:51 +02:00 |
|
dfflegalize_inv.ys
|
dfflegalize: Add tests targetting aldff.
|
2021-10-27 14:14:01 +02:00 |
|
dfflegalize_mince.ys
|
clk2fflogic: Support all FF types.
|
2020-07-24 03:19:48 +02:00 |
|
dfflegalize_minsrst.ys
|
dfflegalize: Refactor, add aldff support.
|
2021-10-27 14:14:01 +02:00 |
|
dfflegalize_sr.ys
|
dfflegalize: Refactor, add aldff support.
|
2021-10-27 14:14:01 +02:00 |
|
dfflegalize_sr_init.ys
|
Reenable existing equiv_opt tests
|
2022-10-07 16:04:51 +02:00 |
|
dfflibmap-sim.v
|
dfflibmap: cover enable inference with test
|
2024-12-09 14:18:08 +01:00 |
|
dfflibmap.lib
|
dfflibmap: cover enable inference with test
|
2024-12-09 14:18:08 +01:00 |
|
dfflibmap.ys
|
tests: fix dfflibmap test - false negative conflict multiple -liberty vs enable inference
|
2024-12-10 15:48:23 +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_dffsr.lib
|
libparse: add LibertyMergedCells, enable multiple -liberty args for dfflibmap and clockgate
|
2024-12-03 17:36:00 +01:00 |
|
dffunmap.ys
|
Fix tests for check in equiv_opt
|
2022-10-07 16:04:51 +02:00 |
|
extractinv.ys
|
Added extractinv pass
|
2019-09-19 04:02:48 +02:00 |
|
han-carlson.tcl
|
techmap: test consistently with other equiv_make tests
|
2024-11-29 00:15:02 +01:00 |
|
iopadmap.ys
|
opt_clean: Make the init attribute follow the FF's Q.
|
2021-08-22 15:38:29 +02:00 |
|
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
|
Added tests/techmap/mem_simple_4x1
|
2014-02-21 12:06:40 +01:00 |
|
mem_simple_4x1_map.v
|
Added read-enable to memory model
|
2015-09-25 12:23:11 +02:00 |
|
mem_simple_4x1_runtest.sh
|
tests: use /usr/bin/env for bash.
|
2023-08-12 11:59:39 +10:00 |
|
mem_simple_4x1_tb.v
|
Added tests/techmap/mem_simple_4x1
|
2014-02-21 12:06:40 +01:00 |
|
mem_simple_4x1_uut.v
|
Added tests/techmap/mem_simple_4x1
|
2014-02-21 12:06:40 +01:00 |
|
pmux2mux.ys
|
Reenable existing equiv_opt tests
|
2022-10-07 16:04:51 +02:00 |
|
recursive.v
|
Add test
|
2019-08-20 20:05:16 -07:00 |
|
recursive_map.v
|
Add test
|
2019-08-20 20:05:16 -07:00 |
|
recursive_runtest.sh
|
Fix the tests we just broke
|
2021-12-10 00:22:37 +01:00 |
|
run-test.sh
|
test: restore verific handling, nicer naming
|
2024-12-13 10:24:47 +01:00 |
|
shiftx2mux.ys
|
Reenable existing equiv_opt tests
|
2022-10-07 16:04:51 +02:00 |
|
sklansky.tcl
|
techmap: add a Sklansky option for $lcu mapping
|
2024-12-02 11:34:58 +01:00 |
|
techmap_chtype.ys
|
techmap: add dynamic cell type test
|
2024-05-03 13:53:49 +02:00 |
|
techmap_replace.ys
|
techmap: Fix cell names with _TECHMAP_REPLACE_.*
|
2020-03-23 11:17:07 +01:00 |
|
wireinit.ys
|
Fix _TECHMAP_REMOVEINIT_ handling.
|
2019-09-27 18:34:12 +02:00 |
|
zinit.ys
|
Reenable existing equiv_opt tests
|
2022-10-07 16:04:51 +02:00 |
