OpenCores
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

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

powered by: WebSVN 2.1.0

© copyright 1999-2021 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.