[发明专利]随机约束可选择的基于覆盖率驱动的随机验证方法有效
| 申请号： | 201710438057.3 | 申请日： | 2017-06-12 |
| 公开（公告）号： | CN107273604B | 公开（公告）日： | 2020-09-22 |
| 发明（设计）人： | 李拓 | 申请（专利权）人： | 苏州浪潮智能科技有限公司 |
| 主分类号： | G06F30/20 | 分类号： | G06F30/20;G06F111/04 |
| 代理公司： | 济南信达专利事务所有限公司 37100 | 代理人： | 姜明 |
| 地址： | 215100 江苏省苏州*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种随机约束可选择的基于覆盖率驱动的随机验证方法，属于随机验证领域，要解决的技术问题为如何实现随机约束可动态评估和选择的基于覆盖率驱动的随机验证；其包括如下步骤：S1、定义随机验证环境中所有需要的随机约束，并定义上述随机约束的取值范围；S2、将定义后的所有需要的随机约束组合划分为多组随机约束组合，且每两组随机约束组合之间不存在实际功能的完全重叠；S3、设置能够动态调整的覆盖率统计周期；S4、在覆盖率统计周期内统计当前仿真验证过程中覆盖率的增长情况，并将新增的覆盖率累加到已有的覆盖率数据中，以当前仿真验证过程中覆盖率的增长情况作为随机约束的评估准则，对上述随机约束组合进行仿真验证。 | ||
| 搜索关键词： | 随机 约束 可选择 基于 覆盖率 驱动 验证 方法 | ||
【主权项】：
随机约束可选择的基于覆盖率驱动的随机验证方法，其特征在于包括如下步骤：S1、定义随机验证环境中所有需要的随机约束，并定义上述随机约束的取值范围；S2、将定义后的所有需要的随机约束组合划分为多组随机约束组合，且每两组随机约束组合之间不存在实际功能的完全重叠；S3、设置能够动态调整的覆盖率统计周期；S4、在覆盖率统计周期内统计当前仿真验证过程中覆盖率的增长情况，并将新增的覆盖率累加到已有的覆盖率数据中，以当前仿真验证过程中覆盖率的增长情况作为随机约束的评估准则，对上述随机约束组合进行仿真验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于苏州浪潮智能科技有限公司，未经苏州浪潮智能科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710438057.3/，转载请声明来源钻瓜专利网。
