Work

Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions

Year: 2026

Type: preprint

Abstract: 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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2601.02248

Authors: Iman, Mohammad Reza Heidari, Di Natale, Giorgio, Morin-Allory, Katell

Institutions: Institut polytechnique de Grenoble, Centre National de la Recherche Scientifique, Techniques of Informatics and Microelectronics for Integrated Systems Architecture, Université Grenoble Alpes

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: HORIZON EUROPE Framework Programme

OpenAlex ID: W7119070075

Cites:

Cited by:

Related to: