用大模型自动生成硬件设计的行为测试用例
LLM-based Behaviour Driven Development for Hardware Design
- 用大模型从文字需求自动提取行为场景
- 减少人工编写测试用例的工作量
- 适合硬件验证工程师快速迭代设计
测试与验证是硬件与系统设计中的关键环节，但随着系统规模增大，其复杂性显著提升。尽管行为驱动开发（BDD）在软件工程中已被证明有效，但在硬件设计领域尚未广泛应用，实际落地仍受限。其中一个原因是需手动将文本规格说明转化为精确的行为场景，工作量大。近年来，大语言模型（LLM）的发展为自动化这一过程提供了新可能。本文研究了基于大模型的技术在硬件设计背景下支持行为驱动开发的应用前景。
原文摘要 · Abstract (English)
Test and verification are essential activities in hardware and system design, but their complexity grows significantly with increasing system sizes. While Behavior Driven Development (BDD) has proven effective in software engineering, it is not yet well established in hardware design, and its practical use remains limited. One contributing factor is the manual effort required to derive precise behavioral scenarios from textual specifications. Recent advances in Large Language Models (LLMs) offer new opportunities to automate this step. In this paper, we investigate the use of LLM-based techniques to support BDD in the context of hardware design.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。