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