verilog/rtl/softshell/third_party/wb2axip/bench/formal/apbslave.sby

[tasks]
prf
cvr

[options]
prf: mode prove
prf: depth 4
cvr: mode cover
cvr: depth 40

[engines]
smtbmc

[script]
read -formal apbslave.v
read -formal fapb_slave.v
prep -top apbslave

[files]
../../rtl/apbslave.v
fapb_slave.v