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

[tasks]
prf
cvr

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

[engines]
smtbmc boolector

[script]
read -formal skidbuffer.v
read -formal sfifo.v
read -formal axi_addr.v
read -formal aximrd2wbsp.v
read -formal fwb_master.v
read -formal faxi_slave.v
prep -top aximrd2wbsp


[files]
../../rtl/sfifo.v
../../rtl/skidbuffer.v
../../rtl/axi_addr.v
../../rtl/aximrd2wbsp.v
fwb_master.v
faxi_slave.v