首页>
外国专利>
Formal verification coverage metrics of covered events for circuit design properties
Formal verification coverage metrics of covered events for circuit design properties
展开▼
机译:电路设计属性涵盖事件的形式验证覆盖度量
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer-implemented method and non-transitory computer readable medium for circuit design verification. A property defined for a circuit design is received, the property having a cone of influence in the circuit design corresponding to a portion of the circuit design capable of affecting the property. Bounded reachability analysis is performed for the circuit design against a set of cover items. The set of cover items are classified into classified cover items based on results of the reachability analysis. Coverage information is generated indicating an amount of formal verification coverage provided by the property. The coverage information is generated based on a first set of the classified cover items that correspond to the cone of influence of the property and that are reached within a particular bound during the reachability analysis.
展开▼