[发明专利]面向高速缓冲存储器的可综合伪随机验证方法及装置

摘要

本发明公开了一种面向高速缓冲存储器的可综合伪随机验证方法及装置，方法步骤如下：1)建立数据镜像模块并初始化；2)生成伪随机数，构造访存控制数据信号并发送到高速缓冲存储器，同时启动超时计数器并在超时后报告超时错误；当收到高速缓冲存储器返回的读数据及其读识别号(ID)时，将返回的读数据和数据镜像模块比较，判断高速缓冲存储器的访问是否出错，同时判断是否发生读ID错、是否发生纠错码校验错；装置包括数据镜像模块、伪随机数产生器、约束指导测试激励生成模块和错误自动检查模块。本发明具有验证效率高、验证覆盖率高、验证质量好的优点。

主权项

一种面向高速缓冲存储器的可综合伪随机验证方法，其特征在于实施步骤如下：1)预先建立与高速缓冲存储器进行同步写操作的数据镜像模块，对所述数据镜像模块进行初始化，然后跳转执行下一步；2)生成伪随机数，从伪随机数中取出相应的位域，构造对高速缓冲存储器进行读操作或者写操作的访存控制数据信号，如果所述访存控制数据信号是写操作，则直接将访存控制数据信号发送到高速缓冲存储器，并更新数据镜像模块；如果所述访存控制数据信号是读操作，则产生读识别号，并将访存地址信号和读识别号存入读识别号列表，然后将访存控制数据信号和读识别号发送到高速缓冲存储器，同时启动该读识别号的超时计数器，直到携带该读识别号的读数据返回或者超时计数器溢出，如果超时计数器溢出，则报告超时错误；当收到高速缓冲存储器返回的读数据及其读识别号时，将读识别号的超时计数器清0，从读识别号列表中匹配出访存地址，从数据镜像模块的相同访存地址读取相应的数据，将两份读数据进行比较，从而判断高速缓冲存储器的读数据是否出错，同时根据返回的读识别号是否在读识别号列表中判断是否发生读识别号错，根据返回的读数据进行ECC校验判断是否发生ECC校验错。