Veloce 3.16.1快速参考手册：Mentor Emulator 使用详解

需积分: 17 97 浏览量更新于2024-07-18 3 收藏 8.1MB PDF 举报

"《Veloce参考手册》是一份详细的指南，专门针对Mentor公司的Emulator工具进行介绍，其版本为v3.16.1，发布于2016年9月。该文档是Mentor Graphics Corporation的专有财产，受版权保护，仅供内部业务使用。用户在复制或分享文档时，必须确保完整保留版权声明，并承诺尽力防止未经授权的使用和传播。手册的核心内容涵盖了如何有效地利用Veloce进行仿真和性能优化。Veloce作为一款功能强大的工具，它可能包括硬件模拟、系统级验证、设计收敛加速等高级特性。学习者可以通过阅读这份文档了解到Veloce的安装、配置、操作流程，以及它在硬件设计验证中的应用场景，如硬件行为仿真、性能预测和故障分析等。值得注意的是，Mentor Graphics有权在没有事先通知的情况下对文档中的规格和其他信息进行更新。因此，读者在使用Veloce前应始终确认最新的官方指南，以获取最新功能和支持。购买和许可Mentor Graphics产品的具体条款和条件则会通过双方之间的书面协议进行明确。此外，该手册强调，虽然文档中的信息是用于教育和指导目的，但它并不构成任何形式的保修或保证。这意味着用户在遇到问题时，可能需要直接联系Mentor Graphics获取技术支持和解决方案。《Veloce参考手册》是一份不可或缺的资源，对于任何希望深入理解和运用Mentor的Emulator工具，特别是在高速设计和系统级验证领域的工程师来说，它是提升工作效率和确保设计质量的重要参考文档。"

List of Tables

September 2016

Veloce Reference Manual, v3.16.1

Syntax Notation and Rules

Wildcards

September 2016

• The “?” character in a name expands to exactly one alphanumeric character. For

example, the pattern “data?x” matches “data1x”, “datayx”, and so on.

• The pattern “<i:j>”, where “i” and “j” are positive integers. This is known as a synthetic

vector wildcard and matches all the numbers between i and j. For example, the pattern

“data<2:0>” matches “data2”, “data1”, and “data0”.

How to Specify a Wildcard Character Within an Escaped Identifier Token

To specify a ‘*’ or ‘?’ character as a wildcard within an escaped identifier, do the following:

1. End the escaped nature of the token with an escaped termination character.

Space (“ “') and back slash (“\”) are the escaped terminating characters respectively for

verilog and vhdl languages.

2. Insert a wildcard character “*” or “?”.

3. Restore the escaped nature of the token with an escaped initiation character. Backslash

('\') is the escaped initiation character for both verilog and vhdl.

4. Continue with the remaining string of escaped identifier token.

For example, suppose you want to resolve the following three verilog escaped identifier

tokens with just one regular expression:

{'\ab#1x ', '\ab#2x ', \ab#3x '}

After step (1): regular expression: “\ab “

After step (2): regular expression: “\ab *”

After step (3): regular expression: “\ab *\”

After step (4): regular expression: “\ab *\x “

Therefore, you can specify all three tokens in the list with the regular expression “\ab

*\x“.

Examples for verilog escaped identifiers:

'\a ?\b ' => {'\a#b ', '\a%b ', '\a^b ', ........}

'\a *\b ' => {'\a#b ', '\a%b ', '\a^b ', '\a#1b ', '\a#2b ', ..

... , '\a#%123b ', ..........}

Examples for vhdl escaped identifiers:

'\a\?\b\' => {'\a#b\', '\a%b\', '\a^b\', ........}

'\a\*\b\' => {'\a#b\', '\a%b\', '\a^b\', '\a#1b\', '\a#2b\', ..

... , '\a#%123b\', ..........}

Wildcard Usage in Regular Expressions for Compiler Annotation Files

The following describes the wildcard characters supported with regular expressions in compiler

annotation files:

• Asterisk “*” matches any number of characters (including no character)

剩余571页未读，继续阅读

zp_weili

粉丝: 0
资源: 4

Veloce 3.16.1快速参考手册：Mentor Emulator 使用详解

Veloce硬件仿真器：加速SoC设计验证，提升协议检查和覆盖率

Veloce DFT App：加速芯片设计DFT验证，缩短开发周期

React Native打造的跨平台餐厅菜单展示应用

Fattura Veloce-开源

Veloce User Guide.pdf

veloce2 low power user guide

veloce硬件加速器 dft user guide

veloce:火箭助推器支持的超薄框架

veloce硬件加速器 企业级服务器用户手册

veloce:本科生最后一年的项目-街机风格的3D赛车游戏

最新资源

veloce硬件加速器企业级服务器用户手册