一种带状态监测的可配置一致性验证系统技术方案

本发明专利技术涉及芯片验证技术领域，具体涉及一种带状态监测的可配置一致性验证方法。本发明专利技术通过以下技术方案得以实现的：一种带状态监测的可配置一致性验证系统，包含片上网络以及片上网络连接的核组，每个所述核组包含核心、存储控制器和访存一致性处理部件；所述核心用于生成与发送激励；所述访存一致性处理部件接收来自所述核心发送来的激励并从所述存储控制器中取得结果返还至所述核心；所述核心还用于对所述结果进行验证；还包含动态监测模块。本发明专利技术的目的是提供一种带状态监测的可配置一致性验证方法，不仅能快速灵活的构建Cache一致性验证环境，且能动态实时的监测各个模块的状态。

A configurable conformance verification system with status monitoring

【技术实现步骤摘要】
一种带状态监测的可配置一致性验证系统
本专利技术涉及芯片验证
，具体涉及一种带状态监测的可配置一致性验证方法。
技术介绍
随着计算机体系结构研究的不断深入和集成电路设计技术的快速发展,处理器的频率得到了极大提升,为了进一步提高处理器的性能,多核并行成为了处理器研制的重要发展方向。虽然存储器技术也在持续提高,但是其频率\容量\读写速度等指标远远满足不了处理器的性能需求,产生了存储墙问题。为了有效缓解存储墙问题,目前普遍在处理器核心中加入多级高速缓存Cache,使得处理器核心的访存速度接近运算速度,并且可访问的空间没有变小,从而有效提升性能。如公告号为CN200810246665.5的中国专利文件所公布的技术方案中，其中一个步骤使用了分布式共享存储算法。在现有技术中，多核并行处理器往往采用此种分布式共享存储技术。在这种技术中，每个处理器核心中的Cache都可以和存储器共享数据,便捷高效，但又引发了多个核心间的数据一致性问题。这就必须设计适合处理器整体架构和性能指标的Cache一致性协议,来统一管理各个核心的Cache和主存中的数据,在保证访存正确性的前提下,提高处理器的性能。由于处理器的架构千差万别,性能指标各有侧重,再加上片上网络结构创新,在多核处理器系统中,Cache一致性协议的高效、正确和稳定就显得至关重要。进一步的，对Cache一致性协议的验证会贯穿整个处理器研制的始终,对快速构建环境、动态实时报错、激励可重用等方面都提出了更高的要求。
技术实现思路
本专利技术的目的是提供一种带状态监测的可配置一致性验证方法，不仅能快速灵活的构建Cache一致性验证环境，且能动态实时的监测各个模块的状态。一种带状态监测的可配置一致性验证系统，包含片上网络，还包含与片上网络连接的核组，每个所述核组包含核心、存储控制器和仿存一致性处理部件；所述核心用于生成与发送激励；所述仿存一致性处理部件接收到来自所述核心发送来的激励并从所述存储控制器中取得结果返还至所述核心；所述核心还用于对所述结果进行验证；还包含动态监测模块，所述动态监测模块包含核心监测模块、存控监测模块和一致性协议处理部件监测模块。作为本专利技术的优选，所述核组为两个或多个，共同连接在所述片上网络上。作为本专利技术的优选，所述动态监测模块包含两项监测内容，分别为自身状态实时监测和传输协议实时监测。作为本专利技术的优选，所述核心和所述存储控制器为待测设计或虚拟模型，所述仿存一致性处理部件只能为待测设计。一种带状态监测的可配置一致性验证系统的验证方法，其特征在于，包含如下步骤：S1、测试环境搭建步骤；编写核心与存储控制器的虚拟模型，且根据验证目标来配置参数；S2、激励生成与结果检查步骤；核心产生激励数据并发送到仿存一致性处理部件，仿存一致性处理部件从存储控制器中获取到结果并发送回所述核心，所述核心对所述结果进行校验；S3、动态监测步骤；对于核心、仿存一致性处理部件和存储控制器三个部件的动态监控，包含三个部件本身状态的动态监控和各部件之间传输协议的动态监控。作为本专利技术的优选，所述S1、测试环境搭建步骤具体包含如下步骤：S10、待测目标学习步骤，学习待测目标的性能、架构和特点；S11、封装类似模块步骤，将结构功能类似的模块进行封装处理；S12、配置步骤，对核心与存储控制器两个部件进行参数化配置。作为本专利技术的优选，对于核心和存储控制器中各个模块，采用统一的模型编写方式。作为本专利技术的优选，在S02、激励规则制定步骤中，测试结果为有错结果和无错结果。综上所述，本专利技术具备如下有益效果：通过本技术方案，在处理器研制的过程中,可根据不同阶段的验证目标,快速构建不同侧重点的一致性验证环境,由于测试激励有良好的可移植性,大大减少开发测试激励的工作量。此外，由于对各个模块都加入了状态的动态监测,使得报错变得高效简洁,大大提升了验证效率,尤其可大大缩减大规模高强度测试激励的调试时间。具体实施方式附图说明：图1是实施例一的示意图。具体实施方式：以下结合附图对本专利技术作进一步详细说明。本具体实施例仅仅是对本专利技术的解释，其并不是对本专利技术的限制，本领域技术人员在阅读完本说明书后可以根据需要对本实施例做出没有创造性贡献的修改，但只要在本专利技术的权利要求范围内都受到专利法的保护。实施例1，一种带状态监测的可配置一致性验证方法。在整个系统中，宏观可以分成三个部分：部分一、核心。这个部分是激励信号产生的数据源，用于发送仿存请求。部分二、一致性处理部件。这个部分收集到来自存储控制器的仿存请求，并进行处理。部分三、存储控制器。这个部分是仿存目标。一致性处理部件将仿存请求发送给存储控制器。存储控制器随后产生了仿存结果，并将仿存结果发送给部分二，部分二再将数据返还到部分一，形成一个数据闭环。其中，部分一和部分三可以为虚拟模型，但部分二，即一致性处理部件需要为真实部件，即dut，DesignUnderTest，待测设计。第一步骤：待测目标学习步骤。在这一步骤中，学习待测目标的性能、架构、特点、目的。例如有些芯片支持32位地址，有些芯片支持48位地址，每个待测目标的结构和目的都有一定的差别，这一过程是学习并获得这个芯片这个架构的基本情况。随后，第二步骤，封装类似模块。在学习完毕之后对系统进行封装。例如，有16个待测模块，可以进行封装，封装成4个核组，例如图1中片上网络上包含有多个核组，图中为核组0和核组n。在数据验证过程中，采用由少到多，由浅入深的顺序。可以一开始只测试2个核组，系统稳定了再运行4个核组，从而提升系统运行效率。第三步骤，验证环境的构建。在这个步骤中，对部分二不加处理，处理的是部分一和部分三的配置化。例如，部分一，核心，其为激励数据/访存请求的来源。在实际使用中，这部分包含有多个不同类别的模块，例如运算核心模块、系统接口模块、运算控制模块。在不同的验证环境下，根据实际情况，其数据来源模块的种类不同，某种数据的数量也有差别。这个过程就允许验证工程师编写虚拟模型，并根据具体的验证目标，在环境构建时使用参数化配置的方式,快速实现不同结构不同重点的验证环境的构建，方便快捷。经过了以上三个步骤，整个测试环境已经构建完毕第四步骤，激励生成与结果检查步骤。此时，开始激励生成。具体的，由第一部分，即图1中的核心，产生激励数据。且发送到第二部分，即图1中的Cache一致性处理部件，第二部分经过处理，将请求发送到第三部分，即图1中的存储控制器，并在相应的地址中取得相应的结果。随后，结果通过第二部分再返回到第一部分。这里需要说明的是，数据结果的检验并不在cache一致性处理部件中完成，而是同样由第一部分，即核心处完成。在本技术方案中，第一部分，不仅负责本文档来自技高网...

