18 集成电路应用 第 37 卷 第 2 期（总第 317 期）2020 年 2 月
Rearch and Design美容美发培训学校多少钱
研究与设计是启动 quence 通过前门访问的方法来读取寄存器，通过对同一寄存器读到的值与写入的值进行比较，确认寄存器的复位值与读写属性的正确性，这种方法无法自动确认寄存器的译码正确性，需通过在用例中比较寄存器实体的值并结合波形确认。这种方法工作量大且容易出现疏漏。另一种是通过寄存器模型进行访问，寄存器模型增加了后门访问机制，通过内置 quence 可实现后门访问路径、寄存器初始值和寄存器读写属性的自动化检查。但寄存器模型本身结构复杂，包括各位域位宽和属性、寄存器后门路径等都需要验证人员手动编写。这种方法效率低而且存在与产品规范不一致的风险大。上述两种验证方式对寄存器的验证没有一个统一完备的标准，这样就不能保证寄存器验证的质量，再者也没有实现验证方法的可复用性，故而不能提高验证效率。对于这些问题 UVM 代码生成器 RAL 基本都可以解决，通过对 RAL 模型的使用可大大提
现在流行什么发型男>联系人的英文
1 引言
在 SoC 开发过程中，芯片验证工作贯穿于整个研发过程的始终。随着集成电路设计向超大规模发展，芯片验证工作的难度在不断增大[1-5]。验证的工作量已占到整个 SoC 研发的 70%～80%，因此提高芯片验证的效率已变得至关重要。
验证方法学的发展提高了验证的效率，同时促进验证的完备性成为可能。目前，基于 System Verilog 语言的验证方法学主要有 V M M （V e r i f i c a t i o n Methodology Manual）、OVM（Open Verification Methodology）和 UVM（Universal Verification Methodology）。UVM 几乎完全继承了 OVM，同时又采纳了 Synopsys 在 VMM 中的寄存器解决方案 RAL。同时，UVM 还吸收了 VMM 中的一些优秀的实现方式。可以说，UVM 继承了 VMM 和 OVM 的优点，克服了各自的缺点，代表了验证方法学的发展方向。
在 UVM 中对寄存器的验证一般有两种方法：一种
基金项目：天津市科技企业技术创新课题项目。www crazyenglish com
作者简介：田晓旭，天津芯海创科技有限公司，研究方向：集成电路设计验证。收稿日期：2019-11-14，修回日期：2020-01-11。
摘要：提出一种运用 RAL，基于 UVM 方法学的寄存器验证自动化方法。RAL 模型继承了寄存器模型的优点，去除了一些缺点可以更加灵活和快速地完成寄存器验证。分析 RAL 模型的实现过程，包括 RAL 模型的原理、生成方法、在平台中的应用和工作过程。仿真结果证明通过 RAL 模型进行寄存器验证的正确性。RAL 模型可实现寄存器验证的自动化和可复用，提高了寄存器验证的可靠性。RAL 模型的使用可大大提高寄存器验证的效率。
love for life
悲观的意思关键词：通用验证方法学；验证平台；模型；寄存器验证。
中图分类号：TN402；TP332.11 文章编号：1674-2583(2020)02-0018-04DOI：10.19339/j.issn.1674-2583.2020.02.006
中文引用格式：田晓旭，徐庆阳， 汤先拓，刘冬培.基于UVM的寄存器验证自动化方法[J].集成电路应用, 2020, 37(02): 18-21.
基于 UVM 的寄存器验证自动化方法但是你没有
天使的英文怎么写
田晓旭1，徐庆阳1，汤先拓2，刘冬培1
（1. 天津芯海创科技有限公司，天津 300457；3g考试
2. 国家数字交换系统工程技术研究中心，河南 450002）
Abstract — This paper prents a register Verification Automation Method Bad on UVM methodology using RAL. RAL model inherits the advantages of register model, and can accomplish register verification more flexibly and quickly without some disadvantages. It analyzes the implementation process of RAL model, including the principle, generation method, application and w
orking process of RAL model in the platform. The simulation results show the correctness of register verification by RAL model. RAL model can realize the automation and reusability of register verification and improve the reliability of register verification. The u of RAL model can greatly improve the efficiency of register verification.
bsk是什么意思Index Terms — universal verification methodology, verification platform, model, register verification.
Automatic Method of Register Verification Bad on UVM
TIAN Xiaoxu 1, XU Qingyang 1, TANG Xiantuo 2, LIU Dongpei 1
(1. Tianjin core Haichuang Technology Co.,Ltd, Tianjin 300457, China.
2. China National Digital Switching System Engineering & Technological R&D Center, Henan 450002, China.）
