github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-11 02:49:49 +00:00
Code Issues Releases Wiki Activity
Files
11fe4d0862a7c9ca8c72723afecdc025255c2b3a
YosysHQ.yosys/tests/opt
History
Jannis Harder 0113f44faa Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
..
.gitignore
tests: add gitignores for auto-generated makefiles
2020-09-26 16:28:24 +02:00
bug1525.ys
…
bug1758.ys
…
bug1854.ys
Add new helper class for merging FFs into cells, use for memory_dff.
2021-05-23 14:46:59 +02:00
bug2010.ys
…
bug2221.ys
…
bug2311.ys
opt_expr: Fix handling of $_XNOR_ cells with A = B.
2020-07-29 12:41:43 +02:00
bug2318.ys
peepopt.muldiv: Add a signedness check.
2020-08-04 16:30:24 +02:00
bug2623.ys
rtlil: Disallow 0-width chunks in SigSpec.
2021-03-15 17:16:24 +01:00
bug2765.ys
proc_memwr: Use the v2 memwr cell.
2021-08-11 13:34:10 +02:00
bug2766.ys
opt_mem_feedback: Rewrite feedback path finding logic.
2021-05-24 23:20:30 +02:00
bug2824.ys
Add regression test for #2824.
2021-06-11 12:06:35 +01:00
bug2920.ys
opt_merge: Use FfInitVals.
2021-08-08 01:19:22 +02:00
bug3047.ys
extract_reduce: Refactor and fix input signal construction.
2021-10-21 04:10:01 +02:00
bug3117.ys
memory_share: Fix SAT-based sharing for wide ports.
2021-12-20 18:40:14 +01:00
memory_bmux2rom.ys
Add memory_bmux2rom pass.
2022-05-18 22:48:55 +02:00
memory_dff_trans.ys
memory_share: Add -nosat and -nowiden options.
2021-08-14 00:09:04 +02:00
memory_map_offset.ys
memory_map: Improve start_offset handling.
2021-05-31 17:45:21 +02:00
opt_clean_init.ys
opt_clean: Remove init attribute bits together with removed DFFs.
2021-03-15 17:16:53 +01:00
opt_clean_mem.ys
proc_memwr: Use the v2 memwr cell.
2021-08-11 13:34:10 +02:00
opt_dff_arst.ys
Add opt_dff pass.
2020-07-30 18:27:04 +02:00
opt_dff_clk.ys
Add opt_dff pass.
2020-07-30 18:27:04 +02:00
opt_dff_const.ys
Add opt_dff pass.
2020-07-30 18:27:04 +02:00
opt_dff_dffmux.ys
peepopt: Remove now-redundant dffmux pattern.
2020-08-07 13:21:34 +02:00
opt_dff_en.ys
Fix tests for check in equiv_opt
2022-10-07 16:04:51 +02:00
opt_dff_mux.ys
Fix tests for check in equiv_opt
2022-10-07 16:04:51 +02:00
opt_dff_qd.ys
Fix tests for check in equiv_opt
2022-10-07 16:04:51 +02:00
opt_dff_sr.ys
Re-enable opt_dff_sr equiv_opt checks
2022-10-07 16:04:51 +02:00
opt_dff_srst.ys
Add opt_dff pass.
2020-07-30 18:27:04 +02:00
opt_expr_alu.ys
…
opt_expr_and.ys
…
opt_expr_cmp.v
…
opt_expr_cmp.ys
…
opt_expr_combined_assign.ys
…
opt_expr_constconn.v
opt_expr: Propagate constants to port connections.
2021-07-27 20:44:26 +02:00
opt_expr_constconn.ys
opt_expr: Propagate constants to port connections.
2021-07-27 20:44:26 +02:00
opt_expr_consumex.ys
…
opt_expr_or.ys
…
opt_expr_xnor.ys
…
opt_expr_xor.ys
Reenable existing equiv_opt tests
2022-10-07 16:04:51 +02:00
opt_expr.ys
…
opt_lut_elim.il
…
opt_lut_elim.ys
…
opt_lut_ins.ys
…
opt_lut_port.il
…
opt_lut_port.ys
…
opt_lut.v
…
opt_lut.ys
…
opt_mem_feedback.ys
Add v2 memory cells.
2021-08-11 13:34:10 +02:00
opt_mem_priority.ys
memory_share: Add -nosat and -nowiden options.
2021-08-14 00:09:04 +02:00
opt_merge_init.ys
opt_merge: Add -keepdc option required for formal verification
2022-04-01 21:03:20 +02:00
opt_merge_keep.ys
…
opt_reduce_bmux.ys
opt_reduce: Add $bmux and $demux optimization patterns.
2022-01-30 03:37:52 +01:00
opt_reduce_demux.ys
opt_reduce: Add $bmux and $demux optimization patterns.
2022-01-30 03:37:52 +01:00
opt_rmdff_sat.v
…
opt_rmdff_sat.ys
Add opt_dff pass.
2020-07-30 18:27:04 +02:00
opt_rmdff.v
…
opt_rmdff.ys
Add opt_dff pass.
2020-07-30 18:27:04 +02:00
opt_share_add_sub.v
…
opt_share_add_sub.ys
…
opt_share_bug2334.ys
opt_share: Refactor, fix some bugs.
2020-08-17 17:26:36 +02:00
opt_share_bug2335.ys
opt_share: Refactor, fix some bugs.
2020-08-17 17:26:36 +02:00
opt_share_bug2336.ys
opt_share: Refactor, fix some bugs.
2020-08-17 17:26:36 +02:00
opt_share_bug2538.ys
opt_share: Fix X and CO signal width for shifted $alu in opt_share.
2021-01-14 14:54:08 +01:00
opt_share_cat_multiuser.v
…
opt_share_cat_multiuser.ys
…
opt_share_cat.v
…
opt_share_cat.ys
…
opt_share_diff_port_widths.v
…
opt_share_diff_port_widths.ys
…
opt_share_extend.v
…
opt_share_extend.ys
…
opt_share_large_pmux_cat_multipart.v
…
opt_share_large_pmux_cat_multipart.ys
…
opt_share_large_pmux_cat.v
…
opt_share_large_pmux_cat.ys
…
opt_share_large_pmux_multipart.v
…
opt_share_large_pmux_multipart.ys
…
opt_share_large_pmux_part.v
…
opt_share_large_pmux_part.ys
…
opt_share_mux_tree.v
…
opt_share_mux_tree.ys
…
run-test.sh
tests: Centralize test collection and Makefile generation
2020-09-21 15:07:02 +02:00