Saarthi: The First AI Formal Verification Engineer
This addresses the need for automated verification in hardware design, but it is incremental as it adapts an existing agentic workflow from software engineering to a new domain.
The paper introduces Saarthi, a fully autonomous AI formal verification engineer that verifies RTL designs end-to-end using an agentic workflow, enabling verification engineers to tackle more complex problems and teams to pursue ambitious goals.
Recently, Devin has made a significant buzz in the Artificial Intelligence (AI) community as the world's first fully autonomous AI software engineer, capable of independently developing software code. Devin uses the concept of agentic workflow in Generative AI (GenAI), which empowers AI agents to engage in a more dynamic, iterative, and self-reflective process. In this paper, we present a similar fully autonomous AI formal verification engineer, Saarthi, capable of verifying a given RTL design end-to-end using an agentic workflow. With Saarthi, verification engineers can focus on more complex problems, and verification teams can strive for more ambitious goals. The domain-agnostic implementation of Saarthi makes it scalable for use across various domains such as RTL design, UVM-based verification, and others.