yosys/tests/opt/opt_lut.ys

3 lines
78 B
Plaintext

read_verilog opt_lut.v
equiv_opt -map +/ice40/cells_sim.v -assert synth_ice40