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

Subversion Repositories dblclockfft

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

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 40 dgisselq
[tasks]
2
s2
3
s3
4
s4
5
s5
6
s6
7
 
8
[options]
9
mode prove
10
depth   12
11
 
12
[engines]
13
smtbmc
14
 
15
[script]
16
read -formal fftstage.v
17
s2: chparam -set LGSPAN 2
18
s3: chparam -set LGSPAN 3
19
s4: chparam -set LGSPAN 4
20
s5: chparam -set LGSPAN 5
21
s6: chparam -set LGSPAN 6
22
prep -top fftstage
23
 
24
[files]
25
../../rtl/fftstage.v

powered by: WebSVN 2.1.0

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