【技术保护点】
1.一种带状态监测的可配置一致性验证系统，包含片上网络以及与片上网络连接的核组，每个所述核组包含核心、存储控制器和访存一致性处理部件； 所述核心用于生成与发送激励； 所述访存一致性处理部件接收来自所述核心发送来的激励并从所述存储控制器中取得结果并返还至所述核心； 所述核心还用于对所述结果进行验证； 还包含动态监测模块，所述动态监测模块包含核心监测模块、存控监测模块和一致性协议处理部件监测模块。/n

【技术特征摘要】
1.一种带状态监测的可配置一致性验证系统，包含片上网络以及与片上网络连接的核组，每个所述核组包含核心、存储控制器和访存一致性处理部件；所述核心用于生成与发送激励；所述访存一致性处理部件接收来自所述核心发送来的激励并从所述存储控制器中取得结果并返还至所述核心；所述核心还用于对所述结果进行验证；还包含动态监测模块，所述动态监测模块包含核心监测模块、存控监测模块和一致性协议处理部件监测模块。


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


3.根据权利要求1所述的一种带状态监测的可配置一致性验证系统，其特征在于：所述动态监测模块包含两项监测内容，分别为自身状态实时监测和传输协议实时监测。


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


5.一种如权利要求1-4任意一项所述的...

【专利技术属性】
技术研发人员：李峰，朱巍，吴珊，宁永波，菅陆田，谢军，刘佳季，
申请(专利权)人：无锡江南计算技术研究所，
类型：发明
国别省市：江苏;32