VCS仿真资源：2016年英文用户指南

需积分: 17 150 浏览量更新于2024-07-15 1 收藏 7.23MB PDF 举报

VCS®/VCSi™用户指南提供了关于Synopsys公司开发的高级综合与仿真工具的全面信息，该文档于2016年6月发布。这份文档是专有资料，受版权保护，只能根据Synopsys与用户的书面许可协议进行使用。未经许可，任何形式的复制、修改或分发该软件及其相关文档都是严格禁止的。在VCS®/VCSi™和VCS®MX/VCS®MXi™产品中，部分软件是基于自由或开源许可证提供的。对于有关Synopsys如何使用这些免费和开源软件的详细信息，用户需要参考安装目录下的<install_path>/doc/third_party_notices.txt文件。此外，文档强调了所有技术数据都受到美国出口管制法律的约束，任何可能违反美国法律向其他国家披露的行为都是被禁止的。用户有责任确保其行为符合相关的出口管制规定。 VCS®/VCSi™是一款功能强大的设计自动化工具，主要用于电子电路的设计验证，包括逻辑综合、时序仿真以及静态功耗分析等。它支持多种硬件描述语言（HDL），如Verilog和 VHDL，旨在帮助工程师优化设计性能，确保设计的正确性和功能完整性。用户指南中详细解释了如何配置和使用VCS的各项功能，包括设置仿真环境、编写测试脚本、调试策略以及性能优化技巧。文档还涵盖了如何处理设计中的并行性和并发性，以及如何有效地利用VCS的并发仿真能力来加速设计验证过程。同时，它还介绍了VCS的图形用户界面（GUI）特性，使得复杂的仿真任务变得直观易用。安全性和合规性也是用户指南的重要部分，包括如何处理知识产权（IP）、保密信息以及与第三方知识产权的关系。用户在使用VCS时必须遵循这些指导，以确保项目按照法律要求进行。这份VCS®/VCSi™用户指南是设计验证工程师不可或缺的参考资料，它不仅提供了技术细节，还强调了法律义务和最佳实践，为VCS用户在实际应用中取得成功提供了全面的支持。

xvi

SDF Configuration File . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12-10

Delay Objects and Constructs . . . . . . . . . . . . . . . . . . . . . 12-11

SDF Configuration File Commands . . . . . . . . . . . . . . . . .

12-12

approx_command. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2-12

mtm_command. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2-13

scale_command . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2-14

SDF Example with Configuration File. . . . . . . . . . . . . . . . 1

2-15

Delays and Timing. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2-18

Transport and Inertial Delays. . . . . . . . . . . . . . . . . . . . . . . . . 1

2-18

The Inertial Delay Implementation . . . . . . . . . . . . . . . . . . 1

2-20

Enabling Transport Delays . . . . . . . . . . . . . . . . . . . . . . . . 1

2-21

Pulse Control . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2-22

Pulse Control with Transport Delays . . . . . . . . . . . . . . . . . . . 1

2-24

Pulse Control with Inertial Delays. . . . . . . . . . . . . . . . . . . 1

2-26

Specifying Pulse on Event or Detect Behavior. . . . . . . . .

12-30

Specifying the Delay Mode . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2-35

Using the Configuration File to Disable Ti

ming . . . . . . . . . . . . . . 12-37

Using the timopt Timing Optimizer . . . . . . . . . . . . . . . . . . . . . . .

12-38

Editing the timopt.cfg File . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2-40

Editing Potential Sequential Device Entries . . . . . . . . . . .

12-40

Editing Clock Signal Entries . . . . . . . . . . . . . . . . . . . . . . . 1

2-41

Using Scan Simulation Optimizer . . . . . . . . . . . . . . . . . . . . . . .

12-42

ScanOpt Config File Format . . . . . . . . . . . . . . . . . . . . . . . . . 1

2-43

ScanOpt Assumptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2-44

Negative Timing Checks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2-45

The Need for Negative Value Timing Checks . . . . . . . . . . . .

12-46

xix

Where to Find UVM Examples. . . . . . . . . . . . . . . . . . . . . . . . 15-13

Where to Find UVM Documentation . . . . . . . . . . . . . . . . . . . 15-14

UVM-1.1d Documentation . . . . . . . . . . . . . . . . . . . . . . . . 1

