[tasks]
prf     prf
prf_r	prf                 opt_read_on_empty
prf_w	prf                                   opt_write_on_full
prf_wr	prf                 opt_read_on_empty opt_write_on_full
prf_a	prf opt_async_read
prf_ar	prf opt_async_read opt_read_on_empty
prf_aw	prf opt_async_read                   opt_write_on_full
prf_awr	prf opt_async_read opt_read_on_empty opt_write_on_full
cvr

[options]
cvr: mode cover
cvr: depth 22
prf: mode prove
prf: depth 4

[engines]
smtbmc

[script]
read -define SFIFO
read -formal sfifo.v
--pycode-begin--
cmd = "hierarchy -top sfifo"
cmd += " -chparam OPT_ASYNC_READ  %d" % ( 1 if "opt_async_read" in tags else 0)
cmd += " -chparam OPT_WRITE_ON_FULL  %d" % ( 1 if "opt_write_on_full" in tags else 0)
cmd += " -chparam OPT_READ_ON_EMPTY  %d" % ( 1 if "opt_read_on_empty" in tags else 0)
output(cmd)
--pycode-end--
prep -top sfifo

[files]
../../rtl/sfifo.v