首页>
外国专利>
Trace Containment Detection of Combinational Designs via Constraint-Based Uncorrelated Equivalence Checking
Trace Containment Detection of Combinational Designs via Constraint-Based Uncorrelated Equivalence Checking
展开▼
机译:通过基于约束的不相关等效检查来检测组合设计的痕量遏制
展开▼
页面导航
摘要
著录项
相似文献
摘要
Methods and systems are provided for producing more efficient digital circuitry designs by identifying trace-containment for a sequential circuitry design netlist through the use of constraint-based uncorrelated equivalence checking. A set of candidate input netlist sets n1 and n2 is first uncorrelated and then submitted for equivalence checking. Mismatches discovered during the equivalence checking are avoided by imposing constraint to the input set until discovering an equivalency relationship between the input sets n1 and n2. 展开▼