[tasks]
prfrlp prf opt_registered opt_lowpower
prfr   prf opt_registered
prfc   prf
cvrrlp cvr opt_registered opt_lowpower
cvrr   cvr opt_registered
cvrc   cvr

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

[engines]
smtbmc

[script]
read -define ADDRDECODE
read -formal addrdecode.v
--pycode-begin--
cmd = "hierarchy -top addrdecode"
cmd += " -chparam OPT_LOWPOWER   %d" % (1 if "opt_lowpower"   in tags else 0)
cmd += " -chparam OPT_REGISTERED %d" % (1 if "opt_registered" in tags else 0)
output(cmd)
--pycode-end--
prep -top addrdecode

[files]
../../rtl/addrdecode.v