构建首个面向LLM生成VHDL代码的统一评估框架,填补多语言硬件设计自动化空白
VHDLSuite: Unified Pipeline for LLM VHDL Generation with Data Synthesis and Evaluation

- 自动将Verilog设计转换为可执行的VHDL测试用例,实现跨语言生成评估
- 推出含200+题目的VHDLBench基准,覆盖多种复杂度且测试用例完整验证
- 揭示当前LLM在VHDL生成中的独特挑战,助力多语言硬件自动化发展
大型语言模型(LLM)在寄存器传输级(RTL)代码生成方面表现出色,尤其在Verilog领域。然而,对其他硬件描述语言(HDL),特别是语义规则更严格的VHDL,其评估仍有限。由于语言结构和语义差异,现有评估难以全面反映模型跨语言泛化能力。为此,我们提出VHDLSuite——一个以基准为中心的可扩展VHDL生成评估基础设施,集成自动基准合成、可执行验证与多模型诊断分析。首先,设计数据流水线,自动将Verilog设计及其测试平台转换为可执行的VHDL基准实例,并通过VUnit/GHDL进行编译性、可运行性和一致性验证。其次,构建VHDLBench基准,包含超过200个具有完整验证测试平台的VHDL问题,覆盖广泛复杂度。最后,对前沿LLM进行系统评估,揭示了在LLM辅助VHDL生成中的关键挑战。研究结果为多语言硬件设计自动化提供重要洞见。相关数据流水线、基准与评估框架将开源。
原文摘要 · Abstract (English)
Large Language Models (LLM) have shown impressive capabilities in Register Transfer Level (RTL) code generation, particularly for Verilog. However, evaluating their performance with other Hardware Description Languages (HDL), especially VHDL, remains limited although its distinct language characteristics, such as stricter semantic rules, introduce evaluation considerations that differ from Verilog. This lack of coverage restricts fully understanding of how well current models generalize across hardware design languages with differing structures and semantics. To address this gap, we introduce VHDLSuite, a benchmark-centered infrastructure for scalable VHDL generation evaluation, integrating automated benchmark synthesis, executable validation, and multi-model diagnostic analysis. First, we propose a data pipeline that automatically converts Verilog designs and their accompanying testbenches into executable VHDL benchmark instances, followed by VUnit/GHDL-based validation to ensure each released task is compilable, runnable, and consistently checkable in the VHDL environment. Second, we introduce VHDLBench, a benchmark with over 200 VHDL problems with complete and validated testbenches across a wide range of complexity levels. Third, we extensively evaluate cutting-edge LLMs and uncover key challenges specific on LLM-aided VHDL generation. Our findings provide important insights and support future work in multi-language hardware design automation.Our data pipeline, benchmark, and evaluation framework will be open-sourced.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。