处理器IP的验证方法、装置和系统制造方法及图纸

本发明专利技术实施例提供一种处理器IP的验证方法、装置和系统，该方法包括：获取第一数据包，若第一数据包是数据访问请求包，则查询存储状态表，判断数据访问请求包携带的访问地址是否需要进行一致性维护，若判断出数据访问请求包携带的访问地址需要进行一致性维护，则针对访问地址生成一致性维护请求，并根据一致性维护请求对访问地址进行一致性维护，完成对访问地址进行一致性维护之后，根据数据访问请求包携带的访问地址生成响应数据包，并将响应数据包发送至处理器核，通过模拟完成一致性验证，缩短一致性验证需要的时间，并提高验证效率。

【技术实现步骤摘要】

本专利技术实施例涉及计算机技术，尤其涉及一种处理器IP(Intellectual Property，知识产权)的验证方法、装置和系统。
技术介绍
随着微处理器技术的发展，片上多核处理器的规模和复杂性急剧升高，多核处理器的一致性验证成为多核处理器验证的难点，给集成电路验证带来了巨大的挑战。现有技术中，对于多核处理器的一致性验证主要依靠多核验证系统来实现，该多核验证系统包括：多个处理器核、互联网络、缓存一致性控制器和外部存储；其中，线与互联网络连接，互联网络与缓存一致性控制器连接，且该缓存一致性控制器与外部存储连接。一致性验证包括对数据访存请求和一致性维护请求的验证，上述数据访存请求验证为：某处理器核发出一个访存请求，通过互联网络，以及一致性控制器的处理，从外部存储中获取对应的数据包，并通过总线最终返回该多核处理器。上述一致性维护请求验证为：多个处理器核同时发出对同一地址的访问请求，即对共享地址的数据访问形成冲突(即出现极端情况)，则缓存一致性控制器对该多个相同的访问请求进行串行序列化，依次进行处理，并从外部存储获取对应的数据包，通过总线返回多核处理器。最终完成该多核处理器的一致性验证。另外，正常情况下，并不会出现多个处理器核对同一地址发出访问请求，但是，为了达到验证效果，则需要大量的数据激励输入，即会出现一致性维护请求验证这种极端情况，在这种极端情况下，多核处理器何时能接收到返回的数据包，取决于队列是否拥塞，以及在外部存储中是否存在对应的数据包，导致一致性验证需要的时间较长，验证效率低。
技术实现思路
本专利技术实施例提供一种处理器IP的验证方法、装置和系统，通过模拟产生第一数据包，若第一数据包携带的访问地址需要进行一致性维护，则生成一致性维护请求包并进行一致性维护，修改存储状态表，生成响应数据包返回处理器核，完成一致性验证，解决了现有技术中验证时间长，效率低的问题，缩短一致性验证需要的时间，并提高验证效率。本专利技术实施例第一方面提供一种处理器IP的验证方法，包括：获取第一数据包；若所述第一数据包是数据访问请求包，则查询存储状态表，判断所述数据访问请求包携带的访问地址是否需要进行一致性维护；若判断出所述数据访问请求包携带的访问地址需要进行一致性维护，则针对所述访问地址生成一致性维护请求，并根据所述一致性维护请求对所述访问地址进行一致性维护；完成对所述访问地址进行一致性维护之后，根据所述数据访问请求包携带的访问地址生成响应数据包，并将所述响应数据包发送至处理器核。本专利技术实施例第二方面提供一种处理器IP的验证装置，包括：获取模块，用于获取第一数据包；处理模块，用于若所述第一数据包是数据访问请求包时，查询存储状态表，并判断所述数据访问请求包携带的访问地址是否需要进行一致性维护；所述处理模块，用于若判断出所述数据访问请求包携带的访问地址需要进行一致性维护，则针对所述访问地址生成一致性维护请求，并根据所述一致性维护请求对所述访问地址进行一致性维护；所述处理模块还用于完成对所述访问地址进行一致性维护之后，根据所述数据访问请求包携带的访问地址生成响应数据包；发送模块，用于将所述响应数据包发送至处理器核。本专利技术实施例第三方面提供一种处理器IP的验证系统，包括：处理器核和第二方面提供的装置。本专利技术实施例提供的处理器IP的验证方法、装置和系统，通过模拟产生第一数据包，若第一数据包携带的访问地址需要进行一致性维护，则生成一致性维护请求包并进行一致性维护，修改存储状态表，生成响应数据包返回处理器核，完成一致性验证，缩短一致性验证需要的时间，并提高验证效率。附图说明为了更清楚地说明本专利技术实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作一简单地介绍，显而易见地，下面描述中的附图是本专利技术的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动性的前提下，还可以根据这些附图获得其他的附图。图1为本专利技术处理器IP的验证方法实施例一的流程图；图2为本专利技术处理器IP的验证装置实施例结构示意图；图3为本专利技术处理器IP的验证系统实施例的结构示意图。具体实施方式为使本专利技术实施例的目的、技术方案和优点更加清楚，下面将结合本专利技术实施例中的附图，对本专利技术实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例是本专利技术一部分实施例，而不是全部的实施例。基于本专利技术中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本专利技术保护的范围。为实现本专利技术的技术方案，需要实例化一个处理器核IP的模型，该IP表示的是集成电路的设计，设计一个与处理器核IP接口兼容的处理器IP的验证装置，能够对高速缓存进行访问，并能从全局角度记录每一数据块的状态，融合缓存与外部存储访问功能，还可以虚拟生成一致性维护请求，最终实现对缓存中的地址的访问和验证。图1为本专利技术处理器IP的验证方法实施例一的流程图，如图1所示，本实施例的执行主体是处理器IP的验证装置，具体的处理器IP的验证方法步骤为：S101：获取第一数据包。在本实施例中，该第一数据包处理器IP的验证装置自身生成的一致性维护请求包，也可以接收到的处理器核发送的数据访问请求包，还可以为处理器核返回的一直性请求响应包。S102：若所述第一数据包是数据访问请求包，则查询存储状态表，判断所述数据访问请求包携带的访问地址是否需要进行一致性维护。在本实施例中，存储状态表中保存了处理器核和虚拟的其他处理器核中的备份数据，以及每个备份数据的地址和存储状态，获取到第一数据包后，判断得到该第一数据包是数据访问请求包时，查询存储状态表中该数据访问请求包携带的访问地址是否存在数据备份，若已经存在，则需要进行一致性维护，若不存在，则直接响应该数据访问请求包中的访问请求。S103：若判断出所述数据访问请求包携带的访问地址需要进行一致性维护，则针对所述访问地址生成一致性维护请求，并根据所述一致性维护请求对所述访问地址进行一致性维护。在本实施例中，通过上述步骤判断第一数据包中的携带的访问地址需要进行一致性维护后，针对该访问地址生成一个一致性维护请求(一般情况下是生成一个一致性维护请求包)，并根据该一致性维护请求对所述访问地址对应的数据进行一致性维护，例如：无效该访问地址对应的数据备份，完成一致性维护。S104：完成对所述访问地址进行一致性维护之后，根据所述数据访问请求包携带的访问地址生成响应数据包，并将所述响应数据包发送至处理器核。在本实施例中，执行完一致性维护后，继续响应数据访问请求包携带的数据访问请求，具体的，获取与所述访问地址的数据访问请求，并根据所述数据访问请求，修改所述存储状态表中该访问地址对应的原始数据，缓存新的数据，并生成响应数据包，并将该响应数据包发送给处理器核。本实施例提供的处理器IP的验证方法，通过接收或者生成第一数据包，判断第一数据包携带的访问地址需要进行一致性维护，则生成一致性维护请求包并进行一致性维护，修改存储状态表，生成响应数据包返回处理器核，整个过程都由处理器IP的验证装置独立完成一致性验证，并不需要外部激励，也不需要外部存储，缩短一致性验证需要的时间，并提高验证效率。在本专利技术处理器IP的验证方法的实施例二中，在上述实施例的基础上，若所述第一数据包是一致性维护请本文档来自技高网...

