首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

多核处理器的模块验证方法、装置及电子设备 

申请/专利权人:北京微核芯科技有限公司

申请日:2024-03-28

公开(公告)日:2024-06-28

公开(公告)号:CN117971721B

主分类号:G06F12/0811

分类号:G06F12/0811;G06F15/78

优先权:

专利状态码:有效-授权

法律状态:2024.06.28#授权;2024.05.21#实质审查的生效;2024.05.03#公开

摘要:本申请提出一种多核处理器的模块验证方法、装置及电子设备,其中,该多核处理器的模块验证方法包括:获取随机约束地址池,并根据随机约束地址池生成测试激励;将测试激励输入被测模块,得到被测模块中任一高速缓存控制模块的第一结果,和被测模块中所有高速缓存控制模块整体的第二结果;获取局部计分板和全局计分板,并将测试激励分别输入局部计分板和全局计分板,得到第三结果和第四结果;根据第三结果和第四结果,分别对第一结果和第二结果进行验证,确定被测模块的验证结果,解决现有技术中模块验证空间膨胀快,仿真复杂的技术问题,实现高效、高覆盖率的多核处理器高速缓存控制模块的模块级验证。

主权项:1.一种多核处理器的模块验证方法,其特征在于,所述方法包括:获取随机约束地址池,并根据所述随机约束地址池生成测试激励;将所述测试激励输入被测模块,得到所述被测模块中任一高速缓存控制模块的第一结果,和所述被测模块中所有高速缓存控制模块整体的第二结果;获取任一高速缓存控制模块对应的局部计分板和所有高速缓存控制模块对应的全局计分板,并将所述测试激励分别输入所述局部计分板和所述全局计分板,得到第三结果和第四结果;根据所述第三结果和所述第四结果,分别对所述第一结果和所述第二结果进行验证,确定所述被测模块的验证结果;其中,所述根据所述第三结果和所述第四结果,分别对所述第一结果和所述第二结果进行验证,确定所述被测模块的验证结果,包括:响应于所述测试激励中的访问请求为读请求,根据所述高速缓存控制模块的第一结果和所述局部计分板的第三结果,确定所述高速缓存控制模块的验证结果;根据所有高速缓存控制模块的第二结果和所述全局计分板的第四结果,确定所述高速缓存控制模块的验证结果。

全文数据:

权利要求:

百度查询: 北京微核芯科技有限公司 多核处理器的模块验证方法、装置及电子设备

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。