CovR: Coverage-Aware Hardware Verification via Reasoning-Guided Reinforcement Learning

Manar Abdelatty, Maryam Nouh, Sherief Reda

Design verification remains one of the most resource-intensive stages of hardware development, often consuming up to 70% of the total design effort. While recent work has explored…