OpenCores
URL https://opencores.org/ocsvn/dblclockfft/dblclockfft/trunk

Subversion Repositories dblclockfft

[/] [dblclockfft/] [trunk/] [bench/] [formal/] [butterfly.sby] - Blame information for rev 40

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 36 dgisselq 
[tasks]
2 
ck1
3 
ck2_r0
4 
ck2_r1
5 
ck3_r0
6 
ck3_r1
7 40 dgisselq 
ck3_r2
8 36 dgisselq 
 
9 
[options]
10 
mode prove
11 40 dgisselq 
depth   35
12 36 dgisselq 
 
13 
[engines]
14 40 dgisselq 
smtbmc boolector
15 36 dgisselq 
 
16 
[script]
17 40 dgisselq 
read -formal -DBUTTERFLY convround.v
18 
read -formal -DBUTTERFLY bimpy.v
19 
read -formal -DBUTTERFLY longbimpy.v
20 
read -formal -DBUTTERFLY butterfly.v
21 36 dgisselq 
 
22 
# While I'd love to change the width of the inputs and the coefficients,
23 
# doing so would adjust the width of the firmware multiplies, and so defeat
24 
# our purpose here.
25 
# ck1:    chparam -set CKPCE 1 butterfly
26 
ck1:    chparam -set CKPCE 1 -set CWIDTH 19 -set IWIDTH 15 butterfly
27 
#
28 
ck2_r0: chparam -set CKPCE 2 -set CWIDTH 20 -set IWIDTH 12 -set F_CHECK 1 butterfly
29 
ck2_r1: chparam -set CKPCE 2 -set CWIDTH 16 -set IWIDTH 6 -set F_CHECK 0 butterfly
30 
#
31 
ck3_r0: chparam -set CKPCE 3 -set CWIDTH 16 -set IWIDTH 12 -set F_CHECK 0 butterfly
32 
ck3_r1: chparam -set CKPCE 3 -set CWIDTH 18 -set IWIDTH 14 -set F_CHECK 1 butterfly
33 
ck3_r2: chparam -set CKPCE 3 -set CWIDTH 20 -set IWIDTH 16 -set F_CHECK 2 butterfly
34 
prep -top butterfly
35 
 
36 
[files]
37 
../../rtl/bimpy.v
38 
../../rtl/longbimpy.v
39 40 dgisselq 
../../rtl/convround.v
40 36 dgisselq 
../../rtl/butterfly.v

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.