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

Subversion Repositories dblclockfft

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

Details | Compare with Previous | View Log


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

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

Browse

Tools

Subversion Repositories dblclockfft

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