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

Subversion Repositories zipcpu

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

Details | Compare with Previous | View Log


[tasks]
cover
proof
 
[options]
proof: mode prove
cover: mode cover
 
[engines]
smtbmc
 
[script]
read -define MEMOPS
read -formal memops.v
read -formal fwb_master.v
prep -top memops
 
[files]
../../rtl/core/memops.v
../../rtl/ex/fwb_master.v

Line No.	Rev	Author	Line
1	209	dgisselq	`[tasks]`
2			`cover`
3			`proof`
4
5			`[options]`
6			`proof: mode prove`
7			`cover: mode cover`
8
9			`[engines]`
10			`smtbmc`
11
12			`[script]`
13			`read -define MEMOPS`
14			`read -formal memops.v`
15			`read -formal fwb_master.v`
16			`prep -top memops`
17
18			`[files]`
19			`../../rtl/core/memops.v`
20			`../../rtl/ex/fwb_master.v`

Browse

Tools

Subversion Repositories zipcpu

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