gearbox.sby

[options]
mode prove
#mode bmc
#depth 32

multiclock off

[engines]
#smtbmc
abc pdr
#abc bmc3

[script]
read_ilang gearbox.il
prep -top top
proc
opt
fsm
flatten
show -format dot -notitle -prefix ./dotty.dot


[files]
gearbox.il