[发明专利]形式验证中的属性覆盖率无效
| 申请号： | 00809255.9 | 申请日： | 2000-06-20 |
| 公开（公告）号： | CN1421013A | 公开（公告）日： | 2003-05-28 |
| 发明（设计）人： | Y·V·霍斯科特 | 申请（专利权）人： | 英特尔公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50;G01R31/3183 |
| 代理公司： | 中国专利代理(香港)有限公司 | 代理人： | 栾本生,王忠忠 |
| 地址： | 美国加利*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明的一个方面是一种覆盖率度量以确定由模型检测验证的属性覆盖的状态空间部分。在每个属性中，确定一个信号(或几个信号的命题)作为该属性中的观测信号。覆盖率度量测量与该观测信号相关的一组属性的覆盖率。该覆盖率度量确定可到达状态，其中上述观测信号的值确定验证属性的正确性。可采用一种模型检测算法来检测在这些“覆盖”状态中上述观测信号上的正确性条件，以证明该属性是正确的或是不正确的。 | ||
| 搜索关键词： | 形式 验证 中的 属性 覆盖率 | ||
【主权项】：
1、一种测量形式验证属性覆盖率的方法，该方法包括：接收一个逻辑设计模型，其中该模型有多个状态；接收一个为该逻辑设计的模型验证的属性；接收一个或多个该属性的观测信号；以及提供一组覆盖状态，在其中检测一个或多个上述观测信号的值足以确定该属性的正确性。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于英特尔公司，未经英特尔公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/00809255.9/，转载请声明来源钻瓜专利网。
