8 lines
70 B
Plaintext
8 lines
70 B
Plaintext
read_verilog mig.v
|
|
proc
|
|
opt
|
|
techmap
|
|
opt
|
|
abc
|
|
aigmap
|
|
write_aiger aig.aig |