read_verilog ../top.v synth -top top muxcover -mux4 -nodecode
tee -o result.log dump
write_verilog synth.v