论文部分内容阅读
本文对集成电路设计过程中逻辑综合中等价验证算法进行了研究。文章把组合电路等价验证中的切割法思想引入到结构固定点迭代算法中，切割法的主要优点在于把较大规模的电路分解成规模较小的几个电路来验证，可以使问题的规模变小；解决了切割法带来的错反问题，为了避免多次不必要回溯，回溯需要阈值的控制，根据大量的实验结果确立了该阈值的大小；为了进一步加快算法的速度，把随机模拟加入到算法，提出了针对时序电路等价验证算法的随机模拟算法。