# credit_counter.sby — SymbiYosys run script (see the Labs page)
[tasks]
prove
cover

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

[engines]
smtbmc

[script]
read -formal credit_counter.sv credit_counter_fv.sv
prep -top credit_counter_fv

[files]
credit_counter.sv
credit_counter_fv.sv