【技术实现步骤摘要】
本申请涉及处理器，尤其涉及一种多核处理器的模块验证方法、装置及电子设备。
技术介绍
1、半导体工艺的迅速发展使得微处理器的速度和集成度越来越高，高性能处理器设计朝着片上多核处理器的方向发展，而且片上集成的处理器核的数量和种类越来越多，多核处理器设计规模及复杂度也快速增加，随之而来的功能验证工作变得越来越复杂，并成为处理器设计所面临的重要挑战。
2、现有的高性能多核处理器中，高速缓存控制模块相对处理器其他模块来讲是一个独立的单元模块，非常适合做模块级验证；多核处理器高速缓存控制模块在采用仿真验证时，需要克服状态空间膨胀的问题，使得功能验证快速收敛，在有限的时间内达到高效、高覆盖率的多核处理器高速缓存控制模块的模块级验证。
技术实现思路
1、本申请旨在至少在一定程度上解决相关技术中的技术问题之一。
2、为此，本申请的第一个目的在于提出一种多核处理器的模块验证方法，以实现高效、高覆盖率的多核处理器的高速缓存控制模块的模块级验证。
3、本申请的第二个目的在于提出一种多核处理器的模块验证装置。
4、本申请的第三个目的在于提出一种电子设备。
5、本申请的第四个目的在于提出一种计算机可读存储介质。
6、本申请的第五个目的在于提出一种计算机程序产品。
7、为达上述目的，本申请第一方面实施例提出了一种多核处理器的模块验证方法，包括：
8、获取随机约束地址池，并根据所述随机约束地址池生成测试激励；
<...【技术保护点】
1.一种多核处理器的模块验证方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，所述随机约束地址池中包括N次访问请求的地址，N为正整数，根据所述随机约束地址池生成测试激励，包括：
3.根据权利要求1或2所述的方法，其特征在于，所述方法还包括：
4.根据权利要求3所述的方法，其特征在于，所述第一结果或所述第二结果的获取过程，包括：
5.根据权利要求4所述的方法，其特征在于，最后一级高速缓存控制模块根据所述访问请求生成访问内存的操作命令。
6.根据权利要求5所述的方法，其特征在于，所述基于所述访问地址和所述访问请求，得到所述第一结果或所述第二结果，包括：
7.根据权利要求1所述的方法，其特征在于，所述高速缓存控制模块与对应的所述局部计分板输入的所述测试激励相同，所述方法还包括：
8.根据权利要求7所述的方法，其特征在于，所述第一结果和所述第三结果中包括所述高速缓存控制模块的状态信息，其中，所述根据所述高速缓存控制模块的第一结果和所述局部计分板的第三结果，确定所述高速缓存控制模块
9.根据权利要求1所述的方法，其特征在于，所述全局计分板与所有高速缓存控制模块输入的所述测试激励相同，所述方法包括：
10.根据权利要求9所述的方法，其特征在于，所述根据所有高速缓存控制模块的第二结果和所述全局计分板的第四结果，确定所述高速缓存控制模块的验证结果，包括：
11.根据权利要求1所述的方法，其特征在于，所述方法包括：
12.根据权利要求4所述的方法，其特征在于，确定所述高速缓存控制模块的访问请求，包括：
13.根据权利要求12所述的方法，其特征在于，所述根据所述状态信息，确定所述高速缓存控制模块的访问请求，包括：
14.根据权利要求13所述的方法，其特征在于，所述根据所述状态信息，确定所述高速缓存控制模块的访问请求，包括：
15.一种多核处理器的模块验证装置，包括：
16.一种电子设备，其特征在于，包括：处理器，以及与所述处理器通信连接的存储器；
17.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质中存储有计算机执行指令，所述计算机执行指令被处理器执行时用于实现如权利要求1-14中任一项所述的方法。
18.一种计算机程序产品，其特征在于，包括计算机程序，该计算机程序被处理器执行时实现权利要求1-14中任一项所述的方法。
...【技术特征摘要】
1.一种多核处理器的模块验证方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，所述随机约束地址池中包括n次访问请求的地址，n为正整数，根据所述随机约束地址池生成测试激励，包括：
3.根据权利要求1或2所述的方法，其特征在于，所述方法还包括：
4.根据权利要求3所述的方法，其特征在于，所述第一结果或所述第二结果的获取过程，包括：
5.根据权利要求4所述的方法，其特征在于，最后一级高速缓存控制模块根据所述访问请求生成访问内存的操作命令。
6.根据权利要求5所述的方法，其特征在于，所述基于所述访问地址和所述访问请求，得到所述第一结果或所述第二结果，包括：
7.根据权利要求1所述的方法，其特征在于，所述高速缓存控制模块与对应的所述局部计分板输入的所述测试激励相同，所述方法还包括：
8.根据权利要求7所述的方法，其特征在于，所述第一结果和所述第三结果中包括所述高速缓存控制模块的状态信息，其中，所述根据所述高速缓存控制模块的第一结果和所述局部计分板的第三结果，确定所述高速缓存控制模块的验证结果，包括：
9.根据权利要求1所述的方法，其特征在于，所述全局计分板与所有高速缓存...
【专利技术属性】
技术研发人员：郇丹丹，李祖松，邱剑，
申请(专利权)人：北京微核芯科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。