Functional verification increasingly relies on Assertion-Based Verification (ABV), which has become a key approach for verifying hardware designs due to its efficiency and effectiveness. Central to ABV are automatic assertion miners, which apply different techniques to generate assertions automatically. This paper reviews the most recent, advanced, and widely adopted assertion miners, offering a comparative analysis of their methodologies. The goal is to provide researchers and verification practitioners with insights into the capabilities and limitations of existing miners. By identifying their shortcomings, this work also points toward directions for developing more powerful and advanced assertion miners in the future.

翻译：功能验证日益依赖于断言基验证（ABV），因其高效性和有效性，该方法已成为验证硬件设计的关键途径。ABV的核心在于自动断言挖掘器，其运用多种技术自动生成断言。本文综述了最新、先进且广泛采用的断言挖掘器，并对它们的方法论进行了比较分析。旨在为研究人员和验证实践者提供对现有挖掘器能力与局限性的深入见解。通过指出现有方法的不足，本文亦为未来开发更强大、更先进的断言挖掘器指明了方向。