专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明专利

TW201443668A 可控制性檢查系統與方法审中-公开
简体标题：可控制性检查系统与方法
公开(公告)号：TW201443668A
公开(公告)日：2014-11-16
申请号：TW102148647
申请日：2013-12-27
申请人：輝達公司 , NVIDIA CORPORATION
发明人：黑曼塔莫 , HEYMAN, TAMIR , 史密斯丹 , SMITH, DAN , 里翁蘭奇 , LEONG, LANCE , 阿布黑美修山 , ABU-HAIMED, HUSAM , 瑪哈詹優杰許 , MAHAJAN, YOGESH
IPC分类号： G06F17/00 , G06Q10/00
CPC分类号： G06N5/02 , G06N5/00
摘要：本發明揭示一種智慧型可控制性檢查程序，其可智慧審視是否可避免列舉一組控制信號輸入的某些可能值(例如造成小於要列舉的所有可能值)。一改良式智慧型QBF可控制性檢查可運用，包括一改良式智慧型QBF解決器。該程序可包括使用可能值指配的大規模或徹底考量，同時避免列舉某些可能性之一正式可控制性檢查。該正式可控制性檢查可審視一證明是否建立有關指配值的一結論，該證明可用來決定可能結果，包括：(1)信號提供可控制性的一結論；(2)信號不提供可控制性的一結論；或(3)無論信號提供或不提供可控制性時皆無法達成一結論。該QBF可控制性檢查的結果(例如SAT、UNSAT等等)可經過驗證。
简体摘要：本发明揭示一种智能型可控制性检查进程，其可智能审视是否可避免枚举一组控制信号输入的某些可能值(例如造成小于要枚举的所有可能值)。一改良式智能型QBF可控制性检查可运用，包括一改良式智能型QBF解决器。该进程可包括使用可能值指配的大规模或彻底考量，同时避免枚举某些可能性之一正式可控制性检查。该正式可控制性检查可审视一证明是否创建有关指配值的一结论，该证明可用来决定可能结果，包括：(1)信号提供可控制性的一结论；(2)信号不提供可控制性的一结论；或(3)无论信号提供或不提供可控制性时皆无法达成一结论。该QBF可控制性检查的结果(例如SAT、UNSAT等等)可经过验证。

IPRDB

热门服务

关于我们

友情链接

联系方式