论文
通过 LLM 驱动的逐步细化生成可解释和可验证的硬件
Interpretable and Verifiable Hardware Generation with LLM-Driven Stepwise Refinement
摘要
大语言模型（LLM）在软件开发方面取得了令人瞩目的成功。然而，它们很容易产生幻觉，这意味着它们可能会引入微妙的语义和逻辑错误。由于芯片设计和制造的风险很高，硬件工程师仍然不愿意依赖 LLM 进行寄存器传输级 (RTL) 生成。在本文中，我们提出了一种硬件生成框架，它将 LLM 的创造力和广泛知识与形式方法的可解释性和数学严谨性相结合。具体来说，我们设计了一套涵盖各种设计决策和硬件功能的转换规则。通过迭代应用这些规则，LLM 代理可以将设计规范转换为保证正确性的 RTL 程序。实验结果证明了该框架的有效性和效率。