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

Subversion Repositories zipcpu

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

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 209 dgisselq
[tasks]
2
lcl_aligned_lock        local_bus alignment_err lock
3
lcl_aligned_nolock      local_bus alignment_err nolock
4
lcl_noaligned_lock      local_bus noalignment_err lock
5
lcl_noaligned_nolock    local_bus noalignment_err nolock
6
nolcl_aligned_lock      nolocal_bus alignment_err lock
7
nolcl_aligned_nolock    nolocal_bus alignment_err nolock
8
nolcl_noaligned_lock    nolocal_bus noalignment_err lock
9
nolcl_noaligned_nolock  nolocal_bus noalignment_err nolock
10
 
11
[options]
12
mode prove
13
depth 20
14
 
15
[engines]
16
smtbmc
17
 
18
[script]
19
read -formal -DPIPEMEM fwb_master.v
20
read -formal -DPIPEMEM pipemem.v
21
local_bus:   chparam -set WITH_LOCAL_BUS 1 pipemem
22
nolocal_bus: chparam -set WITH_LOCAL_BUS 0 pipemem
23
alignment_err:   chparam -set OPT_ALIGNMENT_ERR 1 pipemem
24
noalignment_err: chparam -set OPT_ALIGNMENT_ERR 0 pipemem
25
lock:   chparam -set IMPLEMENT_LOCK 1 pipemem
26
nolock: chparam -set IMPLEMENT_LOCK 0 pipemem
27
prep -top pipemem
28
 
29
[files]
30
../../rtl/core/pipemem.v
31
../../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.