[发明专利]覆盖率驱动的随机验证的方法有效
| 申请号： | 201010607224.0 | 申请日： | 2010-12-27 |
| 公开（公告）号： | CN102542088A | 公开（公告）日： | 2012-07-04 |
| 发明（设计）人： | 陈涛 | 申请（专利权）人： | 北京国睿中数科技股份有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 中国专利代理(香港)有限公司 72001 | 代理人： | 曲宝壮;王洪斌 |
| 地址： | 100088 北京市海*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出一种利用至少两个计算单元进行覆盖率驱动的随机验证的方法，所述至少两个计算单元包括第一计算单元和第二计算单元，所述第一和第二计算单元分别具有第一和第二覆盖率数据库，所述第一和第二计算单元均可访问总覆盖率数据库，所述第一和第二计算单元分别启动各自的随机验证，并将产生的覆盖率数据写入各自的覆盖率数据库，然后将覆盖率数据库的覆盖率数据写入总覆盖率数据库，并对总覆盖率数据库中的覆盖率数据进行融合，得到融合的覆盖率数据，最后将融合的覆盖率数据写入第一覆盖率数据库和第二覆盖率数据库。 | ||
| 搜索关键词： | 覆盖率 驱动 随机 验证 方法 | ||
【主权项】：
一种利用至少两个计算单元进行覆盖率驱动的随机验证的方法，所述至少两个计算单元包括第一计算单元和第二计算单元，所述第一计算单元具有第一覆盖率数据库，所述第二计算单元具有第二覆盖率数据库，所述方法包括：所述第一计算单元启动第一随机验证，并将第一随机验证产生的第一覆盖率数据写入第一覆盖率数据库，所述第二计算单元启动第二随机验证，并将第二随机验证产生的第二覆盖率数据写入第二覆盖率数据库，将第一覆盖率数据库的第一覆盖率数据和第二覆盖率数据库的第二覆盖率数据写入总覆盖率数据库，对总覆盖率数据库中的第一覆盖率数据和第二覆盖率数据进行融合，得到融合的覆盖率数据，将融合的覆盖率数据写入第一覆盖率数据库和第二覆盖率数据库。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京国睿中数科技股份有限公司，未经北京国睿中数科技股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201010607224.0/，转载请声明来源钻瓜专利网。
- 上一篇：一种常温贮藏干酪食品的加工方法
- 下一篇：食品隧道冷却装置
