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

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] [bench/] [formal/] [txuartlite.sby] - Blame information for rev 26

Details | Compare with Previous | View Log


[tasks]
cvr
prf
 
[options]
prf: mode prove
cvr: mode cover
depth 90
 
[engines]
smtbmc boolector
 
[script]
read -formal -DTXUARTLITE txuartlite.v
prep -top txuartlite
 
[files]
../../rtl/txuartlite.v

Line No.	Rev	Author	Line
1	22	dgisselq	`[tasks]`
2	26	dgisselq	`cvr`
3			`prf`
4	22	dgisselq
5			`[options]`
6	26	dgisselq	`prf: mode prove`
7			`cvr: mode cover`
8	22	dgisselq	`depth 90`
9
10			`[engines]`
11	26	dgisselq	`smtbmc boolector`
12	22	dgisselq
13			`[script]`
14	26	dgisselq	`read -formal -DTXUARTLITE txuartlite.v`
15	22	dgisselq	`prep -top txuartlite`
16
17			`[files]`
18	23	dgisselq	`../../rtl/txuartlite.v`

Browse

Tools

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] [bench/] [formal/] [txuartlite.sby] - Blame information for rev 26