一种基于RAL的OTP寄存器验证方法

摘要

本发明公开了一种基于RAL的OTP寄存器验证方法，该方法包括：步骤1：搭建基于RAL的寄存器通用验证平台；步骤2：将随机数据写入OTP器件仿真模型的数据文件中；步骤3：获取当前OTP寄存器抽象级描述文件；步骤4：基于当前寄存器抽象级描述文件，更新基于RAL的寄存器通用验证平台；步骤5：在基于RAL的寄存器通用验证平台上运行预定义的寄存器的复位值验证测试用例，验证OTP控制逻辑正确性。本发明基于寄存器抽象层的验证方法学RAL对OTP寄存器进行双重验证，不仅验证寄存器复位值与读写属性是否符合设计说明书，实现对OTP寄存器的高效验证，还验证了OTP控制逻辑的正确性。