首页>
外国专利>
Estimating the difficulty level of a formal verification problem
Estimating the difficulty level of a formal verification problem
展开▼
机译:估计形式验证问题的难度等级
展开▼
页面导航
摘要
著录项
相似文献
摘要
Estimating the difficulty level of a verification problem includes receiving input comprising a design and properties that may be verified on the design. Verification processes are performed for each property on the design. A property verifiability metric value is established for each property in accordance with the verification processes, where a property verifiability metric value represents a difficulty level of verifying the property on the design. A design verifiability metric value is determined from the property verifiability metric values, where the design verifiability metric value represents a difficulty level of verifying the design.
展开▼