read_verilog mig.v
hierarchy
proc; opt; memory; opt; techmap; opt
write_blif formal.blif