URL
https://opencores.org/ocsvn/dblclockfft/dblclockfft/trunk
Show entire file |
Details |
Blame |
View Log
| Rev 36 |
Rev 40 |
| Line 2... |
Line 2... |
ck1
|
ck1
|
ck2_r0
|
ck2_r0
|
ck2_r1
|
ck2_r1
|
ck3_r0
|
ck3_r0
|
ck3_r1
|
ck3_r1
|
|
ck3_r2
|
|
|
[options]
|
[options]
|
mode prove
|
mode prove
|
depth 30
|
depth 35
|
|
|
[engines]
|
[engines]
|
smtbmc
|
smtbmc boolector
|
|
|
[script]
|
[script]
|
read_verilog -formal -DHWBFLY abs_mpy.v
|
read -formal -DBUTTERFLY convround.v
|
read_verilog -formal -DHWBFLY convround.v
|
read -formal -DBUTTERFLY bimpy.v
|
read_verilog -formal -DHWBFLY longbimpy.v
|
read -formal -DBUTTERFLY longbimpy.v
|
read_verilog -formal -DHWBFLY bimpy.v
|
read -formal -DBUTTERFLY butterfly.v
|
read_verilog -formal -DHWBFLY butterfly.v
|
|
|
|
# While I'd love to change the width of the inputs and the coefficients,
|
# While I'd love to change the width of the inputs and the coefficients,
|
# doing so would adjust the width of the firmware multiplies, and so defeat
|
# doing so would adjust the width of the firmware multiplies, and so defeat
|
# our purpose here.
|
# our purpose here.
|
# ck1: chparam -set CKPCE 1 butterfly
|
# ck1: chparam -set CKPCE 1 butterfly
|
| Line 29... |
Line 29... |
ck2_r1: chparam -set CKPCE 2 -set CWIDTH 16 -set IWIDTH 6 -set F_CHECK 0 butterfly
|
ck2_r1: chparam -set CKPCE 2 -set CWIDTH 16 -set IWIDTH 6 -set F_CHECK 0 butterfly
|
#
|
#
|
ck3_r0: chparam -set CKPCE 3 -set CWIDTH 16 -set IWIDTH 12 -set F_CHECK 0 butterfly
|
ck3_r0: chparam -set CKPCE 3 -set CWIDTH 16 -set IWIDTH 12 -set F_CHECK 0 butterfly
|
ck3_r1: chparam -set CKPCE 3 -set CWIDTH 18 -set IWIDTH 14 -set F_CHECK 1 butterfly
|
ck3_r1: chparam -set CKPCE 3 -set CWIDTH 18 -set IWIDTH 14 -set F_CHECK 1 butterfly
|
ck3_r2: chparam -set CKPCE 3 -set CWIDTH 20 -set IWIDTH 16 -set F_CHECK 2 butterfly
|
ck3_r2: chparam -set CKPCE 3 -set CWIDTH 20 -set IWIDTH 16 -set F_CHECK 2 butterfly
|
|
|
prep -top butterfly
|
prep -top butterfly
|
|
|
[files]
|
[files]
|
abs_mpy.v
|
|
../../rtl/convround.v
|
|
../../rtl/bimpy.v
|
../../rtl/bimpy.v
|
../../rtl/longbimpy.v
|
../../rtl/longbimpy.v
|
|
../../rtl/convround.v
|
../../rtl/butterfly.v
|
../../rtl/butterfly.v
|
© copyright 1999-2024
OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.