arxivcs.ARcs.LGcs.SE2026-07-30
Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair
Verification consumes the majority of modern chip design effort, yet the formal verification tools that provide mathematical guarantees of correctness remain expensive and restrictively licensed. While large language models (LLMs) have shown promise for hardware design, existing…