Agentic AI-based Coverage Closure for Formal Verification
arXiv:2603.03147v1 Announce Type: new Abstract: Coverage closure is a critical requirement in Integrated Chip (IC) development process and key metric for verification sign-off. However, traditional …
Sivaram Pothireddypalli, Ashish Raman, Deepak Narayan Gadde, Aman Kumar
15 views