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

Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [bench/] [formal/] [cpuops.sby] - Blame information for rev 209

Details | Compare with Previous | View Log


[options]
mode prove
depth 4
 
[engines]
smtbmc
 
[script]
read   -formal -D CPUOPS cpuops.v
# read -formal -D CPUOPS mpyop.v
read   -formal -D CPUOPS abs_mpy.v
chparam -set IMPLYMENT_MPY 3 cpuops.v
prep -top cpuops
 
[files]
../../rtl/core/cpuops.v
../../rtl/core/mpyop.v
../../rtl/cpudefs.v
abs_mpy.v
 
 

Line No.	Rev	Author	Line
1	209	dgisselq	`[options]`
2			`mode prove`
3			`depth 4`
4
5			`[engines]`
6			`smtbmc`
7
8			`[script]`
9			`read -formal -D CPUOPS cpuops.v`
10			`# read -formal -D CPUOPS mpyop.v`
11			`read -formal -D CPUOPS abs_mpy.v`
12			`chparam -set IMPLYMENT_MPY 3 cpuops.v`
13			`prep -top cpuops`
14
15			`[files]`
16			`../../rtl/core/cpuops.v`
17			`../../rtl/core/mpyop.v`
18			`../../rtl/cpudefs.v`
19			`abs_mpy.v`
20
21

Browse

Tools

Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [bench/] [formal/] [cpuops.sby] - Blame information for rev 209