【技术保护点】
一种处理器IP的验证方法，其特征在于，包括：获取第一数据包；若所述第一数据包是数据访问请求包，则查询存储状态表，判断所述数据访问请求包携带的访问地址是否需要进行一致性维护；若判断出所述数据访问请求包携带的访问地址需要进行一致性维护，则针对所述访问地址生成一致性维护请求，并根据所述一致性维护请求对所述访问地址进行一致性维护；完成对所述访问地址进行一致性维护之后，根据所述数据访问请求包携带的访问地址生成响应数据包，并将所述响应数据包发送至处理器核。

【技术特征摘要】
1.一种处理器IP的验证方法，其特征在于，包括：获取第一数据包；若所述第一数据包是数据访问请求包，则查询存储状态表，判断所述数据访问请求包携带的访问地址是否需要进行一致性维护；若判断出所述数据访问请求包携带的访问地址需要进行一致性维护，则针对所述访问地址生成一致性维护请求，并根据所述一致性维护请求对所述访问地址进行一致性维护；完成对所述访问地址进行一致性维护之后，根据所述数据访问请求包携带的访问地址生成响应数据包，并将所述响应数据包发送至处理器核。2.根据权利要求1所述的方法，其特征在于，所述根据所述数据访问请求包携带的访问地址生成响应数据包，并将所述响应数据包发送至处理器核具体包括：获取与所述访问地址的数据访问请求，并根据所述数据访问请求，修改所述存储状态表并生成响应数据包；将所述响应数据包发送到处理器核。3.根据权利要求1所述的方法，其特征在于，所述方法还包括：若所述第一数据包是一致性维护请求包，则根据所述第一数据包中的一致性维护请求生成控制命令数据包；将所述控制命令数据包发送给所述处理器核。4.根据权利要求3所述的方法，其特征在于，若所述第一数据包是一致性维护请求包，则所述获取第一数据包之前，所述方法还包括：根据预设算法选取维护地址，并针对所述维护地址生成一致性维护请求，并将所述一致性维护请求封装成所述第一数据包。5.根据权利要求3所述的方法，其特征在于，所述将所述控制命令数据包发送给处理器核之后，还包括：接收所述处理器核返回的一致性请求响应包，并根据所述一致性请求响应包修改所述存储状态表。6.根据权利要求3所述的方法，其特征在于，所述响应数据包包括响应数据和在预设延迟范围内随机选取的发送延迟时间；所述控制命令数据包包括控制命...

【专利技术属性】
技术研发人员：张尧，孙国庆，
申请(专利权)人：龙芯中科技术有限公司，
类型：发明
国别省市：北京;11