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


[tasks]
s2
s3
s4
s5
s6
 
[options]
mode prove
depth   12
 
[engines]
smtbmc
 
[script]
read -formal fftstage.v
s2: chparam -set LGSPAN 2
s3: chparam -set LGSPAN 3
s4: chparam -set LGSPAN 4
s5: chparam -set LGSPAN 5
s6: chparam -set LGSPAN 6
prep -top fftstage
 
[files]
../../rtl/fftstage.v

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`

Browse

Tools

Subversion Repositories dblclockfft

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