等价性验证系统的研究与设计

摘要

等价性验证是目前集成电路设计验证中应用最为广泛的形式化方法，其核心目标是验证两个设计模型之间的功能等价性。以集成电路等价性验证系统的系统架构为主要研究内容，在分析集成电路等价性验证的基础上，对系统架构和算法进行设计和探讨。