[tasks]
prf
cvr

[options]
prf: mode prove
prf: depth 20
cvr: mode cover
cvr: depth 40

[engines]
smtbmc

[script]
read -formal axisgfsm.v
read -formal faxil_master.v
# --pycode-begin--
# cmd = "hierarchy -top easyaxil"
# cmd += " -chparam OPT_SKIDBUFFER %d" % (1 if "opt_skidbuffer" in tags else 0)
# cmd += " -chparam OPT_LOWPOWER %d" % (1 if "opt_lowpower" in tags else 0)
# output(cmd);
# --pycode-end--
prep -top axisgfsm

[files]
../../rtl/axisgfsm.v
faxil_master.v