[发明专利]宏检查方法、装置、电子设备和计算机可读存储介质有效
| 申请号: | 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所述的方法,其特征在于,所述对原始宏定义报告进行遍历,以得到第二宏列表,包括:
对编译后的目标芯片设计进行解析,得到原始宏定义报告;
对所述原始宏定义报告进行遍历,以得到第二宏列表。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于海光信息技术股份有限公司,未经海光信息技术股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/202011533134.1/1.html,转载请声明来源钻瓜专利网。





