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

Subversion Repositories dblclockfft

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

Details | Compare with Previous | View Log


[options]
mode prove
depth   20
 
[engines]
smtbmc boolector
 
[script]
read_verilog -formal -DQTRSTAGE convround.v
read_verilog -formal -DQTRSTAGE qtrstage.v
chparam -set IWIDTH 3 -set OWIDTH 4 qtrstage
prep -top qtrstage
 
[files]
../../rtl/qtrstage.v
../../rtl/convround.v

Line No.	Rev	Author	Line
1	36	dgisselq	`[options]`
2			`mode prove`
3			`depth 20`
4
5			`[engines]`
6			`smtbmc boolector`
7
8			`[script]`
9			`read_verilog -formal -DQTRSTAGE convround.v`
10			`read_verilog -formal -DQTRSTAGE qtrstage.v`
11			`chparam -set IWIDTH 3 -set OWIDTH 4 qtrstage`
12			`prep -top qtrstage`
13
14			`[files]`
15			`../../rtl/qtrstage.v`
16			`../../rtl/convround.v`

Browse

Tools

Subversion Repositories dblclockfft

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