last_beat_calc.sby

[tasks]
bmc
proof
cover

[options]
bmc: mode bmc
bmc: depth 64
proof: mode prove
proof: depth 64
cover: mode cover
cover: depth 300

[engines]
smtbmc

[script]
read -define LASTBEATCALC_FORMAL
read -formal last_beat_calc.sv
read -formal skid_buffer.sv
read -formal register.sv
prep -top last_beat_calc

[files]
last_beat_calc.sv
skid_buffer.sv
register.sv