projects / yosys.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge pull request #1267 from whitequark/proc_prune-fix-1243
[yosys.git] / tests / opt / opt_lut.ys
1 read_verilog opt_lut.v
2 equiv_opt -map +/ice40/cells_sim.v -assert synth_ice40