一种跨层级逻辑等价点的查找方法

本发明属于集成电路设计优化的技术领域，更具体地，涉及一种跨层级逻辑等价点的查找方法。获取待处理电路网表并遍历，动态记录每一次迭代的驱动器件并将其存入容器；进行迭代，从当前驱动器件集出发，定位其所驱动的负载器件及输入引脚，并筛选出所有输入引脚均已遍历完成的负载器件；对于这些负载器件，一方面依据其功能类型及连接信息进行逻辑等价性检查，以构建或更新逻辑等价查找表；另一方面，将其输出引脚作为新的驱动器件加入容器，进入下一轮迭代；重复上述迭代过程，直至驱动容器为空，得到最终的逻辑等价查找表。本发明解决了当前主流的逻辑等价点查找方法通常局限于单一网表内部的逻辑操作的问题。