Verification Methodology Manual
Release 1.1
(C) Copyright 2004-2009 Synopsys, Inc.
All Rights Reserved Worldwide
The VMM distribution is licensed under the Apache License,
Version 2.0 (the "License"); you may not use the content of
this distribution except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Content of distribution
-----------------------
This distribution contains the following:
- Source code for the VMM Standard Library (v1.8)
- Source code for the VMM Register Abstraction Layer (v1.12)
- Source code for the VMM Scoreboard Package (v1.4)
- Source code for the VMM Performance Analyzer (v1.1)
- Source code for the VMM Hardware Abstraction Layer (v2.0)
- VMM template generator
- Linux and Solaris binaries for RAL Model Generator (v1.11)
- PDF for the VMM Standard Library User's Guide
- PDF for the VMM Register Abstraction Layer User's Guide
- PDF for the VMM Scoreboard Package User's Guide
- PDF for the VMM Performance Analyzer User's Guide
- PDF for the VMM Hardware Abstraction Layer User's Guide
- HTML class documentation for VMM developers
- Source code for examples
The Environment Composition Package (vmm_subenv, vmm_consensus) is
included as part of the VMM Standard Library.
The Memory Allocation Manager (vmm_mam) is included as part of the VMM
Register Abstraction Layer.
The main elements of the directory structures in this distribution
are:
README.txt .................... This file
NOTICE.txt .................... Intellectual property notice
RELEASE.txt ................... Release notes from version 1.0.1
VCS2006.06-SP2.txt............. Release notes for using VCS2006.06-SP2
vmm_versions .................. Distribution verification script
patch_vcs ..................... Script to patch a VCS installation(*)
doc/ .......................... User and Developer Documentation
html/ ..................... HTML User Guides
index.html ........... Top-level HTML file
pdf/ ...................... PDF User Guides
devel/ .................... Developper's Class Reference
index.html .......... Top-level HTML file
sv/
vmm.sv ..................... Standard library top-level file
vmm_ral.sv ................. RAL/MAM top-level file
vmm_sb.sv .................. Scoreboard package top-level file
vmm_perf.sv ................ Performane Analyzer package top-level file
vmm_hw.sv .................. HAL top-level file
std_lib/ ................... Standard Library source files
RAL/ ....................... RAL source files
sb/ ........................ Scoreboard package source files
perf/ ...................... Performance Analyzer package source files
HAL/ ....................... HAL source files
examples/ .................. Examples
std_lib/ .......... Basic VMM examples
subenv/ ........... Environment composition example
RAL/ .............. RAL example
sb/ ............... Scoreboard package example
perf/ ............. Performance Analyzer package example
HAL/ .............. HAL example
shared/
bin/ ................... Tool binaries and Scripts
lib/
templates/ ......... Code templates used by 'vmmgen'
(*) Use at your own risk! Will disable OpenVera/SystemVerilog
interoperability!
To maintain OpenVera/SystemVerilog interoperability,
use the 1.1-SvOv distribution to apply the patch.
IEEE Compliance
---------------
The SystemVerilog source code is believed to be 100% compliant with
the IEEE P1800-2005 standard. Any non-compliant usage is unintentional
and will be fixed if reported.
The examples are provided with Makefiles targetted for the VCS
simulator. They are intended as a demonstration only and do not imply
that VCS is required to use the VMM code. Any simulator compliant with
the IEEE P1800 standard should be able to compile and execute the
examples, after a suitable modification of the Makefiles.
The source code contains some VCS-specific code included within
"`ifdef VCS/`endif" regions. The VCS-specific code enables some
additional VMM-awareness functionality with VCS and/or DVE as well as
provides some built-in functions for greater run-time performance
rather than using the DPI. The VCS-specific code is *NOT* required to
correctly simulate the VMM source code.
Any reference to the OpenVera (OV) language in the documentation
refers to the OV implementation of the VMM library, which is not
included in this distribution. OpenVera or an OpenVera simulator is
not required to use VMM. Any reference to the Vera or VCS simulator in
the documentation is for illustration of how to use VMM with those
specific tools. The Vera or VCS simulators are not required to use
VMM.
This version of the VMM library and examples required the following
version of the VCS simulator:
VCS2006.06-SP2-9 or later (see VCS2006.06-SP2.txt)
VCS2008.09-4 or later
VCS2008.12 or later
Installing the distribution
---------------------------
Installation of VMM requires only unpacking the distribution in a
convenient location. No additional installation procedures or scripts
are necessary.
% mkdir /some/path
% cd /some/path
% gunzip -c path/to/vmm-1.1.tar.gz | tar xvf -
Using VMM
---------
You must define the environment variable "VMM_HOME" to the path
containing the unpackaged distribution. This environment variable
is required to run some examples and scripts. It also eases the
specification of the location where to pick-up the source file.
% setenv VMM_HOME /some/path/vmm-1.1
If you have the VCS simulator installed and properly set-up, you can
check the content of the distribution by using the command:
% $VMM_HOME/vmm_versions
You should add $VMM_HOME/shared/bin to your command search path to
be able to use the tools and scripts included in the distribution.
% setenv PATH $VMM_HOME/shared/bin:$PATH
Scripts require that "perl" be visible in your command path. Tools are
distributed in binary form for Linux and Solaris. Should you be
running on a different operating system or hardware architecture,
please contact Synopsys to obtain a suitable version of the tool
binaries.
You can make the VMM Standard Library visible to your SystemVerilog
code by including the file "vmm.sv".
`include "vmm.sv"
It will be necessary to specify where the VMM source files are located
on the compilation command line. This can easily be done via the
+incdir command-line option and the VMM_HOME environment variable.
% ... +incdir+$VMM_HOME/sv ...
When used on a non-VCS simulator, it will be necessary to include the
file $VMM_HOME/sv/std_lib/vmm_str_dpi.c to supply the regular
expression string matching library. Similarly, it may be necessary to
include the file $VMM_HOME/sv/std_lib/vmm_xvc_dpi.c to supply the XVC
command parsing and execution library. Please refer to your
simulator's documentation on how to include a DPI library.
You can make a VMM Application package visible to your
SystemVerilog code by including the file corresponding to the
application package:
Register Abstraction Layer vmm_ral.sv
Scoreboarding Package vmm_sb.sv
Performance Analyzer Package vmm_perf.sv
Hardware Abstraction Layer vmm_hw.sv or vmm_hw_rtl.sv
Using the VMM Hardware Abstraction Layer with an architecture other
than the VMM_HW_ARCH_NULL architecture requires software and hardware
provided by emulation, acceleration or prototyping vendors. This
software is not included in this distribution and must be obtained
from the appropriate sources.
没有合适的资源?快使用搜索试试~ 我知道了~
SOC设计+芯片设计漫游指南全书代码+国科大EDA全套设与实践课件讲义与实例.rar
共1558个文件
s:363个
sv:282个
info:234个
5星 · 超过95%的资源 需积分: 46 108 下载量 196 浏览量
2019-07-12
13:49:26
上传
评论 6
收藏 66.14MB RAR 举报
温馨提示
文档为自己整理的一整套的关于Soc设计及EDA课程,包括完整的SoC开发设计流程课程、芯片设计漫游指南全书代码、国科大EDA全套设与实践课件讲义与实例,个人感觉对衷于SoC设计入门的同行大有裨益
资源推荐
资源详情
资源评论
收起资源包目录
SOC设计+芯片设计漫游指南全书代码+国科大EDA全套设与实践课件讲义与实例.rar (1558个子文件)
libldappvec.a 9KB
pt.tcl.bak 5KB
vmm_sqlite_interface.c 11KB
vmm_xvc_dpi.c 11KB
vmm_str_dpi.c 7KB
dhry21a.c 6KB
dhry21b.c 5KB
vmm_sql_sys_info.c 4KB
example_ports.c 2KB
example_power.c 1KB
vmm_sqltxt_interface.c 1KB
example.c 858B
dhrystone.c 42B
Xm_new_cfg2_xtmemory_dram0.cdl 486KB
Xm_new_cfg2_xtmemory_iram0.cdl 484KB
Xm_new_cfg2_xtmemory_dcache.cdl 165KB
Xm_new_cfg2_xtmemory_icache.cdl 164KB
Xm_new_cfg2_xtmemory_itag.cdl 101KB
Xm_new_cfg2_xtmemory_dtag.cdl 101KB
cmp_trace 76KB
Makefile.common 12KB
comparemems 28KB
Xm_new_cfg2_xtmemory_dcache_ss_1.08_-40.db 28KB
Xm_new_cfg2_xtmemory_dcache_ss_1.08_125.db 28KB
Xm_new_cfg2_xtmemory_dram0_ss_1.08_-40.db 27KB
Xm_new_cfg2_xtmemory_dram0_ss_1.08_125.db 27KB
Xm_new_cfg2_xtmemory_dcache_tt_1.2_25.db 27KB
Xm_new_cfg2_xtmemory_dram0_ff_1.32_-40.db 27KB
Xm_new_cfg2_xtmemory_dram0_ff_1.32_0.db 27KB
Xm_new_cfg2_xtmemory_dram0_ff_1.32_125.db 27KB
Xm_new_cfg2_xtmemory_dram0_tt_1.2_25.db 27KB
Xm_new_cfg2_xtmemory_dcache_ff_1.32_0.db 25KB
Xm_new_cfg2_xtmemory_dcache_ff_1.32_125.db 25KB
Xm_new_cfg2_xtmemory_dcache_ff_1.32_-40.db 25KB
Xm_new_cfg2_xtmemory_icache_ss_1.08_125.db 22KB
Xm_new_cfg2_xtmemory_icache_ss_1.08_-40.db 22KB
Xm_new_cfg2_xtmemory_icache_ff_1.32_125.db 22KB
Xm_new_cfg2_xtmemory_icache_tt_1.2_25.db 22KB
Xm_new_cfg2_xtmemory_icache_ff_1.32_-40.db 22KB
Xm_new_cfg2_xtmemory_icache_ff_1.32_0.db 22KB
Xm_new_cfg2_xtmemory_itag_ss_1.08_-40.db 22KB
Xm_new_cfg2_xtmemory_itag_ss_1.08_125.db 22KB
Xm_new_cfg2_xtmemory_dtag_ss_1.08_-40.db 22KB
Xm_new_cfg2_xtmemory_dtag_ss_1.08_125.db 22KB
Xm_new_cfg2_xtmemory_iram0_tt_1.2_25.db 22KB
Xm_new_cfg2_xtmemory_iram0_ss_1.08_-40.db 22KB
Xm_new_cfg2_xtmemory_iram0_ss_1.08_125.db 22KB
Xm_new_cfg2_xtmemory_iram0_ff_1.32_0.db 22KB
Xm_new_cfg2_xtmemory_iram0_ff_1.32_125.db 22KB
Xm_new_cfg2_xtmemory_itag_tt_1.2_25.db 22KB
Xm_new_cfg2_xtmemory_dtag_tt_1.2_25.db 22KB
Xm_new_cfg2_xtmemory_iram0_ff_1.32_-40.db 22KB
Xm_new_cfg2_xtmemory_itag_ff_1.32_0.db 22KB
Xm_new_cfg2_xtmemory_itag_ff_1.32_125.db 22KB
Xm_new_cfg2_xtmemory_itag_ff_1.32_-40.db 22KB
Xm_new_cfg2_xtmemory_dtag_ff_1.32_0.db 22KB
Xm_new_cfg2_xtmemory_dtag_ff_1.32_125.db 22KB
Xm_new_cfg2_xtmemory_dtag_ff_1.32_-40.db 22KB
dc-qor 9KB
diagrelocate 42KB
sqlite3.dll 488KB
libgnurx-0.dll 167KB
vmm_sqlite.dll 31KB
vmm_sqltxt.dll 16KB
vmm_str_dpi.dll 15KB
作业2_脚本编写.docx 167KB
实验手册2_FM&STA说明.docx 99KB
实验手册1_ICC物理设计流程.docx 60KB
课程设计实验内容说明.docx 17KB
dumpelf 18KB
elf_load_out 46KB
CadSetup.file 67KB
Xm_new_cfg2_xtmemory_dram0.gds 2.14MB
Xm_new_cfg2_xtmemory_iram0.gds 2.13MB
Xm_new_cfg2_xtmemory_dcache.gds 1.95MB
Xm_new_cfg2_xtmemory_icache.gds 1.94MB
Xm_new_cfg2_xtmemory_itag.gds 1.88MB
Xm_new_cfg2_xtmemory_dtag.gds 1.88MB
regex.7.gz 4KB
regex.3.gz 3KB
sqlite3.h 316KB
regex.h 21KB
dhry.h 17KB
sva_std_task.h 3KB
DiagDocumentation.html 62KB
tests.incl 927B
sv.index 814B
info 672B
info 671B
info 639B
info 639B
info 627B
info 627B
info 627B
info 626B
info 626B
info 616B
info 609B
info 609B
info 608B
共 1558 条
- 1
- 2
- 3
- 4
- 5
- 6
- 16
资源评论
- 壹零捌2020-09-20资料挺好的
Rosansteven
- 粉丝: 0
- 资源: 3
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- python-leetcode面试题解之第157题用Read4读取N个字符-题解.zip
- python-leetcode面试题解之第156题上下翻转二叉树-题解.zip
- python-leetcode面试题解之第155题最小栈-题解.zip
- python-leetcode面试题解之第153题寻找旋转排序数组中的最小值-题解.zip
- python-leetcode面试题解之第152题乘积最大子数组-题解.zip
- python-leetcode面试题解之第151题反转字符串中的单词-题解.zip
- python-leetcode面试题解之第150题逆波兰表达式求值-题解.zip
- python-leetcode面试题解之第149题直线上最多的点数-题解.zip
- python-leetcode面试题解之第148题排序链表-题解.zip
- python-leetcode面试题解之第147题对链表进行插入排序-题解.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功