mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-10 03:07:14 +00:00
Code Activity
yosys/tests/techmap
History
Martin Povišer 93988ef5df tests: Extend aigmap.ys with SAT comparison 
Extend the aigmap.ys test with SAT-based comparison of the original
cells and their AIG implementations.

This tests both the usual cells and the single-bit Yosys gates.
2023-07-31 16:26:50 +02: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 tests: Extend aigmap.ys with SAT comparison 2023-07-31 16:26:50 +02:00
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.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: 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.v
recursive_map.v
recursive_runtest.sh Fix the tests we just broke 2021-12-10 00:22:37 +01:00
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