read_verilog mig.v
proc
opt
techmap
opt
abc
aigmap
write_aiger aig.aig