[发明专利]一种随机验证评估方法及系统有效
| 申请号： | 201510005353.5 | 申请日： | 2015-01-06 |
| 公开（公告）号： | CN104461909B | 公开（公告）日： | 2018-05-04 |
| 发明（设计）人： | 张峰;李拓 | 申请（专利权）人： | 浪潮（北京）电子信息产业有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京安信方达知识产权代理有限公司11262 | 代理人： | 王康,李丹 |
| 地址： | 100085 北京市海*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种随机验证评估方法及系统，包括从预选出的一个或多个模块中选出一个或多个关键路径。通过对一个或多个关键路径的监测和统计策略完成关于预选出的一个或多个模块的模块级随机验证之后，根据关键路径的统计结果生成对关键路径的断言。将生成的断言加入预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反断言，根据违反断言的次数是否大于预设阈值判定模块级随机验证是否充分。通过本发明的方案，能够有效地评估模块级随机验证的充分程度。 | ||
| 搜索关键词： | 一种 随机 验证 评估 方法 系统 | ||
【主权项】：
一种随机验证评估方法，其特征在于，所述方法包括：预先在系统的所有模块中选出具有核心作用并且达到预定的复杂程度的一个或多个模块；从预选出的一个或多个模块中选出一个或多个关键路径；对所述一个或多个关键路径的选择是指：在所述预选出的一个或多个模块中从逻辑上选出所述预选出的一个或多个模块的核心状态机、一个或多个分支判断和关键的状态信号；选择的原则是：以最少的信号完整地表达整个所述模块全部的工作状态；通过对所述一个或多个关键路径的监测和统计策略完成关于所述预选出的一个或多个模块的模块级随机验证之后，根据所述关键路径的统计结果生成对所述关键路径的断言；将生成的所述断言加入所述预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反所述断言，根据违反所述断言的次数是否大于预设阈值判定所述模块级随机验证是否充分。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于浪潮（北京）电子信息产业有限公司，未经浪潮（北京）电子信息产业有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201510005353.5/，转载请声明来源钻瓜专利网。
