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

Subversion Repositories zipcpu

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

Details | Compare with Previous | View Log

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 WBDBLPRIARB wbdblpriarb.v
10
read -formal -D WBDBLPRIARB fwb_master.v
11
read -formal -D WBDBLPRIARB fwb_slave.v
12
prep -top wbdblpriarb
13
 
14
[files]
15
../../rtl/ex/wbdblpriarb.v
16
../../rtl/ex/fwb_master.v
17
../../rtl/ex/fwb_slave.v

powered by: WebSVN 2.1.0

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