Saarthi是首个能自主完成RTL设计验证的AI工程师。
Saarthi: The First AI Formal Verification Engineer
- 采用智能体工作流，实现从头到尾的自动化验证
- 可独立处理RTL设计，提升验证效率与覆盖率
- 适用于多种场景，适合希望提效的验证团队
近期，Devin作为全球首个全自主人工智能软件工程师，在人工智能领域引发广泛关注，其具备独立开发软件代码的能力。Devin利用生成式AI中的智能体工作流，使AI代理能够进行更动态、迭代且自我反思的过程。本文提出一个类似的全自主人工智能形式化验证工程师Saarthi，能够使用智能体工作流对给定的RTL设计实现端到端的验证。通过Saarthi，验证工程师可专注于更复杂的问题，验证团队也能追求更具挑战性的目标。Saarthi的领域无关性设计使其可扩展应用于多种场景，如RTL设计、基于UVM的验证等。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。