研究人员开发了一个新的框架，使用大型语言模型 (LLM) 结合形式化方法来生成硬件设计。该方法旨在通过采用一套确保正确性的转换规则来减轻 LLM 在芯片设计中引入错误的风险。实验表明，该框架在将设计规范转换为可验证的 RTL 代码方面是有效且高效的。 AI
影响 这项研究可以提高 AI 生成硬件设计的可靠性，有可能加速半导体行业的发展周期。
排序理由 该集群包含一篇学术论文，详细介绍了使用 LLM 和形式化方法进行硬件生成的新方法。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
