[发明专利]快速逻辑等价性验证方法、装置、设备及存储介质在审
| 申请号： | 202310875980.9 | 申请日： | 2023-07-18 |
| 公开（公告）号： | CN116595918A | 公开（公告）日： | 2023-08-15 |
| 发明（设计）人： | 刁屹;魏星;林德基 | 申请（专利权）人： | 奇捷科技（深圳）有限公司 |
| 主分类号： | G06F30/327 | 分类号： | G06F30/327;G06F8/72;G06F30/33 |
| 代理公司： | 深圳汉林汇融知识产权代理事务所(普通合伙) 44850 | 代理人： | 刘临利 |
| 地址： | 518000 广东省深圳市龙华区观*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及集成电路等价性验证领域，公开了一种快速逻辑等价性验证方法、装置、设备及存储介质，用于提高逻辑等价性验证的效率。包括：读取目标电路的RTL文件及第一综合门级网表，将RTL文件作为参考文件；对第一综合门级网表进行数据提取，生成第一信息集合，通过第一信息集合进行中间操作逻辑分析，生成中间操作逻辑集合；通过中间操作逻辑集合进行模块数据提取，生成子模块逻辑数据集合；通过子模块逻辑数据集合对参考文件进行代码匹配，得到对应的RTL代码；过预置的内部综合器对RTL代码进行代码重组，生成第二综合门级网表；对第一综合门级网表及第二综合门级网表进行逻辑等价性验证，得到对应的逻辑等价性验证结果。 | ||
| 搜索关键词： | 快速 逻辑 等价 验证 方法 装置 设备 存储 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于奇捷科技（深圳）有限公司，未经奇捷科技（深圳）有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202310875980.9/，转载请声明来源钻瓜专利网。
