read_verilog -sv ../top3.v
proc
write_edif -nogndvcc blif1.blif