结合通用割集和专用割集的组合电路验证方法

作者：杨军; 郑飞君; 卢永江; 葛海通; 严晓浪

来源：浙江大学学报(工学版), 2006, (09): 1511-1515.

DOI：10.3785/j.issn.1008-973X.2006.09.009

• 形式验证
• 通用割集
• 专用割集
• 依赖性

为了提高组合电路的等价性验证速度,提出了一种利用电路内部等价信息的新型验证方法.该方法结合了通用割集和专用割集.从原始输出进行回溯得到通用割集,用通用割集验证所有候选等价点(CEP)的等价性.从特定候选等价点进行回溯得到专用割集,通过消除高层次结点间的依赖关系对专用割集进行优化,用专用割集验证特定候选等价点的等价性.实验结果表明,与传统依赖性处理策略相比,该验证方法中的依赖性处理策略减少了验证时间.与只基于通用割集或专用割集的验证方法相比,该方法可以使组合电路的验证速度明显提高.

• 单位
  浙江大学