超大规模集成电路中组合电路的等价验证方法

摘要

本发明为一种超大规模集成电路中组合电路的等价验证方法。它是一种基于替换的分划算法。其中，提出了逐层递进的划分方法和阈值控制回溯的方法，具体包括配对点生成，配对点入栈寻找支持点集、可满足性问题计算、回溯过程和替换过程。本发明使组合电路的等价验证过程大大加速。

主权项

1、一种超大规模集成电路中组合电路的等价验证方法，具体步骤如下：(1)配对点的生成：首先对电路进行层次分划，并根据电路的特征来确定每层的深度，使划分的层次达到可以接受的规模；然后在各层中分别用随机产生的方法得到所需的配对点；(2)配对点入栈：将已生成的配对点按次序放入堆栈；(3)寻找支持点集：搜索栈顶配对点的支持点集，并同时遍历该子问题所包含的所有的点，生成对应的连接范式形式的可满足性问题；(4)可满足性问题计算：将该连结范式交由可满足问题解决器进行处理，来判断该子电路是否等价；(5)回溯：若配对点对应的两点不相等，则根据实际问题确定一个控制是否进行回溯的阈值，若当前连接范式的大小已经超过此阈值，则不回溯；否则，向原始输入方向搜索新的支持点集，并重复第(4)步骤；(6)替换：若配对点对应的两点被判定为相等，则将其中一点由另一点进行替换。