[发明专利]一种随机验证的方法及装置有效
| 申请号： | 201511019072.1 | 申请日： | 2015-12-29 |
| 公开（公告）号： | CN105653793B | 公开（公告）日： | 2019-03-05 |
| 发明（设计）人： | 李拓 | 申请（专利权）人： | 山东海量信息技术研究院 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 济南信达专利事务所有限公司 37100 | 代理人： | 姜明 |
| 地址： | 250101 山东省济南*** | 国省代码： | 山东;37 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明实施例提供了一种随机验证的方法及装置，涉及芯片设计领域，所述方法包括：确定出随机约束池中包含的至少四个随机约束向量；所述随机约束向量中包含有至少一个随机约束参数；分别对所述随机约束池中的随机约束向量进行仿真处理，获取初始覆盖率；在所述初始覆盖率未达到预设目标覆盖率时，循环对所述随机约束池进行差分进化处理，并获取仿真条件参数，确定所述仿真条件参数是否满足结束要求，直至仿真条件参数满足结束要求；所述结束要求是预先设置的，用于结束对随机约束池进行差分进化处理的要求信息；根据差分进化处理后的所述随机约束池中的随机约束向量，进行随机验证。本发明适用于用多个随机约束进行随机验证的场景。 | ||
| 搜索关键词： | 一种 随机 验证 方法 装置 | ||
【主权项】：
1.一种随机验证的方法，其特征在于，包括：确定出随机约束池中包含的至少四个随机约束向量；所述随机约束向量中包含有至少一个随机约束参数；分别对所述随机约束池中的随机约束向量进行仿真处理，获取初始覆盖率；在所述初始覆盖率未达到预设目标覆盖率时，在所述随机约束池中选取出第一随机约束向量及第二随机约束向量，计算选取的所述第一随机约束向量及第二随机约束向量的差向量；根据加权因子对所述差向量进行加权处理，并根据预设变异规则，利用加权后的所述差向量及第三随机约束向量，确定变异向量；所述第一随机约束向量及第二随机约束向量是所述随机约束池中的任意两个随机约束向量；所述第三随机约束向量是所述随机约束池中的除所述第一随机约束向量及第二随机约束向量之外的其他任意一个随机约束向量；将所述变异向量及第四随机约束向量，根据交叉概率CR，进行混合处理，获取试验向量；所述第四随机约束向量是所述随机约束池中的除所述第一随机约束向量，第二随机约束向量及第三随机约束向量之外的其他任意一个随机约束向量，并获取仿真条件参数，确定所述仿真条件参数是否满足结束要求，直至仿真条件参数满足结束要求；所述结束要求是预先设置的，用于结束对随机约束池进行差分进化处理的要求信息；根据差分进化处理后的所述随机约束池中的随机约束向量，进行随机验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于山东海量信息技术研究院，未经山东海量信息技术研究院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201511019072.1/，转载请声明来源钻瓜专利网。
