[发明专利]宏检查方法、装置、电子设备和计算机可读存储介质有效

专利信息
申请号: 202011533134.1 申请日: 2020-12-22
公开(公告)号: CN112631852B 公开(公告)日: 2023-04-28
发明(设计)人: 沈旭;王芳 申请(专利权)人: 海光信息技术股份有限公司
主分类号: G06F11/263 分类号: G06F11/263;G06F11/22
代理公司: 北京超凡宏宇专利代理事务所(特殊普通合伙) 11463 代理人: 蒋姗
地址: 300392 天津市滨海新区天津华苑*** 国省代码: 天津;12
权利要求书: 查看更多 说明书: 查看更多
摘要:
搜索关键词: 检查 方法 装置 电子设备 计算机 可读 存储 介质
【权利要求书】:

1.一种宏检查方法,其特征在于,包括:

通过对所需宏配置文件进行解析,得到第一宏列表,所述第一宏列表中包括多项待检查宏的宏信息,所述所需宏配置文件中配置有用于对目标芯片设计进行验证的宏,其中,每项宏信息包括至少一项属性元素,所述至少一项属性元素包括:存在属性,所述存在属性用于标识对应的宏是否为需要的宏;

对原始宏定义报告进行遍历,以得到第二宏列表,所述原始宏定义报告为对所述目标芯片设计进行处理得到的报告;

将所述第一宏列表与所述第二宏列表进行匹配,以得到所述第一宏列表的验证结果;

其中,将所述第一宏列表与所述第二宏列表进行匹配以得到所述第一宏列表的验证结果,包括:

确定所述第二宏列表中是否存在与目标宏信息对应的目标宏;以及基于所述目标宏信息的存在属性和所述第二宏列表中是否存在与所述目标宏信息对应的目标宏来确定所述第一宏列表的验证结果,其中,所述目标宏信息为所述第一宏列表中的任意一项宏信息;

根据所述验证结果生成对应的检查报告。

2.根据权利要求1所述的方法,其特征在于,所述存在属性的值为:第一标识或第二标识;所述确定所述第二宏列表中是否存在与目标宏信息对应的目标宏;以及基于所述目标宏信息的存在属性和所述第二宏列表中是否存在与所述目标宏信息对应的目标宏来确定所述第一宏列表的验证结果,其中,所述目标宏信息为所述第一宏列表中的任意一项宏信息,包括:

当所述目标宏信息的存在属性为第一标识时,在所述第二宏列表中进行查找,以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏,若所述第二宏列表中存在所述目标宏,则表征所述目标宏信息验证通过,若所述第二宏列表中不存在所述目标宏,则表征所述目标宏信息验证未通过;

当所述目标宏信息的存在属性为第二标识时,在所述第二宏列表中进行查找,以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏,若所述第二宏列表中不存在所述目标宏,则表征所述目标宏信息验证通过,若所述第二宏列表中存在所述目标宏,则表征所述目标宏信息验证未通过。

3.根据权利要求1所述的方法,其特征在于,所述存在属性的值为:第一标识或第二标识;所述至少一项属性元素还包括:值属性;所述确定所述第二宏列表中是否存在与目标宏信息对应的目标宏;以及基于所述目标宏信息的存在属性和所述第二宏列表中是否存在与所述目标宏信息对应的目标宏来确定所述第一宏列表的验证结果,其中,所述目标宏信息为所述第一宏列表中的任意一项宏信息,包括:

当所述目标宏信息的存在属性为第一标识,且所述目标宏信息的值属性为目标有效值时,在所述第二宏列表中进行查找,以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏,若所述第二宏列表中存在所述目标宏,判断所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值,若所述第二宏列表中的所述目标宏的值属性等于所述目标有效值,则表征所述目标宏信息验证通过;若所述第二宏列表中不存在所述目标宏,或所述第二宏列表中的所述目标宏的值属性不等于所述目标有效值,则表征所述目标宏信息验证未通过;

当所述目标宏信息的存在属性为第二标识时,在所述第二宏列表中进行查找,以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏,若所述第二宏列表中不存在所述目标宏,则表征所述目标宏信息验证通过,若所述第二宏列表中存在所述目标宏,则表征所述目标宏信息验证未通过。

4.根据权利要求3所述的方法,其特征在于,所述判断所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值,包括:

当所述第二宏列表中的所述目标宏的值属性为一表达式时,在所述第二宏列表中查找所述表达式中所包含的目标参数组;

根据所述目标参数组及所述表达式计算得到所述目标宏在所述第二宏列表中对应的目标值;

将所述目标值与所述目标有效值进行对比,以确定所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值。

5.根据权利要求1所述的方法,其特征在于,所述对原始宏定义报告进行遍历,以得到第二宏列表,包括:

对编译后的目标芯片设计进行解析,得到原始宏定义报告;

对所述原始宏定义报告进行遍历,以得到第二宏列表。

下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于海光信息技术股份有限公司,未经海光信息技术股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/pat/books/202011533134.1/1.html,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top