5-14

UVM-VMM Interop Documentation . . . . . . . . . . . . . . . . . 1

5-14

Using VMM with VCS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-14

Using OVM with VCS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-15

Native Compilation and Elaboration of OVM 2.1.2 . . . . . . . .

15-15

Compiling the External OVM Library . . . . . . . . . . . . . . . . . . . 1

5-16

Using the -ntb_opts ovm Option. . . . . . . . . . . . . . . . . . . . 1

5-16

Explicitly Specifying OVM Files and Arguments

. . . . . . . . 15-16

Recording OVM Transactions . . . . . . . . . . . . . . . . . . . . . . . . 1

5-17

Debugging SystemVerilog Designs. . . . . . . . . . . . . . . . . . . . . . . 1

5-18

Functional Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-18

SystemVerilog Constructs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-19

Extern Task and Function Calls through Virtual

Interfaces . . 15-20

Modport Expressions in an Interface . . . . . . . . . . . . . . . . . . . 1

5-23

Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-25

Interface Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-25

Difference Between Extends and Implements

. . . . . . . . . 15-28

Cast and Interface Class . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-31

Name Conflicts and Resolution . . . . . . . . . . . . . . . . . . . . 1

5-32

Interface Class and Randomization . . . . . . . . . . . . . . . . . 1

5-35

Package Exports . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-37

Severity System Tasks as Procedural St

atements. . . . . . . . . 15-38

Width Casting Using Parameters. . . . . . . . . . . . . . . . . . . . . .

15-40

The std::randomize() Function. . . . . . . . . . . . . . . . . . . . . . . .

15-42

SystemVerilog Bounded Queues. . . . . . . . . . . . . . . . . . . . . . 15-45

wait() Statement with a Static Class Member Variable. . . . . . 15-46

Support for Consistent Behavior of Class St

atic Properties. . 15-47

Parameters and Localparams in Classes . . . . . . . . . . . . . . .

15-49

SystemVerilog Math Functions . . . . . . . . . . . . . . . . . . . . . . . 1

5-49

Streaming Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-50

Packing (Used on RHS) . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-50

Unpacking (Used on LHS) . . . . . . . . . . . . . . . . . . . . . . . . 1

5-51

Packing and Unpacking . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-51

Propagation and force Statement. . . . . . . . . . . . . . . . . . .

15-51

Error Conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-52

Structures with Streaming Operators . . . . . . . . . . . . . . . . 1

5-52

Support for with Expression . . . . . . . . . . . . . . . . . . . . . . . 1

5-52

Constant Functions in Generate Blocks. . . . . . . . . . . . . . . . . 1

5-55

Support for Aggregate Methods in Constraints Usi

ng the “with”

Construct . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-57

Debugging During Initialization SystemVe

rilog Static Functions and

Tasks in Module Definitions . . . . . . . . . . . . . . . . . . . . . . . 1

5-58

Explicit External Constraint Blocks . . . . . . . . . . . . . . . . . . . . 1

5-62

Generate Constructs in Program Blocks . . . . . . . . . . . . . . . . 1

5-65

Error Condition for Using a Genvar Outs

ide of its Generate Block

15-67

Randomizing Unpacked Structs. . . . . . . . . . . . . . . . . . . . . . .

5-68

Using the Scope Randomize Method std::randomi

ze() . . 15-68

Using the Class Randomize Method randomize() . 15-72

Disabling and Re-enabling Randomization

. . . . . . . . . . . 15-75

Using In-line Random Variable Control . . . . . . . . . . . . . . 1

5-79

Limitation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

5-83

剩余1531页未读，继续阅读

weixin_tan

粉丝: 2
资源: 4

VCS仿真资源：2016年英文用户指南

baidu网盘快速下载

VCS利用makefile仿真详细介绍

vcs仿真简介-三种调试模式

VCS仿真器无法print

在Synopsys VCS仿真工具中，如何正确设置和运行SystemVerilog测试平台？请详细说明配置过程和必要的代码示例。

vcs常用编译和仿真命令

vcs编译和仿真命令

在使用Synopsys VCS对Altera FPGA进行门级时序仿真时，如何正确配置VCS环境并执行仿真？请同时说明如何使用VirSim进行调试。

vcs 在testbench中仿真命令

vcs ucli pdf

最新资源