@misc{indiciae7e5b3cf99afd,
  title = {Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs},
  author = {Sean Lowe and Elias Hilaneh and Alma Babbit and Nakul Gopalan and Vidya Chhabria and Aman Arora},
  year = {2026},
  url = {https://arxiv.org/abs/2604.15606},
  note = {Source identifier: 2604.15606}
}