# rr_arbiter.sby
[tasks]
prove
cover

[options]
prove: mode prove
cover: mode cover
depth 12

[engines]
prove: abc pdr
cover: smtbmc

[script]
read -formal rr_arbiter.sv rr_arbiter_fv.sv
prep -top rr_arbiter_fv

[files]
rr_arbiter.sv
rr_arbiter_fv.sv