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

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

Functional verification increasingly relies on Assertion-Based Verification (ABV), which has become a key approach for verifying hardware designs due to its efficiency and effectiv…