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

Subversion Repositories wbuart32

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


[options]
mode prove
 
[engines]
smtbmc
 
[script]
read -formal -DUFIFO ufifo.v
prep -top ufifo
 
[files]
../../rtl/ufifo.v

Line No.	Rev	Author	Line
1	25	dgisselq	`[options]`
2			`mode prove`
3
4			`[engines]`
5			`smtbmc`
6
7			`[script]`
8	26	dgisselq	`read -formal -DUFIFO ufifo.v`
9	25	dgisselq	`prep -top ufifo`
10
11			`[files]`
12			`../../rtl/ufifo.v`