中文摘要：

针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了 SoC高层等价性检验方法目前面临的挑战,并对该领域今后的研究方向进行了展望.

英文摘要：

This paper analyzes the difficulties on high-level equivalence checking, and classifies the recent re-search works in high-level equivalence checking according to the algorithm types. Then, the advantages, disad-vantages and the used techniques of the existing algorithms are analyzed. Finally, the existing challenges and fu-ture research directions in high-level equivalence checking for SoC design are discussed.