TY  - RPRT
TI  - Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs
AU  - Sean Lowe
AU  - Elias Hilaneh
AU  - Alma Babbit
AU  - Nakul Gopalan
AU  - Vidya Chhabria
AU  - Aman Arora
PY  - 2026
UR  - https://arxiv.org/abs/2604.15606
ID  - 2604.15606
ER  -