[发明专利]一种二级缓存接口协议的验证方法及系统在审
申请号: | 202111529312.8 | 申请日: | 2021-12-14 |
公开(公告)号: | CN114153680A | 公开(公告)日: | 2022-03-08 |
发明(设计)人: | 沈秀红 | 申请(专利权)人: | 广东赛昉科技有限公司 |
主分类号: | G06F11/26 | 分类号: | G06F11/26 |
代理公司: | 上海邦德专利代理事务所(普通合伙) 31312 | 代理人: | 周念沙 |
地址: | 528300 广东省佛山市顺德*** | 国省代码: | 广东;44 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 一种 二级缓存 接口 协议 验证 方法 系统 | ||
本发明涉及多核验证技术领域,具体涉及一种二级缓存接口协议的验证方法及系统,本发明对读数据检查时,记录每次读请求的关键信息,并在读数据返回时将内存模型的数据与DUT数据进行比较,进行唤醒请求检查时通过协议约定进行检查;所述方法对D或C通道数据检查时,将内存模型的数据与DUT数据进行比较,对B/C通道进行合理性检查时,根据二级缓存内容判定。本发明针对二级缓存接口协议进行验证,当协议中的数据出错时,实时报出错误信息,不用等到全局检查器报错,能够更有效快速的定位错误代码,提高调试效率。
技术领域
本发明涉及多核验证技术领域,具体涉及一种二级缓存接口协议的验证方法及系统。
背景技术
在多核系统中,二级缓存的验证至关重要,在多核验证中,通常会有一个全局检查器,在访存指令数据出现错误时报错,而这时的数据,已经经过了三级缓存,二级缓存和一级缓存,想要追溯到最初出错的地方,需要耗费大量的时间和精力,调试效率低下,影响项目进度。
本文针对二级缓存的接口协议进行验证,包括二级缓存与核之间的自定义协议,二级缓存与三级缓存/内存之间的Tilelink总线协议。对于接口协议的验证,能够有效且快速地报出错误,且能迅速定位到错误代码,大大缩短了多核验证的调试时间,提高调试效率。
发明内容
针对现有技术的不足,本发明公开了一种二级缓存接口协议的验证方法及系统,用于解决在多核验证中,通常会有一个全局检查器,在访存指令数据出现错误时报错,而这时的数据,已经经过了三级缓存,二级缓存和一级缓存,想要追溯到最初出错的地方,需要耗费大量的时间和精力,调试效率低下,影响项目进度的问题。
本发明通过以下技术方案予以实现:
第一方面,本发明提供了一种二级缓存接口协议的验证方法,所述方法对读数据检查时,记录每次读请求的关键信息,并在读数据返回时将内存模型的数据与DUT数据进行比较,进行唤醒请求检查时通过协议约定进行检查;所述方法对D或C通道数据检查时,将内存模型的数据与DUT数据进行比较,对B/C通道进行合理性检查时,根据二级缓存内容判定。
更进一步的,所述方法中,对读数据的检查,记录每次读请求的地址,标志位等关键信息,当读数据返回时,通过标志位查询记录的读请求信息,根据查询到的地址读取内存模型的数据,并与DUT数据进行比较;
对唤醒请求的检查,对唤醒请求与读数据之间的协议约定进行检查。
更进一步的,所述方法中,对D通道数据的检查,记录每次A通道请求的地址,标志位等关键信息,当D通道数据返回时,通过标志位查询记录的A通道请求信息,根据查询到的地址读取内存模型的数据,并与DUT数据进行比较;
对C通道数据的检查,根据C通道请求的地址,读取内存模型中的数据,并与DUT数据进行比较;
对B/C通道的合理性检查,若二级缓存收到B通道的ProbeBlock请求,说明二级缓存有这条cacheline,C通道不能回ProbeAck类型。
更进一步的,所述方法中,对读数据的检查流程如下:
当核发送读请求信号到二级缓存时,检查器将读地址,读标志位,读请求类型存入读请求队列;
当二级缓存返回读数据时,监测返回信息的标志位,同时遍历读请求队列,若在读请求队列中存在有效请求的标志位与返回信息的标志位相同,说明该返回数据对应的是该读请求;
从标志位一致的读请求中获得地址和读请求类型信息,如果读请求类型是写升级请求,则不需要返回数据,只需要写权限,所以不需要比较数据正确性,如果读请求类型是其他类型,则需要比较数据正确性;
通过获得的读请求地址,读取内存参考模型中的数据,该内存参考模型会根据多核验证系统实时更新写数据;
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于广东赛昉科技有限公司,未经广东赛昉科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/202111529312.8/2.html,转载请声明来源钻瓜专利网。