VCS®用户指南 R-2020.12-SP2：2021年6月发布

5星 · 超过95%的资源需积分: 32 195 浏览量更新于2024-06-29 1 收藏 11.07MB PDF 举报

身份认证购VIP最低享 7 折!

30元优惠券

"VCS用户手册，这是一份详细的技术文档，主要针对VCS软件的R-2020.12-SP2版本，该版本于2021年6月发布。VCS是Synopsys公司的一款验证工具，属于Verification Continuum平台的一部分，用于集成电路设计的验证工作。手册涵盖了版权信息、第三方软件通知以及目的地控制声明等重要内容。" 在VCS用户手册中，读者可以深入了解到这款强大的验证环境解决方案的核心功能和用法。VCS，全称Verification Continuum Simulator，是一款广泛应用于数字集成电路设计验证的仿真器。它支持高级验证方法学，如SystemVerilog、UVM（Universal Verification Methodology）和其他System-level语言，使得设计者能够更高效地验证复杂的芯片设计。手册中的"R-2020.12-SP2"表示这是一个特定的软件发布版本，其中"R"可能代表Release，"2020.12"可能是发布年份和月份，而"SP2"通常意味着第二次服务包（Service Pack），意味着这个版本包含了自上一主要版本发布以来的一些修复、改进和新特性。关于"Copyright Notice and Proprietary Information"，Synopsys明确指出VCS软件及其所有相关文档均为其专有财产，使用者必须按照与Synopsys签订的书面许可协议条款使用。任何未经授权的使用、复制、修改或分发都是严格禁止的。 "Third-Party Software Notices"部分提醒用户，VCS可能包含或捆绑了免费或开源软件的许可证。这些第三方软件的通知详情可以在安装目录下的<install_path>/doc/third_party_notices.txt文件中找到，这对于遵循开源许可证规定和了解软件组成至关重要。最后，"Destination Control Statement"提到手册中的所有技术数据都受美国出口管制法律的约束，这意味着分享给特定国家可能违反美国法律。因此，读者需自行判断和遵守相关法规，确保合法合规使用。这份VCS用户手册对于理解和操作Synopsys的VCS验证工具具有极高的价值，不仅提供了详细的软件操作指南，还涵盖了法律和合规性方面的必要信息，是集成电路设计验证工程师的重要参考资料。

资源详情

资源推荐

xvi

Feedback

Dumping EVCD File for Mixed Designs Using UCLI dump Command

8-13

Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8-13

Use Model for Dumping CCN Driver Through INOUT

. . . 8-14

Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-16

Post-processing Uti

lities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-17

The vcdpost Utility

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-18

Scalarizing the V

ector Signals . . . . . . . . . . . . . . . . . . . . . 8-18

Uniquifying the Identifier Codes

. . . . . . . . . . . . . . . . . . . . 8-19

The vcdpost Utility Syntax

. . . . . . . . . . . . . . . . . . . . . . . . 8-20

The vcdif

f Utility . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-21

Syntax

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-21

The vcdif

f Utility Output Example . . . . . . . . . . . . . . . . . . . 8-29

The vcat Utility

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-31

The vcat Utility Syntax

. . . . . . . . . . . . . . . . . . . . . . . . . . . 8-32

Generating Source Fi

les From VCD Files . . . . . . . . . . . .

8-36

Writing the Configuration File . . . . . . . . . . . . . . . . . . . . . . 8-37

The vcsplit Utility

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-41

The vcsplit Utility Syntax

. . . . . . . . . . . . . . . . . . . . . . . . . 8-42

The vcd2vpd Utility

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-45

Options for Specifying EVCD

Options . . . . . . . . . . . . . . . 8-47

The vpd2vcd Utility

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-48

The Command File Syntax

. . . . . . . . . . . . . . . . . . . . . . . . 8-53

The vpdmerge Utility

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-57

The vpdutil Utility

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-60

9. Performance T

uning

Compile-time Performance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

-3

xviii

Feedback

10. Using X-Propagation

Introduction to X-Propagation . . . . . . . . . . . . . . . . . . . . . . . . . . . 10-2

Guidelines for Running X-Propagation Simulations. . . . . . . .

10-4

Using the X-Propagation Simulator . . . . . . . . . . . .

. . . . . . . . . . . 10-6

Specifying X-Propagation Merge Mode . . . . . . . . . . . . . . . . .

10-10

Querying X-Propagation at Runtime . . . . . . . . . . . . . . . . 1

0-16

X-Propagation Instrumentation Report. . . . . . . . . . . . . . .

10-17

Automatic Hardware Inference of Flip-Flops Enabled by Default

10-18

X-Propagation Configuration File

