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

作者：田晓旭; 徐庆阳; 汤先拓; 刘冬培

来源：集成电路应用, 2020, 37(02): 18-21.

DOI：10.19339/j.issn.1674-2583.2020.02.006

• 通用验证方法学
• 验证平台
• 模型
• 寄存器验证

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