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