View PDF ↗
PDF Viewer
Open Full PDF

BUILDER'S SANDBOX

Build This Paper

Use an AI coding agent to implement this research.

OpenAI Codex
OpenAI CodexAI Agent

Lightweight coding agent in your terminal.

Claude Code
Claude CodeAI Agent

Agentic coding tool for terminal workflows.

AntiGravity IDE
AntiGravity IDEScaffolding

AI agent mindset installer and workflow scaffolder.

Cursor
CursorIDE

AI-first code editor built on VS Code.

VS Code
VS CodeIDE

Free, open-source editor by Microsoft.

Estimated $10K - $14K over 6-10 weeks.

See exactly what it costs to build this -- with 3 comparable funded startups.

7-day free trial. Cancel anytime.

Discover the researchers behind this paper and find similar experts.

7-day free trial. Cancel anytime.

References (18)

[1]
Revolution or Hype? Seeking the Limits of Large Models in Hardware Design
2025Qiang Xu, Leon Stok et al.
[2]
Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification
2025Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna et al.
[3]
Comprehensive Verilog Design Problems: A Next-Generation Benchmark Dataset for Evaluating Large Language Models and Agents on RTL Design and Verification
2025N. Pinckney, Chenhui Deng et al.
[4]
BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis
2025Surya Jasper, Minh Luu et al.
[5]
Saarthi: The First AI Formal Verification Engineer
2025Aman Kumar, Deepak Narayan Gadde et al.
[6]
Generative AI Augmented Induction-based Formal Verification
2024Aman Kumar, Deepak Narayan Gadde
[7]
From Local to Global: A Graph RAG Approach to Query-Focused Summarization
2024Darren Edge, Ha Trinh et al.
[8]
All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
2024Deepak Narayan Gadde, Aman Kumar et al.
[9]
Sparks of Artificial General Intelligence: Early experiments with GPT-4
2023Sébastien Bubeck, Varun Chandrasekaran et al.
[10]
Precise Zero-Shot Dense Retrieval without Relevance Labels
2022Luyu Gao, Xueguang Ma et al.
[11]
ReAct: Synergizing Reasoning and Acting in Language Models
2022Shunyu Yao, Jeffrey Zhao et al.
[12]
Leveraging Passage Retrieval with Generative Models for Open Domain Question Answering
2020Gautier Izacard, Edouard Grave
[13]
Dense Passage Retrieval for Open-Domain Question Answering
2020Vladimir Karpukhin, Barlas Oğuz et al.
[14]
Knowledge Graphs
2020Aidan Hogan, E. Blomqvist et al.
[15]
Billion-Scale Similarity Search with GPUs
2017Jeff Johnson, Matthijs Douze et al.
[16]
Knowledge graph refinement: A survey of approaches and evaluation methods
2016Heiko Paulheim
[17]
Towards a Definition of Knowledge Graphs
2016Lisa Ehrlinger, Wolfram Wöß
[18]
SystemVerilog. Unified Hardware Design, Specification, and Verification Language

Founder's Pitch

"Saarthi is an agentic AI framework enhancing formal verification with multi-agent collaboration and improved accuracy using structured rulebooks and RAG techniques."

AgentsScore: 7View PDF ↗

Commercial Viability Breakdown

0-10 scale

High Potential

2/4 signals

5

Quick Build

4/4 signals

10

Series A Potential

2/4 signals

5

Sources used for this analysis

arXiv Paper

Full-text PDF analysis of the research paper

GitHub Repository

Code availability, stars, and contributor activity

Citation Network

Semantic Scholar citations and co-citation patterns

Community Predictions

Crowd-sourced unicorn probability assessments

Analysis model: GPT-4o · Last scored: 3/3/2026

Explore the full citation network and related research.

7-day free trial. Cancel anytime.

Understand the commercial significance and market impact.

7-day free trial. Cancel anytime.

Get detailed profiles of the research team.

7-day free trial. Cancel anytime.