gemmm2s_v2.sby

[tasks]
bmc
cover

[options]
bmc: mode bmc
bmc: depth 128
cover: mode cover
cover: depth 64

[engines]
smtbmc

[script]
read -define GEMMM2SV2_FORMAL
read -formal gemmm2s_v2.sv
read -formal last_beat_calc.sv
read -formal axi_addr_counter.sv
read -formal stream_join.sv
read -formal fifo.sv
read -formal skid_buffer.sv
read -formal register.sv
prep -top gemmm2s_v2

[files]
gemmm2s_v2.sv
last_beat_calc.sv
axi_addr_counter.sv
stream_join.sv
fifo.sv
skid_buffer.sv
register.sv