# periodic_timer.sby
[tasks]
prove
cover

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

[engines]
prove: abc pdr
cover: smtbmc

[script]
read -formal periodic_timer.sv periodic_timer_fv.sv
prep -top periodic_timer_fv

[files]
periodic_timer.sv
periodic_timer_fv.sv