mlsanityData to 14 Oct 2026

A Multi-Agent Generative AI Framework for IC Module-Level Verification Automation

arXiv 2507.21694 ↗First posted 29 Jul 2025cs.AR cs.AIcited by 2

On the map: LLM agents and tool use → Software engineering coding agents

Abstract (arXiv)

As large language models demonstrate enormous potential in the field of Electronic Design Automation (EDA), generative AI-assisted chip design is attracting widespread attention from academia and industry. Although these technologies have made preliminary progress in tasks such as code generation, their application in chip verification -- a critical bottleneck in the chip development cycle -- remains at an exploratory stage. This paper proposes an innovative Multi-Agent Verification Framework (MAVF) aimed at addressing the limitations of current single-LLM approaches in complex verification tasks. Our framework builds an automated transformation system from design specifications to testbench through the collaborative work of multiple specialized agents, including specification parsing, verification strategy generation, and code implementation. Through verification experiments on multiple chip modules of varying complexity, results show that MAVF significantly outperforms traditional manual methods and single-dialogue generative AI approaches in verification document parsing and generation, as well as automated testbench generation. This research opens new directions for exploring generative AI applications in verification automation, potentially providing effective approaches to solving the most challenging bottleneck issues in chip design.

Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Placed in Software engineering coding agents, one of 16 directions in LLM agents and tool use. Builds on 13 of its 21 references that are in the map. First posted on arXiv 29 Jul 2025.

Builds on

13 of 21 references.

References · 13

  1. 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
  2. 2023Generative Agents: Interactive Simulacra of Human Behaviorcited by 3,568
  3. 2023WebArena: A Realistic Web Environment for Building Autonomous Agentscited by 2,006
  4. 2023MetaGPT: Meta Programming for A Multi-Agent Collaborative Frameworkcited by 1,808
  5. 2023Multi-Agent Collaboration: Harnessing the Power of Intelligent LLM Agentscited by 333
  6. 2023Large Language Models as Tool Makerscited by 303
  7. 2023Building Cooperative Embodied Agents Modularly with Large Language Modelscited by 237
  8. 2023ChipNeMo: Domain-Adapted LLMs for Chip Designcited by 174
  9. 2022Benchmarking Large Language Models for Automated Verilog RTL Code Generationcited by 115
  10. 2023ChipGPT: How far are we from natural language hardware designcited by 105
  11. 2023GPT4AIGChip: Towards Next-Generation AI Accelerator Design Automation via Large Language Modelscited by 61
  12. 2023Multi-Party Chat: Conversational Agents in Group Settings with Humans and Modelscited by 54
1 more
  1. 2024All Artificial, Less Intelligence: GenAI through the Lens of Formal Verificationcited by 11

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 2.

2 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2025Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification
  2. 2026Agentic AI-based Coverage Closure for Formal Verification
  3. 2026Back to the Future: Rethinking EDA Infrastructure for Agentic Systems in Chip Design Verification
  4. 2024SynthAI: A Multi Agent Generative AI Framework for Automated Modular HLS Design Generation
  5. 2026AgentDV: Closed-Loop Agentic AI for Hardware Design Verification
  6. 2026RFChipAgent: Multi-Agentic AI Flow for Analog/RF Chip Design
  7. 2026CircuitLM: A Multi-Agent LLM-Aided Design Framework for Generating Circuit Schematics from Natural Language Prompts
  8. 2026LLM for EDA in Front-End Design: Challenges and Opportunities