| .. |
|
.gitignore
|
|
|
|
bug1525.ys
|
|
|
|
bug1758.ys
|
|
|
|
bug1854.ys
|
|
|
|
bug2010.ys
|
|
|
|
bug2221.ys
|
|
|
|
bug2311.ys
|
|
|
|
bug2318.ys
|
|
|
|
bug2623.ys
|
|
|
|
bug2765.ys
|
proc_memwr: Use the v2 memwr cell.
|
2021-08-11 13:34:10 +02:00 |
|
bug2766.ys
|
|
|
|
bug2824.ys
|
|
|
|
bug2920.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13: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 |
|
bug3848.ys
|
opt_share: Fix input confusion with ANDNOT, ORNOT gates
|
2023-07-20 20:58:52 +01:00 |
|
bug3867.ys
|
opt_expr: Fix 'signed X>=0' replacement for wide output ports
|
2023-08-01 13:50:12 +01:00 |
|
bug4413.ys
|
peepopt: avoid shift-amount underflow
|
2024-06-13 23:30:07 +02:00 |
|
memory_bmux2rom.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
memory_dff_trans.ys
|
memory_share: Add -nosat and -nowiden options.
|
2021-08-14 00:09:04 +02:00 |
|
memory_map_offset.ys
|
|
|
|
opt_clean_init.ys
|
|
|
|
opt_clean_mem.ys
|
proc_memwr: Use the v2 memwr cell.
|
2021-08-11 13:34:10 +02:00 |
|
opt_dff_arst.ys
|
|
|
|
opt_dff_clk.ys
|
|
|
|
opt_dff_const.ys
|
|
|
|
opt_dff_dffmux.ys
|
|
|
|
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
|
tests: Remove part of test involving combinational loops
|
2024-03-11 10:45:36 +01: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
|
|
|
|
opt_expr.ys
|
|
|
|
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_constconn.ys
|
|
|
|
opt_expr_consumex.ys
|
|
|
|
opt_expr_or.ys
|
|
|
|
opt_expr_xnor.ys
|
simplemap: Map $xnor to $_XNOR_ cells
|
2022-11-29 19:06:45 +01:00 |
|
opt_expr_xor.ys
|
simplemap: Map $xnor to $_XNOR_ cells
|
2022-11-29 19:06:45 +01:00 |
|
opt_lut.v
|
|
|
|
opt_lut.ys
|
|
|
|
opt_lut_elim.il
|
|
|
|
opt_lut_elim.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
opt_lut_ins.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
opt_lut_port.il
|
|
|
|
opt_lut_port.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
opt_mem_feedback.ys
|
|
|
|
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
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
opt_reduce_demux.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
opt_rmdff.v
|
|
|
|
opt_rmdff.ys
|
|
|
|
opt_rmdff_sat.v
|
|
|
|
opt_rmdff_sat.ys
|
|
|
|
opt_share_add_sub.v
|
|
|
|
opt_share_add_sub.ys
|
|
|
|
opt_share_bug2334.ys
|
|
|
|
opt_share_bug2335.ys
|
|
|
|
opt_share_bug2336.ys
|
|
|
|
opt_share_bug2538.ys
|
|
|
|
opt_share_cat.v
|
|
|
|
opt_share_cat.ys
|
|
|
|
opt_share_cat_multiuser.v
|
|
|
|
opt_share_cat_multiuser.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.v
|
|
|
|
opt_share_large_pmux_cat.ys
|
|
|
|
opt_share_large_pmux_cat_multipart.v
|
|
|
|
opt_share_large_pmux_cat_multipart.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: use /usr/bin/env for bash.
|
2023-08-12 11:59:39 +10:00 |
