drwxr-xr-x | .. | ||
-rw-r--r-- | 6 | .gitignore | blob | history | raw |
-rw-r--r-- | 2919 | opt_expr.ys | blob | history | raw |
-rw-r--r-- | 1065 | opt_expr_cmp.v | blob | history | raw |
-rw-r--r-- | 129 | opt_expr_cmp.ys | blob | history | raw |
-rw-r--r-- | 321 | opt_lut.v | blob | history | raw |
-rw-r--r-- | 78 | opt_lut.ys | blob | history | raw |
-rw-r--r-- | 337 | opt_lut_elim.il | blob | history | raw |
-rw-r--r-- | 65 | opt_lut_elim.ys | blob | history | raw |
-rw-r--r-- | 363 | opt_lut_port.il | blob | history | raw |
-rw-r--r-- | 65 | opt_lut_port.ys | blob | history | raw |
-rw-r--r-- | 4406 | opt_rmdff.v | blob | history | raw |
-rw-r--r-- | 446 | opt_rmdff.ys | blob | history | raw |
-rw-r--r-- | 167 | opt_rmdff_sat.v | blob | history | raw |
-rw-r--r-- | 98 | opt_rmdff_sat.ys | blob | history | raw |
-rwxr-xr-x | 98 | run-test.sh | blob | history | raw |