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