TY  - RPRT
TI  - CovR: Coverage-Aware Hardware Verification via Reasoning-Guided Reinforcement Learning
AU  - Manar Abdelatty
AU  - Maryam Nouh
AU  - Sherief Reda
PY  - 2026
UR  - https://arxiv.org/abs/2609.19189
ID  - 2609.19189
ER  -