stream_join.sby

[tasks]
bmc
proof
cover

[options]
bmc: mode bmc
bmc: depth 20
proof: mode prove
proof: depth 20
cover: mode cover
cover: depth 100

[engines]
smtbmc

[script]
read -define STREAMJOIN_FORMAL
read -formal stream_join.sv
read -formal skid_buffer.sv
read -formal fifo.sv
read -formal register.sv
prep -top stream_join

[files]
stream_join.sv
skid_buffer.sv
fifo.sv
register.sv