본 논문은 세계 최초의 완전 자율 AI 소프트웨어 엔지니어인 Devin에 착안하여, 완전 자율 AI 형식 검증 엔지니어인 Saarthi를 제시한다. Saarthi는 생성형 AI의 에이전트 워크플로우 개념을 활용하여 주어진 RTL 설계를 end-to-end로 검증한다. 이는 검증 엔지니어가 더 복잡한 문제에 집중하고, 검증 팀이 더 야심찬 목표를 추구할 수 있도록 한다. Saarthi는 도메인에 독립적인 구현으로 RTL 설계, UVM 기반 검증 등 다양한 분야에서 확장 가능하다.
