collaborators

1 paper

cs.AR2026

Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs

Sean Lowe, Elias Hilaneh, Alma Babbit +3

Hardware verification is one of the most challenging stages of the hardware design process, requiring significant time and resources to ensure a design is fully validated and produ…