专用割集相关硕士博士期刊学术论文

为了提高组合电路的等价性验证速度，提出了一种利用电路内部等价信息的新型验证方法．该方法结合了通用割集和专用割集．从原始输出进行......