作者：田晓旭; 徐庆阳; 汤先拓; 刘冬培通用验证方法学验证平台模型寄存器验证
摘要：提出一种运用RAL,基于UVM方法学的寄存器验证自动化方法。RAL模型继承了寄存器模型的优点,去除了一些缺点可以更加灵活和快速地完成寄存器验证。分析RAL模型的实现过程,包括RAL模型的原理、生成方法、在平台中的应用和工作过程。仿真结果证明通过RAL模型进行寄存器验证的正确性。RAL模型可实现寄存器验证的自动化和可复用,提高了寄存器验证的可靠性。RAL模型的使用可大大提高寄存器验证的效率。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
