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.
没有合适的资源?快使用搜索试试~ 我知道了~
资源推荐
资源详情
资源评论














格式:pdf 资源大小:1.1MB 页数:127













收起资源包目录





































































































共 1558 条
- 1
- 2
- 3
- 4
- 5
- 6
- 16
资源评论

- 壹零捌2020-09-20资料挺好的

Rosansteven
- 粉丝: 0
上传资源 快速赚钱
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助


最新资源
- GOAT(山羊)是基于 LlaMa 进行 SFT 的中英文大语言模型
- 借助 ChatGPT 大语言模型通过聊天机器人自动搭建 vulhub 漏洞靶机环境
- 一个 JavaScript 的简单范例程序-创建一个简单的待办事项列表(Todo List)
- 第二届广州・琶洲算法大赛智能交通 CV 模型赛题第四名方案
- 第二届广州・琶洲算法大赛智能交通 CV 模型赛题第 4 名解决方案
- 基于ChatGPT大语言模型,通过聊天机器人自动创建vulhub的漏洞靶机环境
- Python 的排序算法范例程序-实现快速排序算法
- 从零开始编写大语言模型相关所有代码用于学习
- kindeditor多图上传H5版 ,替换到原来的plugins\multiimage目录下就可用,无须修改原来的调用代码,要记得刷新缓存
- CID解码最新300-CD软件
- CID解码最新300-CD软件
- 结合大模型强大的自然语言处理能力,自动化地生成全面、高质量的测试用例
- CID解码最新300-CD软件
- MATLAB实现NMEA 0183数据可视化工具
- MATLAB实现NMEA 0183数据可视化工具
- aspmkr7_1.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈



安全验证
文档复制为VIP权益,开通VIP直接复制
