[发明专利]一种用于EDAC验证的可配置存储器验证系统

说明书

本发明公开了一种用于EDAC验证的可配置存储器验证系统，包括控制单元、校验码计算单元、地址计算单元、存储单元。控制单元用于进行存储单元中数据和校验码的初始化以及控制整个存储器验证模型的读写访问功能，校验码计算单元用于计算产生初始数据对应的初始校验码，地址计算单元用于计算初始校验码存储地址，存储单元用来存储数据和校验码；本发明能够解决存储器控制器EDAC功能验证时，不使用软件计算产生校验码，简化了验证过程，优化了验证流程，大量节省了验证时间，降低了工作难度。

技术领域

本发明涉及一种用于EDAC验证的可配置存储器验证系统，属于集成电路验证技术领域。

背景技术

存储器是冯·诺依曼计算机结构的重要部件，存储器控制器也是计算机架构设计中必不可少的部分。宇航领域微处理器由于其特殊的应用环境，对存储器控制器提出了更高的可靠性要求，EDAC技术是存储器控制器常用的一种抗辐照加固技术。

在对存储器控制器EDAC功能进行仿真验证时，需要在程序初始化时把相应的校验码存储在正确位置，已有的验证方式通常采用软件计算的方式，根据程序存放位置、程序大小、程序段的分配等相关信息产生校验码数据文件。

上述已有方式存在的缺点主要表现在：软件计算产生校验码的方式需要根据实际应用情况，把所需要的参数信息传递给软件进行计算，生成校验码需要多重配置(包括数据位宽、存储器大小、起始地址、结束地址等)，当某个配置参数超过软件预设的范围时，需要重新对软件进行修改，过程繁琐；软件计算产生校验码的方式需要额外的在验证环境中考虑这一步骤，编写相应脚本调用软件；由于实际应用的多元化，软件计算方式将生成的校验码和数据以数据包形式存放，不同的应用环境，数据包存放形式不同，软件不具备一种通用的提取方式，导致不同应用环境中软件提取的校验码可能会出错。

发明内容

本发明的目的在于克服现有技术的上述不足，提供一种用于EDAC验证的可配置存储器验证系统，不使用软件计算产生校验码，简化了验证过程，优化了验证流程，大量节省验证时间，降低工作难度。

本发明的上述目的是通过如下技术方案予以实现的：

一种用于EDAC验证的可配置存储器验证系统，包括控制单元、校验码计算单元、地址计算单元和存储单元；

校验码计算单元：接收来自控制单元的初始数据，经校验码计算产生初始校验码，反馈给控制单元；

地址计算单元：接收来自控制单元的初始地址，经过地址计算产生初始校验码地址，反馈给控制单元；

控制单元：接收验证平台输入的初始数据、初始地址和存储配置信号，把初始数据传递给校验码计算单元，把初始地址传递给地址计算单元，根据存储配置信号选择将初始数据存放在初始地址指定的存储单元和/或将初始校验码存放在初始校验码地址指定的存储单元；当接收到验证平台的写操作指令时，将写操作指令中的数据写入存储单元指定地址，所述指定地址是指写操作指令中的地址；当接收到验证平台的读操作指令时，根据读操作指令中的地址从存储单元中提取相应的信息，输出给验证平台。

存储单元用于存储来自控制单元的内容。

所述存储配置信号为只存储数据、只存储校验码或同时存储数据和校验码。

当存储配置信号为只存储数据时，控制单元将初始数据存放在初始地址指定的存储单元；

当存储配置信号为只存储校验码时，控制单元将初始校验码存放在初始校验码地址指定的存储单元；

当存储配置信号为同时存储数据和校验码时，控制单元将将初始数据存放在初始地址指定的存储单元，将初始校验码存放在初始校验码地址指定的存储单元。

校验码计算单元进行校验码计算产生初始校验码的过程通过硬件实现，具体实现如下：