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

Subversion Repositories wb2axip

[/] [wb2axip/] [trunk/] [bench/] [formal/] [axlite2wbsp.sby] - Blame information for rev 16

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 16 dgisselq
[tasks]
2
cvr
3
prf
4
 
5
[options]
6
prf: mode prove
7
prf: depth 5
8
cvr: mode cover
9
cvr: depth 40
10
 
11
[engines]
12
smtbmc
13
 
14
[script]
15
read -formal -D AXLITE2WBSP axlite2wbsp.v
16
read -formal -D AXLITE2WBSP axilrd2wbsp.v
17
read -formal -D AXLITE2WBSP axilwr2wbsp.v
18
read -formal -D AXLITE2WBSP wbarbiter.v
19
read -formal -D AXLITE2WBSP faxil_slave.v
20
read -formal -D AXLITE2WBSP fwb_master.v
21
read -formal -D AXLITE2WBSP fwb_slave.v
22
prep -top axlite2wbsp
23
 
24
[files]
25
../../rtl/axlite2wbsp.v
26
../../rtl/axilrd2wbsp.v
27
../../rtl/axilwr2wbsp.v
28
../../rtl/wbarbiter.v
29
faxil_slave.v
30
fwb_master.v
31
fwb_slave.v

powered by: WebSVN 2.1.0

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