[发明专利]可控性检验系统及方法无效
| 申请号： | 201310746659.7 | 申请日： | 2013-12-31 |
| 公开（公告）号： | CN104142675A | 公开（公告）日： | 2014-11-12 |
| 发明（设计）人： | 塔米尔·海曼;丹·史密斯;浩崙·梁;胡塞姆·阿布海梅德;约格什·马哈詹 | 申请（专利权）人： | 辉达公司 |
| 主分类号： | G05B23/02 | 分类号： | G05B23/02 |
| 代理公司： | 北京市磐华律师事务所 11336 | 代理人： | 董巍;谢栒 |
| 地址： | 美国加利*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种智能可控性检验过程，其可智能地检查是否可避免控制信号输入集的一些可能值的枚举(例如，导致不是所有可能值都枚举等)。可利用改进的智能QBF可控性检验，该检验包括改进的智能QBF求解器。该过程可包括正式的可控性检验，具有对可能赋值的广泛或穷举性的考虑，而避免一些可能值的枚举。该正式可控性检验可检查证据是否建立关于赋值的结论。证据可用于确定的可能结果包括：(1)信号提供可控性的结论；(2)信号不提供可控性的结论；或(3)无论如何无法得到信号是否提供或不提供可控性的结论。该QBF可控性检验的结果(例如，SAT、UNSAT等)可被验证。 | ||
| 搜索关键词： | 可控性 检验 系统 方法 | ||
【主权项】：
一种可控性检验方法，包括：接收与所分析的控制部件的定义关联的信息，所述信息包括定义该所分析的控制部件的方程；基于所接收的信息，执行智能可控性检验过程，包括执行正式的可控性检验检查是否可避免对控制信号输入集的一些可能值的枚举；以及返回对该所分析控制部件的可控性分析结果的指示。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于辉达公司，未经辉达公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201310746659.7/，转载请声明来源钻瓜专利网。