. . . . . . . . . . . . . . . . . . . . . .

10-20

X-Propagation Configuration File Syntax . . . . . . . . . . . . .

10-21

Xprop Instrumentation Control. . . . . . . . . . . . . . . . . . . . . . . . 1

0-26

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

0-29

Process Based X-Propagation Exclusion . . . . . . . . . . . . . . . 1

0-29

Support for XIndex Element Merging. . . . . . . . . . . . . . . . . . .

10-30

X-Index. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-32

Index BSpace. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-32

Addressing Models. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-33

Merge Modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-34

Index Selection Methods . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-35

Disabling XIndex Merging for Read or Wr

ite Operations . 10-37

Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-38

Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-39

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

0-43

Bounds Checking. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-43

Detecting Unknown Values in Type Conversion Functions . .

10-45

Time Zero Initialization. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-46

xix

Feedback

Handling Non-pure Functions Due to Static Lifetime. . . . . . . 10-46

Supporting UCLI Commands for X-Propagation Control T

asks 10-48

Use Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-48

UCLI Command to Specify the Merge Mode . . . . . . . . . .

10-48

UCLI Command to Control Error Messages or Wa

rning Messages

10-49

VHDL Two-State Objects in X-Propagation. . . . . . . . . . . . . . . . .

10-51

Supported XValues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-51

Supported Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-52

Supported Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-52

Supported Attributes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-58

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

0-59

X-Propagation Code Examples . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-59

If Statement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-60

Verilog Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-60

VHDL Example. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-62

Case Statement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-63

Verilog Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-63

VHDL Example. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-65

Unique/Priority Case Variants . . . . . . . . . . . . . . . . . . . . . 1

0-67

Edge Sensitive Expression . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-68

Verilog Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-68

VHDL Example. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-70

Latch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-72

Verilog Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-72

VHDL Example. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-73

Support for Active Drivers in X-Propagation . . . . . . . . . . . . . . . .

10-74

Feedback

Combinational Logic. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10-75

Latches. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-78

Flip-flops. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-80

Key points to Note . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-82

Support for Ternary Operator. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

0-83

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

0-83

11. Gate-Level Simulation

SDF Annotation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1-2

Using the Unified SDF Feature . . . . . . . . . . . . . . . . . . . . . . . 1

1-3

Using the $sdf_annotate System Task. . . . . . . . . . . . . . . . . . 1

1-4

Using the -xlrm Option for SDF Retain, Gate Pulse Propagation, and

Gate Pulse Detection Warning . . . . . . . . . . . . . . . . . . . . . 1

1-6

Using the Optimistic Mode in SDF . . . . . . . . . . . . . . . . . . 1

1-7

Using Gate Pulse Propagation . . . . . . . . . . . . . . . . . . . . . 1

1-8

Generating Warnings During Gate Pulses . . . . . . . . . . . .

11-9

Enhancing SDF Annotation to Support Nets Through SPICE

11-9

Precompiling an SDF File . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1-12

Creating the Precompiled Version of the SDF File. . . . . .

11-13

SDF Configuration File . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1-15

Delay Objects and Constructs . . . . . . . . . . . . . . . . . . . . . 1

1-15

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

11-16

The INTERCONNECT_MIPD Command . . . . . . . . . . . . . 1

1-17

The MTM Command . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1-18

The SCALE Commands. . . . . . . . . . . . . . . . . . . . . . . . . . 1

1-18

An SDF Example With Configuration File . . . . . . . . . . . .

11-20

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

1-23

剩余2212页未读，继续阅读

元直数字电路验证

粉丝: 7w+
资源: 29

VCS®用户指南 R-2020.12-SP2：2021年6月发布

VCS user guide

VCS User Guide

2021 vcs userguide

vcs vq-2020.03

有没有vcs user guide 2020.12

怎么下载vcs 2020.12用户指南

ubuntu20.04安装verdi和vcs

get "gorm.io/driver/mysql": found meta tag vcs.metaImport{Prefix:"gorm.io/driver/mysql", VCS:"git", RepoRoot:"https://github.com/go-gorm/mysql"} at //gorm.io/driver/mysql?go-get=1 gorm.io/driver/mysql (download) 这个问题如何解决

vcs /usr/bin/ld: cannot find -lncurses

UVMshell脚本编写vcs

vcs 2020.03

ubuntu22.04 安装vcs

Error-[SE] Syntax error Following verilog source has syntax error : "/home/synopsys/vcs-mx/O-2018.09-1/etc/uvm/uvm_pkg.sv", 31: token is ';' package uvm_pkg; 怎么办

vcs编译选项-Mdir

bash: vcs: command not found

ubuntu16.04安装vcs和verdi

android studio常用英语

最新资源