2 papers
cs.AR2026
ConnChecker: Automated Root-Cause Analysis for Formal Connectivity Check via Graph
Do Ngoc Tiep, Nguyen Linh Anh, Luu Danh Minh
Formal connectivity checking offers scalable verification of signal paths in complex SoC designs, but debugging counterexamples remains a manual and time-consuming process. ConnChe…
cs.AI2026
Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
Aman Kumar, Deepak Narayan Gadde, Luu Danh Minh +3
Saarthi is an agentic AI framework that uses multi-agent collaboration to perform end-to-end formal verification. Even though the framework provides a complete flow from specificat…