[options]
mode bmc
depth 100

[engines]
smtbmc

[script]
read -incdir ../../../../../include/verilog
read -formal -sv dmac.v
prep -top dmac

[files]
dmac.v
