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


[tasks]
cvr
prf
 
[options]
prf: mode prove
prf: depth 5
cvr: mode cover
cvr: depth 40
 
[engines]
smtbmc
 
[script]
read -formal -D AXLITE2WBSP axlite2wbsp.v
read -formal -D AXLITE2WBSP axilrd2wbsp.v
read -formal -D AXLITE2WBSP axilwr2wbsp.v
read -formal -D AXLITE2WBSP wbarbiter.v
read -formal -D AXLITE2WBSP faxil_slave.v
read -formal -D AXLITE2WBSP fwb_master.v
read -formal -D AXLITE2WBSP fwb_slave.v
prep -top axlite2wbsp
 
[files]
../../rtl/axlite2wbsp.v
../../rtl/axilrd2wbsp.v
../../rtl/axilwr2wbsp.v
../../rtl/wbarbiter.v
faxil_slave.v
fwb_master.v
fwb_slave.v

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`

Browse

Tools

Subversion Repositories wb2axip

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