read_verilog ../top.v synth -top top abc -lut 2:5 nlutmap
tee -o result.log dump
write_verilog synth.v