Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [bench/] [formal/] [pipemem.sby] - Rev 209

Compare with Previous | Blame | View Log

lcl_aligned_lock        local_bus alignment_err lock
lcl_aligned_nolock      local_bus alignment_err nolock
lcl_noaligned_lock      local_bus noalignment_err lock
lcl_noaligned_nolock    local_bus noalignment_err nolock
nolcl_aligned_lock      nolocal_bus alignment_err lock
nolcl_aligned_nolock    nolocal_bus alignment_err nolock
nolcl_noaligned_lock    nolocal_bus noalignment_err lock
nolcl_noaligned_nolock  nolocal_bus noalignment_err nolock

mode prove
depth 20


read -formal -DPIPEMEM fwb_master.v
read -formal -DPIPEMEM pipemem.v
local_bus:   chparam -set WITH_LOCAL_BUS 1 pipemem
nolocal_bus: chparam -set WITH_LOCAL_BUS 0 pipemem
alignment_err:   chparam -set OPT_ALIGNMENT_ERR 1 pipemem
noalignment_err: chparam -set OPT_ALIGNMENT_ERR 0 pipemem
lock:   chparam -set IMPLEMENT_LOCK 1 pipemem
nolock: chparam -set IMPLEMENT_LOCK 0 pipemem
prep -top pipemem


Compare with Previous | Blame | View Log

powered by: WebSVN 2.1.0

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