【技术实现步骤摘要】
本申请涉及数字芯片设计验证，特别是指一种对id资源管理装置的验证方法、装置及系统、计算设备及存储介质。
技术介绍
1、现有的数字验证技术均以system verilog语言为主体验证语言，以通用验证方法学(universal verification methodology，uvm)为方法论支撑；通用验证手段有黑盒验证、灰盒验证、白盒验证；实现验证手段的验证方式采取参考模型验证，设计时序断言等。
2、采取单一的验证手段如：黑盒验证，从外部行为角度对设计的完备性进行验证。虽然可以验证出寄存器传输设计(register transfer level，rtl，即逻辑设计)在外部行为上的缺陷，但是由于对设计实现未知，对于快速定位设计中的问题存在不足；
3、采取单一的验证手段如：白盒验证，使用白盒参考模型的验证方式，利用高级编程语言system verilog进行建模，并利用设计内部各个节点及内部数据流实现方式进行恰当维度的参考建模，实现对rtl设计正确性的验证。但此手段同样存在缺陷，由于建模采取与设计类似的数据流，无法宏观地验证出模块内部的交互时序问题以及设计架构上存在的潜在问题。
技术实现思路
1、鉴于现有技术的以上问题，本申请提供一种对id资源管理装置的验证方法及装置、计算设备及存储介质，以解决单一验证手段存在的问题。
2、为达到上述目的，本申请第一方面提供了一种对id资源管理装置的验证方法，包括：
3、通过第一检查器向id资源管理装置发
4、分别通过第一检查器和第二检查器获取所述id资源管理装置响应所述id处理指令所生成的第一信息和第三信息，所述第一信息包括所述id资源管理装置的输出信息，所述第三信息包括所述id资源管理装置的内部多级缓存之间的交互信息；
5、通过第一检查器对所述第一信息进行验证，以及通过第二检查器对所述第三信息进行验证。
6、由上，本申请通过第一检查器+第二检查器(即黑盒检查器+白盒检查器)的验证结构，第一检查器(即黑盒检查器)可以从宏观维度验证id资源管理装置存取性能，弥补了白盒检查器无法验证的id资源管理装置架构的内部多级缓存的设计，交互设计的理论设计存在的潜在问题的缺陷，第二检查器(即白盒检查器)从微观维度验证id资源管理装置的内部多级缓存之间的交互数据流实现和交互实现，弥补了黑盒检查器无法验证的id资源管理装置具体实现与理论设计方案是否存在偏差的缺陷，黑盒检查器+白盒检查器可以既对理论设计方案的实现效果是否能够满足性能设计要求进行验证；又对理论设计方案实现的正确性进行验证。两个维度的验证可以确保id资源管理装置的设计正确性。
7、本申请第二方面提供了一种对id资源管理装置的验证装置，包括：
8、发送单元，用于通过第一检查器向id资源管理装置发送id处理指令；
9、获取单元，用于分别通过第一检查器和第二检查器获取所述id资源管理装置响应所述id处理指令所生成的第一信息和第三信息，所述第一信息包括所述id资源管理装置的输出信息，所述第三信息包括所述id资源管理装置的内部多级缓存之间的交互信息；
10、验证单元，用于通过第一检查器对所述第一信息进行验证，以及通过第二检查器对所述第三信息进行验证。
11、本申请第三方面提供了一种对id资源管理装置的验证系统，包括第一检查器和第二检查器，
12、所述第一检查器用于向id资源管理装置发送id处理指令、获取所述id资源管理装置响应所述id处理指令所生成的第一信息、以及对所述第一信息进行验证；所述第一信息包括所述id资源管理装置的输出信息；
13、所述第二检测器用于获取所述id资源管理装置响应所述id处理指令所生成的第三信息、以及对所述第三信息进行验证；所述第三信息包括所述id资源管理装置的内部多级缓存之间的交互信息。
14、本申请第四方面提供了一种计算设备，包括：
15、处理器，以及
16、存储器，其上存储有程序指令，所述程序指令当被所述处理器执行时使得所述处理器执行上述第一方面任一所述的方法。
17、本申请第五方面提供了一种计算机可读存储介质，其上存储有程序指令，所述程序指令当被计算机执行时使得所述计算机实现上述第一方面的任一所述的方法。
本文档来自技高网...【技术保护点】
1.一种对ID资源管理装置的验证方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，所述通过第一检查器对所述第一信息进行验证，包括：
3.根据权利要求2所述的方法，其特征在于，所述通过第二检查器对所述第三信息进行验证，包括：
4.根据权利要求3所述的方法，其特征在于，所述ID处理指令包括ID分配指令时，
5.根据权利要求3所述的方法，其特征在于，所述ID处理指令包括ID回收指令时，
6.一种对ID资源管理装置的验证装置，其特征在于，包括：
7.一种对ID资源管理装置的验证系统，其特征在于，包括第一检查器和第二检查器，
8.根据权利要求7所述的系统，其特征在于，所述第一检查器包括：
9.根据权利要求7或8所述的系统，其特征在于，所述第二检查器包括：
10.一种计算设备，其特征在于，包括：
【技术特征摘要】
1.一种对id资源管理装置的验证方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，所述通过第一检查器对所述第一信息进行验证，包括：
3.根据权利要求2所述的方法，其特征在于，所述通过第二检查器对所述第三信息进行验证，包括：
4.根据权利要求3所述的方法，其特征在于，所述id处理指令包括id分配指令时，
5.根据权利要求3所述的方法，其特征在于...
【专利技术属性】
技术研发人员：薛炜杰，
申请(专利权)人：北京物芯科技有限责任公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。