How to verify LLM-generated RTL code?
AIVRIL: AI-DRIVEN RTL GENERATION WITH VERIFICATION IN-THE-LOOP
September 19, 2024
https://arxiv.org/pdf/2409.11411This paper introduces AIVRIL, a multi-agent framework using LLMs to improve the generation of hardware design code (RTL). It uses a "Code Agent" to generate the code and a "Review Agent" to find errors and suggest fixes, similar to how a human would review code. AIVRIL also includes automated testing to ensure the generated code functions correctly. This system is unique because it doesn't need specialized training for specific tasks or tools, making it adaptable for various hardware design situations.