drwxr-xr-x | .. | ||
-rw-r--r-- | 6 | .gitignore | 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-- | 167 | opt_ff_sat.v | blob | history | raw |
-rw-r--r-- | 95 | opt_ff_sat.ys | blob | history | raw |
-rw-r--r-- | 321 | opt_lut.v | blob | history | raw |
-rw-r--r-- | 130 | 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 |
-rwxr-xr-x | 98 | run-test.sh | blob | history | raw |