← back to paper
arxiv: 2604.15606 · 2 revisions
Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs