Image de couverture de livre

AIvril: AI-Driven RTL Generation With Verification In-The-Loop

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Islam, Mubashir ul, Sami, Humza, Gaillardon, Pierre-Emmanuel, Tenace, Valerio
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Hardware Architecture Computation and Language Machine Learning Multiagent Systems
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

EDA-Aware RTL Generation with Large Language Models
par: Islam, Mubashir ul, et autres
Publié: (2024)

Nexus: A Lightweight and Scalable Multi-Agent Framework for Complex Tasks Automation
par: Sami, Humza, et autres
Publié: (2025)

ChipMATE: Multi-Agent Training via Reinforcement Learning for Enhanced RTL Generation
par: Yu, Zhongkai, et autres
Publié: (2026)

Adaptive Multi-Agent Reasoning via Automated Workflow Generation
par: Sami, Humza, et autres
Publié: (2025)

VeriGraphi: A Multi-Agent Framework of Hierarchical RTL Generation for Large Hardware Designs
par: Islam, Sazzadul, et autres
Publié: (2026)

KernelEvolve: Scaling Agentic Kernel Coding for Heterogeneous AI Accelerators at Meta
par: Liao, Gang, et autres
Publié: (2025)

UCAgent: An End-to-End Agent for Block-Level Functional Verification
par: Wang, Junyue, et autres
Publié: (2026)

Multi-Agent Memory from a Computer Architecture Perspective: Visions and Challenges Ahead
par: Yu, Zhongming, et autres
Publié: (2026)

VLM-CAD: VLM-Optimized Collaborative Agent Design Workflow for Analog Circuit Sizing
par: Pan, Guanyuan, et autres
Publié: (2026)

MAHL: Multi-Agent LLM-Guided Hierarchical Chiplet Design with Adaptive Debugging
par: Tang, Jinwei, et autres
Publié: (2025)

Bridging the Last Mile of Circuit Design: PostEDA-Bench, a Hierarchical Benchmark for PPA Convergence and DRC Fixing
par: Liu, Pengju, et autres
Publié: (2026)

CRADLE: Conversational RTL Design Space Exploration with LLM-based Multi-Agent Systems
par: Krupp, Lukas, et autres
Publié: (2025)

MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimization
par: Wang, Yiting, et autres
Publié: (2025)

ReLMXEL: Adaptive RL-Based Memory Controller with Explainable Energy and Latency Optimization
par: Sai, Panuganti Chirag, et autres
Publié: (2026)

ChatModel: Automating Reference Model Design and Verification with LLMs
par: Ye, Jianmin, et autres
Publié: (2025)

VFlow: Discovering Optimal Agentic Workflows for Verilog Generation
par: Wei, Yangbo, et autres
Publié: (2025)

AnalogTester: A Large Language Model-Based Framework for Automatic Testbench Generation in Analog Circuit Design
par: Chen, Weiyu, et autres
Publié: (2025)

ASIC-Agent: An Autonomous Multi-Agent System for ASIC Design with Benchmark Evaluation
par: Allam, Ahmed, et autres
Publié: (2025)

CPU-Based Layout Design for Picker-to-Parts Pallet Warehouses
par: Looms, Timo, et autres
Publié: (2025)

OneDSE: A Unified Microprocessor Metric Prediction and Design Space Exploration Framework
par: Raj, Ritik, et autres
Publié: (2025)

Warp-Cortex: An Asynchronous, Memory-Efficient Architecture for Million-Agent Cognitive Scaling on Consumer Hardware
par: Williams, Jorge L. Ruiz
Publié: (2026)

ProtocolLLM: RTL Benchmark for SystemVerilog Generation of Communication Protocols
par: Sheth, Arnav, et autres
Publié: (2025)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
par: Chang, Fu-Chieh, et autres
Publié: (2026)

SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning
par: Wang, Yiting, et autres
Publié: (2025)

QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis
par: Wu, Yutong, et autres
Publié: (2026)

LLM-FSM: Scaling Large Language Models for Finite-State Reasoning in RTL Code Generation
par: Wu, Yuheng, et autres
Publié: (2026)

Transforming the Hybrid Cloud for Emerging AI Workloads
par: Chen, Deming, et autres
Publié: (2024)

Enabling On-Device Medical AI Assistants via Input-Driven Saliency Adaptation
par: Kallakurik, Uttej, et autres
Publié: (2025)

PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification
par: Zhao, Yujie, et autres
Publié: (2025)

From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification
par: Ye, Junhao, et autres
Publié: (2025)

Architect in the Loop Agentic Hardware Design and Verification
par: Mohammed, Mubarek
Publié: (2025)

ChatNeuroSim: An LLM Agent Framework for Automated Compute-in-Memory Accelerator Deployment and Optimization
par: Lee, Ming-Yen, et autres
Publié: (2026)

Zero-Shot RTL Code Generation with Attention Sink Augmented Large Language Models
par: Sandal, Selim, et autres
Publié: (2024)

ScaleRTL: Scaling LLMs with Reasoning Data and Test-Time Compute for Accurate RTL Code Generation
par: Deng, Chenhui, et autres
Publié: (2025)

RTL++: Graph-enhanced LLM for RTL Code Generation
par: Akyash, Mohammad, et autres
Publié: (2025)

OriGen:Enhancing RTL Code Generation with Code-to-Code Augmentation and Self-Reflection
par: Cui, Fan, et autres
Publié: (2024)

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
par: Wei, Anjiang, et autres
Publié: (2025)

Wrong Code, Right Structure: Learning Netlist Representations from Imperfect LLM-Generated RTL
par: Cai, Siyang, et autres
Publié: (2026)

Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS
par: DeLorenzo, Matthew, et autres
Publié: (2024)

VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation
par: Calzada, Paul E., et autres
Publié: (2025)