N. Engelhardt ecfa7e9fbc add pmux option to bmuxmap for better fsm detection with verific frontend

2023-01-30 16:12:53 +01:00

..

.gitignore

opt_mem: Remove constant-value bit lanes.

2022-05-07 23:13:16 +02:00

abc9.ys

…

adff2dff.ys

Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

aigmap.ys

…

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

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

cellname.ys

techmap: Add _TECHMAP_CELLNAME_ special parameter.

2020-07-21 15:00:54 +02:00

clkbufmap.ys

…

cmp2lcu.ys

…

dff2ff.ys

Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

dffinit.ys

…

dfflegalize_adff_init.ys

dfflegalize: Add tests targetting aldff.

2021-10-27 14:14:01 +02:00

dfflegalize_adff.ys

dfflegalize: Add tests targetting aldff.

2021-10-27 14:14:01 +02:00

dfflegalize_adlatch_init.ys

Fix tests for check in equiv_opt

2022-10-07 16:04:51 +02:00

dfflegalize_adlatch.ys

Fix tests for check in equiv_opt

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

Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

dfflegalize_dff_init.ys

dfflegalize: Add tests targetting aldff.

2021-10-27 14:14:01 +02:00

dfflegalize_dff.ys

dfflegalize: Add tests targetting aldff.

2021-10-27 14:14:01 +02:00

dfflegalize_dffsr_init.ys

Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

dfflegalize_dffsr.ys

clk2fflogic: Support all FF types.

2020-07-24 03:19:48 +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_dlatch.ys

dfflegalize: Add tests targetting aldff.

2021-10-27 14:14:01 +02:00

dfflegalize_dlatchsr_init.ys

Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

dfflegalize_dlatchsr.ys

clk2fflogic: Support all FF types.

2020-07-24 03:19:48 +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_init.ys

Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

dfflegalize_sr.ys

dfflegalize: Refactor, add aldff support.

2021-10-27 14:14:01 +02:00

dfflibmap-sim.v

dfflibmap: Refactor to use dfflegalize internally.

2020-07-09 18:51:03 +02:00

dfflibmap.lib

dfflibmap: Refactor to use dfflegalize internally.

2020-07-09 18:51:03 +02:00

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

opt_clean: Make the init attribute follow the FF's Q.

2021-08-22 15:38:29 +02:00

mem_simple_4x1_cells.v

…

mem_simple_4x1_map.v

…

mem_simple_4x1_runtest.sh

opt_mem: Remove constant-value bit lanes.

2022-05-07 23:13:16 +02:00

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

…

recursive_runtest.sh

Fix the tests we just broke

2021-12-10 00:22:37 +01:00

recursive.v

…

run-test.sh

tests: Centralize test collection and Makefile generation

2020-09-21 15:07:02 +02:00

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