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

Subversion Repositories zipcpu

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

Details | Compare with Previous | View Log

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

powered by: WebSVN 2.1.0

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