# sync_fifo.sby
[tasks]
prove
cover

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

[engines]
prove: abc pdr
cover: smtbmc

[script]
read -formal sync_fifo.sv sync_fifo_fv.sv
prep -top sync_fifo_fv

[files]
sync_fifo.sv
sync_fifo_fv.sv