axi_addr_counter.sby

[tasks]
bmc
proof
cover

[options]
bmc: mode bmc
bmc: depth 10
proof: mode prove
proof: depth 10
cover: mode cover
cover: depth 64
cover: append 4

[engines]
smtbmc

[script]
read -define AXIADDRCOUNTER_FORMAL
read -formal axi_addr_counter.sv
read -formal skid_buffer.sv
read -formal register.sv
prep -top axi_addr_counter

[files]
axi_addr_counter.sv
skid_buffer.sv
register.sv