首个针对通信协议生成的SystemVerilog评测基准,评估大模型在硬件代码生成中的表现。
ProtocolLLM: RTL Benchmark for SystemVerilog Generation of Communication Protocols
- 构建覆盖多抽象层级的ProtocolLLM基准,涵盖协议生成与时序验证任务。
- 多数大模型无法生成满足时序约束的可综合SystemVerilog代码。
- 适合关注硬件生成、芯片设计自动化及LLM在EDA中应用的研究者。
近年来大型语言模型(LLMs)在通用编程语言代码生成方面表现出色,但在硬件描述语言(HDL),如SystemVerilog上的潜力仍待探索。由于严格的时序语义、并发性和可综合约束,HDL代码生成面临独特挑战。此外,基于HDL的设计流程还涉及测试平台开发、断言验证、时序收敛以及片上通信的协议级集成等任务。本文评估了开源及前沿的LLMs在生成广泛使用的通信协议的可综合、功能正确SystemVerilog实现方面的能力,这些协议是嵌入式系统和片上系统(SoC)的关键组件。我们提出ProtocolLLM,这是首个专门针对此类协议的基准套件,涵盖多个设计抽象层级和不同提示具体度的任务。评估方法还关注时序正确性,而不仅限于可综合性和语法正确性。实验发现,大多数模型无法生成满足时序约束的通信协议SystemVerilog代码。
原文摘要 · Abstract (English)
Recent advances in large language models (LLMs) have demonstrated strong performance in generating code for general-purpose programming languages. However, their potential for hardware description languages (HDLs), such as SystemVerilog, remains largely unexplored. HDL code generation poses unique challenges due to strict timing semantics, concurrency, and synthesizability constraints essential for correct hardware functionality. Further, HDL-based design flows encompass a broad set of tasks beyond structural code generation, including testbench development, assertion-based verification, timing closure, and protocol-level integration for on-chip communication. In this work, we evaluate the capabilities of both open-source and state-of-the-art LLMs in generating synthesizable and functionally accurate SystemVerilog implementations of widely used communication protocols that are critical components of embedded and System-on-Chip (SoC) systems. We introduce ProtocolLLM, the first benchmark suite specifically targeting these protocols with tasks spanning multiple design abstraction levels and varying prompt specificity. Our evaluation method also focuses on timing correctness in addition to synthesizability and syntactic correctness. We observe that most of the models fail to generate SystemVerilog code for communication protocols that follow timing constrains.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。