没有合适的资源?快使用搜索试试~ 我知道了~
VCS User Guide -2014.12-SP1
需积分: 5 0 下载量 7 浏览量
2025-01-03
20:54:51
上传
评论
收藏 7.51MB PDF 举报
温馨提示
VCS是IC设计和验证需要使用的开发工具,此文档是VCS用户指南,供使用VCS工具的IC设计开发者学习和熟悉此工具,总共1738页,英文版,J-2014.12-SP1, March 2015。
资源推荐
资源详情
资源评论
VCS
®
/VCSi™
User Guide
J-2014.12-SP1, March 2015
ii
Copyright Notice and Proprietary Information
© 2015 Synopsys, Inc. All rights reserved. This software and documentation contain confidential and proprietary information that is
the property of Synopsys, Inc. The software and documentation are furnished under a license agreement and may be used or
copied only in accordance with the terms of the license agreement. No part of the software and documentation may be reproduced,
transmitted, or translated, in any form or by any means, electronic, mechanical, manual, optical, or otherwise, without prior written
permission of Synopsys, Inc., or as expressly provided by the license agreement.
Destination Control Statement
All technical data contained in this publication is subject to the export control laws of the United States of America.
Disclosure to nationals of other countries contrary to United States law is prohibited. It is the reader's responsibility to
determine the applicable regulations and to comply with them.
Disclaimer
SYNOPSYS, INC., AND ITS LICENSORS MAKE NO WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, WITH
REGARD TO THIS MATERIAL, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
Trademarks
Synopsys and certain Synopsys product names are trademarks of Synopsys, as set forth at
http://www.synopsys.com/Company/Pages/Tradema
rks.aspx.
All other product or company names may be trademarks of their respective owners.
Third-Party Links
Any links to third-party websites included in this document are for your convenience only. Synopsys does not endorse
and is not responsible for such websites and their practices, including privacy practices, availability, and content.
Synopsys, Inc.
690 E. Middlefield Road
Mountain View, CA 94043
www.synopsys.com
iii
Contents
1. Getting Started
Simulator Support with Technologies . . . . . . . . . . . . . . . . . . . . . 1-2
Setting Up the Simulator
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-4
V
erifying Your System Configuration . . . . . . . . . . . . . . . . . . . 1-4
Obt
aining a License . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-5
Setting Up Y
our Environment. . . . . . . . . . . . . . . . . . . . . . . . . 1-6
Setting Up Y
our C Compiler. . . . . . . . . . . . . . . . . . . . . . . . . . 1-8
Using the Simulator
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-8
Basic Usage Model
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-9
Default T
ime Unit and Time Precision . . . . . . . . . . . . . . . . . . . . . 1-9
Searchi
ng Identifiers in the Design Using UNIX Commands . . . 1
-9
Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-
11
2. VCS Flow
Compilation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-1
Using vcs
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-2
Commonly Used Options
. . . . . . . . . . . . . . . . . . . . . . . . . 2-3
iv
Simulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-8
Interactive Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-9
Batch Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-9
Commonly Used Runti
me Options. . . . . . . . . . . . . . . . . . . . . 2-10
3. Modeling Yo
ur Design
Avoiding Race Conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-2
Using and Setting a V
alue at the Same Time . . . . . . . . . . . .
3-2
Setting a Value Twice at the Same Time . . . . . . . . . . . . . . . . 3
-3
Flip-Flop Race Condition . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-4
Continuous Assignment Evaluation . . . . . . . . . . . . . . . . . . . . 3
-5
Counting Events. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-6
T
ime Zero Race Conditions . . . . . . . . . . . . . . . . . . . . . . . . . . 3-7
Race Detection
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-8
The Dynamic Race Detection Tool. . . . . . . . . . . . . . . . . . . . .
3-8
Introduction to the Dynamic Race Detection Tool
. . . . . . 3-8
Enabling Race Detection . . . . . . . . . . . . . . . . . . . . . . . . . 3-12
The Race Detection Report . . . . . . . . . . . . . . . . . . . . . . . 3-12
Post Processing the Report . . . . . . . . . . . . . . . . . . . . . . .
3-15
Debugging Simulation Mismatches
. . . . . . . . . . . . . . . . . 3-17
The St
atic Race Detection Tool
. . . . . . . . . . . . . . . . . . . . . . . 3-20
Optimizing Testbenches for Debugging. . . . . . . . . . . . . . . . . . . . 3-22
Conditional Compilation. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 3-23
Enabling Debugging Features At Runtime. . . . . . . . . . . . . . . 3-24
Combining the Te
chniques . . . . . . . . . . . . . . . . . . . . . . . . . . 3-27
Creating Models That Simulate Faster . . . . . . . . . . . . . . . . . . . . 3-28
v
Unaccelerated Data Types, Primitives, and Statements . . . . 3-29
Inferring Faster Simulating Sequential Devices. . . . . . . . . . . 3-31
Modeling Faster always Blocks . . . . . . . . . . . . . . . . . . . . . . . 3-35
Using Veril
og 2001 Constructs. . . . . . . . . . . . . . . . . . . . . . . .
3-36
Case Statement Behavior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-38
Precedence in Te
xt Macro Definitions . . . . . . . . . . . . . . . . . . . . . 3-38
Memory Size Limits
in the Simulator . . . . . . . . . . . . . . . . . . . . . . 3-39
Using Sp
arse Memory Models . . . . . . . . . . . . . . . . . . . . . . . . . . 3-40
Obta
ining Scope Information. . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-42
Scope Format Sp
ecifications . . . . . . . . . . . . . . . . . . . . . . . . . 3-42
Returning Information About the Scope
. . . . . . . . . . . . . . . . . 3-45
Av
oiding Circular Dependency . . . . . . . . . . . . . . . . . . . . . . . . . . 3-48
Designing Wi
th $lsi_dumpports for Simulation and Test
. . . . . . . 3-49
Dealing With Unassigned Nets . . . . . . . . . . . . . . . . . . . . . . . 3-50
Code Va
lues at Time 0. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-51
Cross Module Forces and No Instance Instantiation . . . . . . .
3-51
Signal Value/Strength Codes . . . . . . . . . . . . . . . . . . . . . . . . . 3-53
4. Compiling the De
sign
Compiling or Elaborating the Design in Debug Mode . . . . . . . . . 4
-1
Compiling or Elaborating the Design in Optimized Mode . . . . . . 4
-2
Dynamic Loading of DPI Libraries at Runtime . . . . . . . . . . . . . . 4
-3
The Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-3
Dynamic Loading of PLI Librari
es at Runtime . . . . . . . . . . . . . . . 4
-5
剩余1737页未读,继续阅读
资源评论
yongyong1126
- 粉丝: 0
- 资源: 12
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 基于Springboot的小区物业管理系统设计新版源码+数据库+说明
- 【Python】基于话题相似度的夸夸机器人_pgj.zip
- 【机器人】将ChatGPT飞书机器人钉钉机器人企业微信机器人公众号部署到vercel及docker_pgj.zip
- 基于STM32的电阻炉炉温控制系统设计20241229
- 【爬虫】vue2聊天室,图灵机器人,node爬虫_pgj.zip
- 【Python】基于Python爬虫爬取牛津三千词并导入到Anki方便背诵_pgj.zip
- 【Python】基于Python的美篇高清图片爬虫_pgj.zip
- 【机器人】基于code hijack和code injection极简微信机器人_pgj.zip
- 【机器人】语义地图构建、定位导航、三维重构、重定位、动态物体识别、移动避障、手势识别、人脸识别、语音合成与识别等功能_pgj.zip
- 【Python爬虫】基于Python实现基本的网页爬虫_pgj.zip
- 【Python】简明饭否机器人教程(使用Python)_pgj.zip
- 【java】用mirai机器人搜索音乐并以卡片的形式分享_pgj.zip
- MATLAB仿真 基于toa foa的无源定位方法,二次等式约束求解 有 参考文档 无源定位技术:二次等式约束最小二乘估计理论与方法 第八章
- 无人机仿真无人机四旋翼uav轨迹跟踪PID控制matlab,simulink仿真,包括位置三维图像,三个姿态角度图像,位置图像,以及参考位置实际位置对比图像 四旋翼无人机轨迹跟踪自适应滑模控制,ma
- 一款可以实现串口与mqtt客户端之间数据互相转发的工具
- Ego-planner/src
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功