首页>
外国专利>
Predicate selection in bit-level compositional transformations
Predicate selection in bit-level compositional transformations
展开▼
机译:位级组合转换中的谓词选择
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for performing verification includes selecting a first set containing a seed register and adding to a second set a result of a subtraction of a fanout of the first set from a fanin of the first set. A third set is rendered equal to a result of a subtraction of a fanin of the second set from a fanout of the second set, and whether a combination of the first set and the third set is equivalent to the first set is determined. In response to determining that the combination of the first set and the second set is not equivalent to the first set, a min-cut of the first set and the second set containing a minimal set of predicates between a first component and the logic to which the component fans out, wherein the logic is bordered by the second set is returned.
展开▼