[发明专利]一种带状态监测的可配置一致性验证系统

权利要求书

1.一种带状态监测的可配置一致性验证系统，包含片上网络以及与片上网络连接的核组，每个所述核组包含核心、存储控制器和访存一致性处理部件；所述核心用于生成与发送激励；所述访存一致性处理部件接收来自所述核心发送来的激励并进行处理，处理完毕后将请求发送至所示存储控制器； 所述存储控制器产生访存结果，并发送给所述一致性处理部件，所述一致性处理部件将所述访存结果发送给所述核心， 所述核心对所述访存结果进行验证；还包含动态监测模块，所述动态监测模块包含核心监测模块、存控监测模块和一致性协议处理部件监测模块；所述核心监测模块、所述存控监测模块和所述一致性协议处理部件监测模块分别对所述核心、存储控制器和访存一致性处理部件进行实时检测，检测内容均为两项：传输过程的监测和自身工作状态的监测，对自身工作状态的监测包括：若自身工作状态内容出错，则直接报错；对于所述核心和所述存储控制器中各个模块，采用统一的模型编写方式。

2.根据权利要求1所述的一种带状态监测的可配置一致性验证系统，其特征在于：所述核组为两个或多个，共同连接在所述片上网络上。

3.根据权利要求1所述的一种带状态监测的可配置一致性验证系统，其特征在于：所述核心和所述存储控制器为待测设备或虚拟模型，所述访存一致性处理部件只能为待测设计。

4.一种如权利要求1-3任意一项所述的一种带状态监测的可配置一致性验证系统的验证方法，其特征在于，包含如下步骤： S1、测试环境搭建步骤； 编写核心与存储控制器的虚拟模型，且根据验证目标来配置参数； S2、激励生成与结果检查步骤； 核心产生激励数据并发送到访存一致性处理部件，访存一致性处理部件从存储控制器中获取到结果并发送回所述核心，所述核心对所述结果进行校验； S3、动态监测步骤；对于核心、访存一致性处理部件和存储控制器三个部件的动态监控，包含三个部件本身状态的动态监控和各部件之间传输协议的动态监控。

5.根据权利要求4所述的一种带状态监测的可配置一致性验证系统的验证方法，其特征在于：所述S1、测试环境搭建步骤具体包含如下步骤： S10、待测目标学习步骤， 学习待测目标的性能、架构和特点； S11、封装类似模块步骤， 将结构功能类似的模块进行封装处理； S12、配置步骤， 对核心与存储控制器两个部件进行参数化配置。