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

Subversion Repositories dblclockfft

[/] [dblclockfft/] [trunk/] [bench/] [formal/] [bitreverse.sby] - Blame information for rev 36

Details | Compare with Previous | View Log


[options]
mode prove
depth   12
 
[engines]
smtbmc
 
[script]
read_verilog -formal -DBITREVERSE bitreverse.v
prep -top bitreverse
 
[files]
../../rtl/bitreverse.v

Line No.	Rev	Author	Line
1	36	dgisselq	`[options]`
2			`mode prove`
3			`depth 12`
4
5			`[engines]`
6			`smtbmc`
7
8			`[script]`
9			`read_verilog -formal -DBITREVERSE bitreverse.v`
10			`prep -top bitreverse`
11
12			`[files]`
13			`../../rtl/bitreverse.v`

Browse

Tools

Subversion Repositories dblclockfft

[/] [dblclockfft/] [trunk/] [bench/] [formal/] [bitreverse.sby] - Blame information for rev 36