23 lines
342 B
Plaintext
23 lines
342 B
Plaintext
[options]
|
|
mode prove
|
|
depth 7 # minimum for 100MHz controller clk
|
|
#mode cover
|
|
#depth 50
|
|
|
|
[engines]
|
|
smtbmc
|
|
|
|
[script]
|
|
read -formal ddr3_controller.v
|
|
read -formal fwb_slave.v
|
|
read -formal ecc_dec.sv
|
|
read -formal ecc_enc.sv
|
|
prep -top ddr3_controller
|
|
|
|
|
|
[files]
|
|
./rtl/ddr3_controller.v
|
|
./formal/fwb_slave.v
|
|
./rtl/ecc/ecc_dec.sv
|
|
./rtl/ecc/ecc_enc.sv
|