Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification

Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Vaisakh Naduvodi Viswambharan, Aman Kumar, Djones Lettnin +2 more
7/3/2025
cs.AIcs.AR

No confident code implementation found for this paper.

Abstract

Modern Integrated Circuits (ICs) are becoming increasingly complex, and so is their development process. Hardware design verification entails a methodical and disciplined approach to the planning, development, execution, and sign-off of functionally correct hardware designs. This tedious process requires significant effort and time to ensure a bug-free tape-out. The field of Natural Language Processing has undergone a significant transformation with the advent of Large Language Models (LLMs). These powerful models, often referred to as Generative AI (GenAI), have revolutionized how machines understand and generate human language, enabling unprecedented advancements in a wide array of applications, including hardware design verification. This paper presents an agentic AI-based approach to hardware design verification, which empowers AI agents, in collaboration with Humain-in-the-Loop (HITL) intervention, to engage in a more dynamic, iterative, and self-reflective process, ultimately performing end-to-end hardware design and verification. This methodology is evaluated on five open-source designs, achieving over 95% coverage with reduced verification time while demonstrating superior performance, adaptability, and configurability.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Cite this paper

@article{gadde2025generate,
  title  = {Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification},
  author = {Deepak Narayan Gadde and Keerthan Kopparam Radhakrishna and Vaisakh Naduvodi Viswambharan and Aman Kumar and Djones Lettnin and Wolfgang Kunz and Sebastian Simon},
  year   = {2025},
  eprint = {2507.02660},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2507.02660v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2507.02660.svg)](https://codeofpaper.com/paper/2507.02660)

Discussion