# lift_ctrl.sby — covers and safety (liveness needs a tool with s_eventually support)
[tasks]
cover
prove

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

[engines]
cover: smtbmc
prove: abc pdr

[script]
read -formal lift_ctrl.sv lift_ctrl_fv.sv
prep -top lift_ctrl_fv

[files]
lift_ctrl.sv
lift_ctrl_fv.sv