blob: a6df3b2a422142d7c4e865865aace26ba524e6d3 [file]
verilog_defaults -add "../top.v"
verilog_defaults -push
verilog_defaults -pop
read_verilog
proc
write_verilog synth.v