Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs. - Sean Lowe; Elias Hilaneh; Alma Babbit; Nakul Gopalan; Vidya A. Chhabria; Aman Arora 001 (CoRR, 2026)