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

[tasks]
prf
cvr

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

[engines]
smtbmc boolector
# prf: abc pdr

[script]
read -formal addrdecode.v
read -formal axildouble.v
read -formal faxil_slave.v
read -formal faxil_master.v
read -formal sfifo.v
read -formal skidbuffer.v
prep -top axildouble

[files]
../../rtl/sfifo.v
../../rtl/skidbuffer.v
../../rtl/addrdecode.v
../../rtl/axildouble.v
faxil_slave.v
faxil_master.v