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

Subversion Repositories dblclockfft

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

Details | Compare with Previous | View Log


[tasks]
one
two
three
 
[options]
mode prove
depth   23
 
[engines]
smtbmc
 
[script]
read_verilog -formal -DHWBFLY abs_mpy.v
read_verilog -formal -DHWBFLY convround.v
read_verilog -formal -DHWBFLY hwbfly.v
 
one:   chparam -set CKPCE 1 -set IWIDTH 4 -set CWIDTH 6 hwbfly
two:   chparam -set CKPCE 2 -set IWIDTH 4 -set CWIDTH 6 hwbfly
three: chparam -set CKPCE 3 -set IWIDTH 4 -set CWIDTH 6 hwbfly
 
prep -top hwbfly
 
[files]
abs_mpy.v
../../rtl/convround.v
../../rtl/hwbfly.v

Line No.	Rev	Author	Line
1	36	dgisselq	`[tasks]`
2			`one`
3			`two`
4			`three`
5
6			`[options]`
7			`mode prove`
8			`depth 23`
9
10			`[engines]`
11			`smtbmc`
12
13			`[script]`
14			`read_verilog -formal -DHWBFLY abs_mpy.v`
15			`read_verilog -formal -DHWBFLY convround.v`
16			`read_verilog -formal -DHWBFLY hwbfly.v`
17
18			`one: chparam -set CKPCE 1 -set IWIDTH 4 -set CWIDTH 6 hwbfly`
19			`two: chparam -set CKPCE 2 -set IWIDTH 4 -set CWIDTH 6 hwbfly`
20			`three: chparam -set CKPCE 3 -set IWIDTH 4 -set CWIDTH 6 hwbfly`
21
22			`prep -top hwbfly`
23
24			`[files]`
25			`abs_mpy.v`
26			`../../rtl/convround.v`
27			`../../rtl/hwbfly.v`

Browse

Tools

Subversion Repositories dblclockfft

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