基于UVM的寄存器验证自动化方法

• 作者: 田晓旭 徐庆阳 汤先拓 刘冬培
• 来源期刊: 集成电路应用
• 关键词: 通用验证方法学 验证平台 模型 寄存器验证
• 年，卷（期）: 2020,（2）
• 所属期刊栏目: 研究与设计|Research and Design
• 页码范围: 18-21
• 页数: 4页
• 分类号: TN402|TP332.11
• 语种: 中文
• DOI: 10.19339/j.issn.1674-2583.2020.02.006

摘要

提出一种运用RAL,基于UVM方法学的寄存器验证自动化方法.RAL模型继承了寄存器模型的优点,去除了一些缺点可以更加灵活和快速地完成寄存器验证.分析RAL模型的实现过程,包括RAL模型的原理、生成方法、在平台中的应用和工作过程.仿真结果证明通过RAL模型进行寄存器验证的正确性.RAL模型可实现寄存器验证的自动化和可复用,提高了寄存器验证的可靠性.RAL模型的使用可大大提高寄存器验证的效率.