verilog_defaults -add "../top.v"
verilog_defaults -push
read_verilog
proc
write_verilog synth.v