Skip to main content
CenXiv.org
此网站处于试运行阶段,支持我们!
我们衷心感谢所有贡献者的支持。
贡献
赞助
cenxiv logo > cs > arXiv:2507.02660

帮助 | 高级搜索

计算机科学 > 人工智能

arXiv:2507.02660 (cs)
[提交于 2025年7月3日 ]

标题: 嘿AI,生成给我一段硬件代码! 基于代理AI的硬件设计与验证

标题: Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification

Authors:Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Vaisakh Naduvodi Viswambharan, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
摘要: 现代集成电路(IC)变得越来越复杂,其开发过程也是如此。 硬件设计验证涉及对功能正确的硬件设计的规划、开发、执行和签核的方法论和有纪律的方法。 这个繁琐的过程需要大量的努力和时间,以确保无错误的tape-out。 自然语言处理领域随着大型语言模型(LLMs)的出现经历了重大转变。 这些强大的模型通常被称为生成式人工智能(GenAI),它们彻底改变了机器理解和生成人类语言的方式,使得在包括硬件设计验证在内的广泛应用中实现了前所未有的进展。 本文提出了一种基于代理的AI方法用于硬件设计验证,该方法使AI代理在与人在回路(HITL)干预协作下,能够参与更加动态、迭代和自我反思的过程,最终实现端到端的硬件设计和验证。 该方法在五个开源设计上进行了评估,在减少验证时间的同时实现了超过95%的覆盖率,并表现出卓越的性能、适应性和可配置性。
摘要: Modern Integrated Circuits (ICs) are becoming increasingly complex, and so is their development process. Hardware design verification entails a methodical and disciplined approach to the planning, development, execution, and sign-off of functionally correct hardware designs. This tedious process requires significant effort and time to ensure a bug-free tape-out. The field of Natural Language Processing has undergone a significant transformation with the advent of Large Language Models (LLMs). These powerful models, often referred to as Generative AI (GenAI), have revolutionized how machines understand and generate human language, enabling unprecedented advancements in a wide array of applications, including hardware design verification. This paper presents an agentic AI-based approach to hardware design verification, which empowers AI agents, in collaboration with Humain-in-the-Loop (HITL) intervention, to engage in a more dynamic, iterative, and self-reflective process, ultimately performing end-to-end hardware design and verification. This methodology is evaluated on five open-source designs, achieving over 95% coverage with reduced verification time while demonstrating superior performance, adaptability, and configurability.
评论: 将于2025年8月25日至29日,在巴西马瑙斯举行的第38届SBC/SBMicro/IEEE集成电路与系统设计研讨会(SBCCI)上发表。
主题: 人工智能 (cs.AI) ; 硬件架构 (cs.AR)
引用方式: arXiv:2507.02660 [cs.AI]
  (或者 arXiv:2507.02660v1 [cs.AI] 对于此版本)
  https://doi.org/10.48550/arXiv.2507.02660
通过 DataCite 发表的 arXiv DOI(待注册)

提交历史

来自: Aman Kumar [查看电子邮件]
[v1] 星期四, 2025 年 7 月 3 日 14:20:57 UTC (953 KB)
全文链接:

获取论文:

    查看标题为《》的 PDF
  • 查看中文 PDF
  • 查看 PDF
  • HTML(实验性)
  • TeX 源代码
  • 其他格式
查看许可
当前浏览上下文:
cs.AI
< 上一篇   |   下一篇 >
新的 | 最近的 | 2025-07
切换浏览方式为:
cs
cs.AR

参考文献与引用

  • NASA ADS
  • 谷歌学术搜索
  • 语义学者
a 导出 BibTeX 引用 加载中...

BibTeX 格式的引用

×
数据由提供:

收藏

BibSonomy logo Reddit logo

文献和引用工具

文献资源探索 (什么是资源探索?)
连接的论文 (什么是连接的论文?)
Litmaps (什么是 Litmaps?)
scite 智能引用 (什么是智能引用?)

与本文相关的代码,数据和媒体

alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)

演示

复制 (什么是复制?)
Hugging Face Spaces (什么是 Spaces?)
TXYZ.AI (什么是 TXYZ.AI?)

推荐器和搜索工具

影响之花 (什么是影响之花?)
核心推荐器 (什么是核心?)
IArxiv 推荐器 (什么是 IArxiv?)
  • 作者
  • 地点
  • 机构
  • 主题

arXivLabs:与社区合作伙伴的实验项目

arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。

与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。

有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.

这篇论文的哪些作者是支持者? | 禁用 MathJax (什么是 MathJax?)
  • 关于
  • 帮助
  • contact arXivClick here to contact arXiv 联系
  • 订阅 arXiv 邮件列表点击这里订阅 订阅
  • 版权
  • 隐私政策
  • 网络无障碍帮助
  • arXiv 运营状态
    通过...获取状态通知 email 或者 slack

京ICP备2025123034号