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

Subversion Repositories dblclockfft

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

Details | Compare with Previous | View Log


[tasks]
cover
proof
 
[options]
proof: mode prove
proof: depth 10
cover: mode cover
cover: depth 60
 
[engines]
smtbmc
 
[script]
read_verilog -formal -DWINDOWFN windowfn.v
prep -top windowfn
 
[files]
../../rtl/windowfn.v

Line No.	Rev	Author	Line
1	40	dgisselq	`[tasks]`
2			`cover`
3			`proof`
4
5			`[options]`
6			`proof: mode prove`
7			`proof: depth 10`
8			`cover: mode cover`
9			`cover: depth 60`
10
11			`[engines]`
12			`smtbmc`
13
14			`[script]`
15			`read_verilog -formal -DWINDOWFN windowfn.v`
16			`prep -top windowfn`
17
18			`[files]`
19			`../../rtl/windowfn.v`

Browse

Tools

Subversion Repositories dblclockfft

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