[tasks]
check_top
check_subm
monolithic

[options]
mode prove

[engines]
smtbmc

[script]
read -noverific
check_top:
read -define AG_CHECK_TOP=1 
read -sv cyclic.sv
prep -top cyclic
cutpoint subm/y
--
check_subm:
read -define AG_CHECK_SUBM=1 
read -sv cyclic.sv
prep -top subm
--
monolithic:
read -define MONOLITHIC=1
read -sv cyclic.sv
prep -top cyclic
--
[files]
cyclic.sv