Subversion Repositories dblclockfft

[tasks]
one
two
three

[options]
mode prove
depth   23

[engines]
smtbmc

[script]
read_verilog -formal -DHWBFLY abs_mpy.v
read_verilog -formal -DHWBFLY convround.v
read_verilog -formal -DHWBFLY hwbfly.v

one:   chparam -set CKPCE 1 -set IWIDTH 4 -set CWIDTH 6 hwbfly
two:   chparam -set CKPCE 2 -set IWIDTH 4 -set CWIDTH 6 hwbfly
three: chparam -set CKPCE 3 -set IWIDTH 4 -set CWIDTH 6 hwbfly

prep -top hwbfly

[files]
abs_mpy.v
../../rtl/convround.v
../../rtl/hwbfly.v