New agentic framework automates IC verification using LLMs

Researchers have developed GoGoTB, an agentic framework designed to automate functional verification in integrated circuit (IC) engineering. This system addresses limitations in current LLM-based approaches by maintaining shared context across verification stages, preventing interface mismatches and ensuring coverage is tied to specification requirements. GoGoTB utilizes an execution control layer, an evolvable knowledge system, and specification-grounded coverage closure to achieve end-to-end verification. In tests on eight RTL designs, GoGoTB successfully generated complete verification environments and achieved high coverage metrics without human intervention. AI

IMPACT This framework could significantly accelerate IC design cycles by automating complex verification tasks, potentially reducing costly respin cycles.

RANK_REASON This is a research paper describing a new framework for RTL verification. [lever_c_demoted from research: ic=1 ai=1.0]

Read on arXiv cs.AI →

• alphaXiv
• arXiv
• CatalyzeX
• DagsHub
• GoGoTB
• Gotit.pub
• Hugging Face
• Influence Flower
• RTL
• ScienceCast

• paper
• product
• infra

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →