Saarthi：第一个人工智能形式化验证工程师

最近，Devin 在人工智能（AI）社区引起了轰动，作为世界上第一个完全自主的 AI 软件工程师，能够独立开发软件代码。Devin 使用生成式 AI（GenAI）中的代理式工作流程概念，使 AI 代理能够进行更动态、迭代和自反思的过程。本文提出了类似的完全自主 AI形式化验证工程师 Saarthi，能够使用代理式工作流程对给定的 RTL 设计进行端到端验证。借助 Saarthi，验证工程师可以专注于更复杂的问题，验证团队可以追求更宏大的目标。Saarthi 的领域无关实现使其能够跨越 RTL 设计、基于 UVM 的验证等多个领域进行规模化应用。