广东赛昉科技有限公司沈秀红获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉广东赛昉科技有限公司申请的专利多核访存指令验证系统与方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114237715B 。
龙图腾网通过国家知识产权局官网在2025-12-05发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202111352963.4,技术领域涉及:G06F9/312;该发明授权多核访存指令验证系统与方法是由沈秀红设计研发完成,并于2021-11-16向国家知识产权局提交的专利申请。
本多核访存指令验证系统与方法在说明书摘要公布了:本发明涉及处理器技术领域,具体涉及一种多核访存指令验证系统与方法,包DUT监测器、访问指令队列、存储指令队列、访存指令控制器、存储缓冲器、内存模型、访问数据比较器、存储数据比较器、原子指令比较器和二级缓存比较器。本发明支持多核多cluster的访存指令验证,并且核和cluster的个数可配,做到了参数化,具有可扩展性。支持在多核系统中,实时比较每个核的访存指令执行的正确性,包括在访问指令提交时,比较访问得到数据的正确性,在存储指令更新cache时,比较写数据的正确性。支持多核系统中原子操作指令的验证,支持多cluster系统中二级缓存关键接口的验证,具有很强的市场应用前景。
本发明授权多核访存指令验证系统与方法在权利要求书中公布了:1.一种多核访存指令验证方法,其特征在于,所述方法包括以下步骤: S1指令发生器产生指令,并通过验证系统判断指令类型,若为访问指令存入访问指令队列,若为存储指令存入存储指令队列; S2指令存入访问指令队列,更新监测DUT中的该访问指令信息,同时同步更新至访问指令队列中相应指令; S3根据地址属性判断是否为可缓存地址,并根据结果执行相应进程的访问指令或写入内存模型;指令存入访问指令队列后,根据地址属性判断是否为可缓存地址,若为不可缓存地址,perform时间点为DUT中读请求送到外设接口的时间点,若为可缓存地址,perform时间点为该访问指令从一级cache中拿到数据的时间点; 指令存入存储指令队列后,根据地址属性判断是否为可缓存地址,若为不可缓存地址,perform时间点为DUT中写请求送到外设接口的时间点,若为可缓存地址,perform时间点为该存储指令从存储缓存器写入cache的时间点; S4若为访问指令时,若为不可缓存地址,当监测到DUT外设接口上相应访问请求时,判断该请求来自于哪个核,执行验证系统中该核的访问指令,从内存模型获得数据,并将数据保留,用于后续比较; 若为可缓存地址,当监测到DUT中该指令获得数据时,执行验证系统中该核的访问指令;比较验证系统中保存的访问数据和DUT中获得的访问数据,同时输出比较结果; S5若为存储指令,若为不可缓存地址,当监测到DUT外设接口上相应写请求时,判断该请求来自于哪个核,执行验证系统中该核的存储指令,将数据写入内存模型,并对写数据与DUT写数据进行比较,打印比较结果; 若为可缓存地址,监测DUT中存储指令是否提交,若已提交,将存储指令信息,包括地址,数据等存入存储缓存器;监测DUT中cache更新信息,则将存储缓冲器中相应的数据写入内存模型,并对写数据和DUT写数据进行比较后,输出比较结果。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人广东赛昉科技有限公司,其通讯地址为:528300 广东省佛山市顺德区大良街道云路社区昊阳路2号A区S201室;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励