[options]
mode bmc
depth 15
multiclock on

[engines]
smtbmc

[script]
read_verilog -sv -formal dpmem.sv
prep -nordff -top top
chformal -early -assume

[files]
dpmem.sv