read_verilog -sv ../top.v
proc
write_blif -top u blif1.blif