tests/opt/opt_lut.ys - third_party/yosys - Git at Google


            
            read_verilog opt_lut.v

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