OpenCores
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

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

powered by: WebSVN 2.1.0

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