Mode | Name | Size | |
-rw-r--r-- | .gitignore | 18 | logstatsplain |
-rw-r--r-- | bug1525.ys | 145 | logstatsplain |
-rw-r--r-- | bug1758.ys | 470 | logstatsplain |
-rw-r--r-- | bug1854.ys | 296 | logstatsplain |
-rw-r--r-- | bug2010.ys | 169 | logstatsplain |
-rw-r--r-- | bug2221.ys | 224 | logstatsplain |
-rw-r--r-- | bug2311.ys | 144 | logstatsplain |
-rw-r--r-- | bug2318.ys | 219 | logstatsplain |
-rw-r--r-- | bug2623.ys | 155 | logstatsplain |
-rw-r--r-- | bug2765.ys | 464 | logstatsplain |
-rw-r--r-- | bug2766.ys | 1200 | logstatsplain |
-rw-r--r-- | bug2824.ys | 187 | logstatsplain |
-rw-r--r-- | bug2920.ys | 748 | logstatsplain |
-rw-r--r-- | bug3047.ys | 163 | logstatsplain |
-rw-r--r-- | bug3117.ys | 555 | logstatsplain |
-rw-r--r-- | memory_bmux2rom.ys | 472 | logstatsplain |
-rw-r--r-- | memory_dff_trans.ys | 14051 | logstatsplain |
-rw-r--r-- | memory_map_offset.ys | 1346 | logstatsplain |
-rw-r--r-- | opt_clean_init.ys | 238 | logstatsplain |
-rw-r--r-- | opt_clean_mem.ys | 835 | logstatsplain |
-rw-r--r-- | opt_dff_arst.ys | 2828 | logstatsplain |
-rw-r--r-- | opt_dff_clk.ys | 1907 | logstatsplain |
-rw-r--r-- | opt_dff_const.ys | 2556 | logstatsplain |
-rw-r--r-- | opt_dff_dffmux.ys | 3138 | logstatsplain |
-rw-r--r-- | opt_dff_en.ys | 6220 | logstatsplain |
-rw-r--r-- | opt_dff_mux.ys | 3280 | logstatsplain |
-rw-r--r-- | opt_dff_qd.ys | 2546 | logstatsplain |
-rw-r--r-- | opt_dff_sr.ys | 9649 | logstatsplain |
-rw-r--r-- | opt_dff_srst.ys | 3292 | logstatsplain |
-rw-r--r-- | opt_expr.ys | 7793 | logstatsplain |
-rw-r--r-- | opt_expr_alu.ys | 3257 | logstatsplain |
-rw-r--r-- | opt_expr_and.ys | 2075 | logstatsplain |
-rw-r--r-- | opt_expr_cmp.v | 1065 | logstatsplain |
-rw-r--r-- | opt_expr_cmp.ys | 129 | logstatsplain |
-rw-r--r-- | opt_expr_combined_assign.ys | 1711 | logstatsplain |
-rw-r--r-- | opt_expr_constconn.v | 96 | logstatsplain |
-rw-r--r-- | opt_expr_constconn.ys | 224 | logstatsplain |
-rw-r--r-- | opt_expr_consumex.ys | 642 | logstatsplain |
-rw-r--r-- | opt_expr_or.ys | 2071 | logstatsplain |
-rw-r--r-- | opt_expr_xnor.ys | 3235 | logstatsplain |
-rw-r--r-- | opt_expr_xor.ys | 3166 | logstatsplain |
-rw-r--r-- | opt_lut.v | 321 | logstatsplain |
-rw-r--r-- | opt_lut.ys | 78 | logstatsplain |
-rw-r--r-- | opt_lut_elim.il | 337 | logstatsplain |
-rw-r--r-- | opt_lut_elim.ys | 65 | logstatsplain |
-rw-r--r-- | opt_lut_ins.ys | 306 | logstatsplain |
-rw-r--r-- | opt_lut_port.il | 363 | logstatsplain |
-rw-r--r-- | opt_lut_port.ys | 65 | logstatsplain |
-rw-r--r-- | opt_mem_feedback.ys | 2375 | logstatsplain |
-rw-r--r-- | opt_mem_priority.ys | 3283 | logstatsplain |
-rw-r--r-- | opt_merge_init.ys | 1949 | logstatsplain |
-rw-r--r-- | opt_merge_keep.ys | 897 | logstatsplain |
-rw-r--r-- | opt_reduce_bmux.ys | 1923 | logstatsplain |
-rw-r--r-- | opt_reduce_demux.ys | 1419 | logstatsplain |
-rw-r--r-- | opt_rmdff.v | 4380 | logstatsplain |
-rw-r--r-- | opt_rmdff.ys | 794 | logstatsplain |
-rw-r--r-- | opt_rmdff_sat.v | 167 | logstatsplain |
-rw-r--r-- | opt_rmdff_sat.ys | 108 | logstatsplain |
-rw-r--r-- | opt_share_add_sub.v | 158 | logstatsplain |
-rw-r--r-- | opt_share_add_sub.ys | 345 | logstatsplain |
-rw-r--r-- | opt_share_bug2334.ys | 203 | logstatsplain |
-rw-r--r-- | opt_share_bug2335.ys | 342 | logstatsplain |
-rw-r--r-- | opt_share_bug2336.ys | 205 | logstatsplain |
-rw-r--r-- | opt_share_bug2538.ys | 218 | logstatsplain |
-rw-r--r-- | opt_share_cat.v | 271 | logstatsplain |
-rw-r--r-- | opt_share_cat.ys | 341 | logstatsplain |
-rw-r--r-- | opt_share_cat_multiuser.v | 453 | logstatsplain |
-rw-r--r-- | opt_share_cat_multiuser.ys | 351 | logstatsplain |
-rw-r--r-- | opt_share_diff_port_widths.v | 395 | logstatsplain |
-rw-r--r-- | opt_share_diff_port_widths.ys | 354 | logstatsplain |
-rw-r--r-- | opt_share_extend.v | 337 | logstatsplain |
-rw-r--r-- | opt_share_extend.ys | 344 | logstatsplain |
-rw-r--r-- | opt_share_large_pmux_cat.v | 390 | logstatsplain |
-rw-r--r-- | opt_share_large_pmux_cat.ys | 352 | logstatsplain |
-rw-r--r-- | opt_share_large_pmux_cat_multipart.v | 501 | logstatsplain |
-rw-r--r-- | opt_share_large_pmux_cat_multipart.ys | 363 | logstatsplain |
-rw-r--r-- | opt_share_large_pmux_multipart.v | 405 | logstatsplain |
-rw-r--r-- | opt_share_large_pmux_multipart.ys | 358 | logstatsplain |
-rw-r--r-- | opt_share_large_pmux_part.v | 360 | logstatsplain |
-rw-r--r-- | opt_share_large_pmux_part.ys | 353 | logstatsplain |
-rw-r--r-- | opt_share_mux_tree.v | 302 | logstatsplain |
-rw-r--r-- | opt_share_mux_tree.ys | 346 | logstatsplain |
-rwxr-xr-x | run-test.sh | 78 | logstatsplain |