[发明专利]逻辑代码的验证方法、验证装置以及存储介质有效
| 申请号： | 202011162179.2 | 申请日： | 2020-10-27 |
| 公开（公告）号： | CN112257362B | 公开（公告）日： | 2023-01-31 |
| 发明（设计）人： | 张剑峰;王斌;鄢传钦 | 申请（专利权）人： | 海光信息技术股份有限公司 |
| 主分类号： | G06F30/3308 | 分类号： | G06F30/3308 |
| 代理公司： | 北京市柳沈律师事务所 11105 | 代理人： | 彭久云;王薇 |
| 地址： | 300392 天津市华苑产业区*** | 国省代码： | 天津;12 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种逻辑代码的验证方法、验证装置以及存储介质。该逻辑代码包括M个逻辑模块，该验证方法包括：对该M个逻辑模块进行第一仿真得到仿真分析结果；根据该仿真分析结果，在该M个逻辑模块中选择符合预设条件的N个逻辑模块，并将该N个逻辑模块分别分配给N个处理器进行第二仿真，M、N均为正整数并且M大于N。该验证方法可以有效利用处理器资源进行并行验证，从而缩短验证时长。 | ||
| 搜索关键词： | 逻辑 代码 验证 方法 装置 以及 存储 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于海光信息技术股份有限公司，未经海光信息技术股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011162179.2/，转载请声明来源钻瓜专利网。
