[发明专利]网表形式验证方法、装置、计算机设备及存储介质在审
| 申请号： | 201811635154.2 | 申请日： | 2018-12-29 |
| 公开（公告）号： | CN111400994A | 公开（公告）日： | 2020-07-10 |
| 发明（设计）人： | 刘建华;王宁;刘奎;孙杰;张青;曹保健;冯昌泓;王维 | 申请（专利权）人： | 广东高云半导体科技股份有限公司 |
| 主分类号： | G06F30/398 | 分类号： | G06F30/398 |
| 代理公司： | 深圳众鼎专利商标代理事务所(普通合伙) 44325 | 代理人： | 谭果林 |
| 地址： | 510000 广东省广*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开一种网表形式验证方法、装置、计算机设备及存储介质。该网表形式验证方法包括：获取待验证网表，所述待验证网表包括至少一个待验证模块；对所述待验证网表中的每一所述待验证模块的名称进行识别，获取与每一所述待验证模块相对应的模块名称；若所述模块名称携带衍生信号标识，则对所述模块名称对应的待验证模块进行形式验证，获取形式验证结果；若所述模块名称携带原生信号标识或者拷贝信号标识，则直接获取验证通过的形式验证结果。该网表形式验证方法可将较大规模的待验证网表的形式验证转化为对携带衍生信号标识的待验证模块的形式验证，从而极大的提高形式验证的效率。 | ||
| 搜索关键词： | 形式 验证 方法 装置 计算机 设备 存储 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于广东高云半导体科技股份有限公司，未经广东高云半导体科技股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811635154.2/，转载请声明来源钻瓜专利网。
