read -sv ../top.sv
proc
write_verilog synth.v