计算机科学 > 人工智能
[提交于 2025年7月3日
]
标题: 嘿AI,生成给我一段硬件代码! 基于代理AI的硬件设计与验证
标题: Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification
摘要: 现代集成电路(IC)变得越来越复杂,其开发过程也是如此。 硬件设计验证涉及对功能正确的硬件设计的规划、开发、执行和签核的方法论和有纪律的方法。 这个繁琐的过程需要大量的努力和时间,以确保无错误的tape-out。 自然语言处理领域随着大型语言模型(LLMs)的出现经历了重大转变。 这些强大的模型通常被称为生成式人工智能(GenAI),它们彻底改变了机器理解和生成人类语言的方式,使得在包括硬件设计验证在内的广泛应用中实现了前所未有的进展。 本文提出了一种基于代理的AI方法用于硬件设计验证,该方法使AI代理在与人在回路(HITL)干预协作下,能够参与更加动态、迭代和自我反思的过程,最终实现端到端的硬件设计和验证。 该方法在五个开源设计上进行了评估,在减少验证时间的同时实现了超过95%的覆盖率,并表现出卓越的性能、适应性和可配置性。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.