whitequark bf8db55ef3 opt_expr: improve simplification of comparisons with large constants. ... The idea behind this simplification is that a N-bit signal X being compared with an M-bit constant where M>N and the constant has Nth or higher bit set, it either always succeeds or always fails. However, the existing implementation only worked with one-hot signals for some reason. It also printed incorrect messages. This commit adjusts the simplification to have as much power as possible, and fixes other bugs.		2019-01-02 15:45:28 +00:00
..
.gitignore
opt_expr_cmp.v	opt_expr: improve simplification of comparisons with large constants.	2019-01-02 15:45:28 +00:00
opt_expr_cmp.ys
opt_lut.v
opt_lut.ys
opt_lut_elim.il
opt_lut_elim.ys
opt_lut_port.il
opt_lut_port.ys
run-test.sh