[发明专利]一种处理器内部镜像控制模块注错验证系统及方法

说明书

本发明公开了一种处理器内部镜像控制模块注错验证系统及方法，该系统包括：注错模块，用来根据配置的敏感地址位以及请求的来源，生成不同状态的读响应；每一个注错模块和一个镜像控制模块相连；软件测试模块，用于根据注错模块配置的敏感地址位，构造与敏感地址位相匹配的不同读写请求报文激励发往互为镜像的一组镜像控制模块，并配合注错模块构造包含各种错误类型的验证场景，实现对镜像控制模块功能的验证。该方法可以基于上述系统来实现。本发明具有原理简单、使用方便、灵活性好、适用范围广等优点。

技术领域

本发明主要涉及到集成电路功能验证技术领域，特指一种处理器内部镜像控制模块注错验证方法及系统。

背景技术

随着集成电路技术的快速发展，集成电路规模越来越大，成本也越来越高，一次流片的代价很大，因此芯片中有专门用于增强其可靠性和鲁棒性的功能部件，对这类部件的设计及验证工作尤为重要。

芯片的一般功能模块是为了实现某种具体功能，而这种为了提高可靠性和鲁棒性所设计的功能模块更注重于对各种错误情况的容错处理，其作用是保证芯片发生某一种特定错误时候，芯片仍然可以不受影响地稳定运行，大大减少了芯片因为出错而报废的几率。

镜像控制模块是一种增强芯片可靠性的模块，其功能是增强访存的可靠性。如图1所示，在存储控制模块0和存储控制模块1的上一级分别连接所述镜像控制模块0和镜像控制模块1；一个存储控制模块及与其相连的镜像控制模块构成一条访存通路并与一个内存相连，镜像控制模块0和存储控制模块0构成访存通路0并与内存0相连，镜像控制模块1和存储控制模块1构成访存通路1并与内存1相连。

两条访存通路上的镜像控制模块0和镜像控制模块1互为一组镜像，互为镜像是指这两条访存通路上的内存模块存储相同的数据、互为备份，其作用在于通过减少一半的可用内存容量来换取数据的可靠性。

镜像控制模块的工作原理是，当CPU(Central Processing Unit，中央处理器)通过访存通路0读取内存0的某个地址的数据出现错误，镜像控制模块可以再一次或多次发送读请求以获取正确数据；当出现错误次数达到设定的阈值时，可以去内存1获取正确的数据，同时对应内存0的错误地址计数值加1；当出现错误地址计数值达到设定的阈值时，可以判定内存0出现故障，后续读请求不再通过访存通路0访问内存0，而是切换到访存通路1，通过访存通路1访问内存1以获取正确数据。

一般模块的模块级验证工作，主要是开发参考模型用于功能比对并快速定位错误，开发验证组件和测试激励以驱动并监测接口报文信息，构造覆盖率模型以收集功能覆盖率确保验证的完备性。但是，对于专用于增强可靠性的模块，其模块功能更多用于对各种错误类型的处理。除了开发上述的验证组件外，还需要开发用于验证其容错处理功能的注错模型以构造多种错误场景，而这些错误场景无法单独通过激励来构造。对于镜像控制模块验证来说，构造错误场景的关键在于配合注错模型构造发往镜像控制模块的包含错误状态的读响应信号，因此需要设计一种注错模型及其相关方法以实现对镜像控制模块的验证。

发明内容

本发明要解决的技术问题就在于：针对现有技术存在的技术问题，本发明提供一种原理简单、使用方便、灵活性好、适用范围广的处理器内部镜像控制模块注错验证系统及方法。

为解决上述技术问题，本发明采用以下技术方案：

一种处理器内部镜像控制模块注错验证系统，其包括：

注错模块，用来根据配置的敏感地址位以及请求的来源，生成不同状态的读响应；每一个注错模块和一个镜像控制模块相连；

软件测试模块，用于根据注错模块配置的敏感地址位，构造与敏感地址位相匹配的不同读写请求报文激励发往互为镜像的一组镜像控制模块，并配合注错模块构造包含各种错误类型的验证场景，实现对镜像控制模块功能的验证。

作为本发明系统的进一步改进：所述读响应包括以下一种或多种：