使用 Isabelle/HOL 实现的 VHDL 可执行形式模型
介绍了一个专门用于评估大型语言模型在 VHDL 代码生成任务中性能的全面评估框架,并强调了现有 LLMs 在 VHDL 代码生成中面临的挑战和改进空间。
Jun, 2024
该研究使用八个代表性基准测试探究了领先技术的对话式大型语言模型在功能和验证目的上生成 Verilog 的能力和限制。结果表明,大型语言模型在硬件模块的设计和测试中具有潜力,并可朝着全自动数字设计流程的进展迈进。
Apr, 2024
HDLdebugger 是一个 LLM 辅助的 HDL 调试框架,通过逆向工程方法生成 HDL 调试数据、带检索增强的生成式搜索引擎以及带检索增强的 LLM 微调方法,自动化和简化芯片设计中的 HDL 调试。在华为提供的 HDL 代码数据集上进行的综合实验表明,HDLdebugger 优于 13 种前沿的 LLM 基准,在 HDL 代码调试方面表现出卓越效果。
Mar, 2024
通过优化 LLM 的核心自然语言模型和重新组织 HDL 代码数据集,提高生成精确且高效 ASIC 设计的模型能力,从而简化和加速复杂电路设计的 LLM 辅助框架,以满足 HDL 编码的复杂需求并优化 ASIC 开发流程。
Mar, 2024
本文系统研究了大型语言模型在电子设计自动化领域的应用,分类研究了助理聊天机器人、硬件描述语言和脚本生成,以及硬件描述语言验证与分析三个方面,并强调了未来研究方向,重点关注逻辑综合、物理设计、多模态特征提取和电路对齐等领域。
Dec, 2023
我们提出了一种新的高级综合方法,利用大型语言模型工具生成硬件设计。该方法仅使用开源工具,不包括大型语言模型。通过一个案例研究,我们使用该方法生成了一个具有 wishbone 接口的置换同余随机数生成器设计。我们使用大型语言模型生成的仿真和 Dieharder 随机性测试套件验证了随机数生成器设计的功能和质量。我们记录了案例研究中使用的所有大型语言模型聊天记录、Python 脚本、Verilog 脚本和仿真结果。我们相信,我们的硬件设计生成方法与开源硅 130 纳米设计工具相结合,将彻底改变应用特定集成电路设计。我们的方法大大降低了构建物联网领域特定计算加速器和概念验证原型的门槛,以后可以在更现代的工艺节点进行制造。
Nov, 2023
本文介绍了 Hardware Phi 1.5B,一种专门为半导体行业硬件领域设计的创新大型语言模型,通过使用中等数据集进行预训练,该模型在硬件设计和验证任务中展现出改进的性能,为半导体行业的人工智能应用指明了一个有希望的发展方向。
Jan, 2024
该论文提出了一种专门为评估大型语言模型在硬件设计和验证中的 Verilog 代码生成性能而设计的基准测试框架,演示了预训练语言模型的 Verilog 代码生成能力可以通过使用 LLM 生成的合成问题 - 代码对进行监督微调来提高。
Sep, 2023
本文提出了用于数字 ASIC 设计的 LLMs 的目标策略,改善了 LLMs 生成 HDL 代码的可靠性和准确性,并详细介绍了一个基于 LLMs 开发的简单三相脉宽调制发生器项目的实际示范,展示了 LLMs 增强数字 ASIC 设计的潜力。
Apr, 2024