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…