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.
翻译:测试与验证是硬件及系统设计中的关键环节,但其复杂度随系统规模增大而显著增加。尽管行为驱动开发(BDD)在软件工程中已被证明行之有效,其在硬件设计领域尚未得到广泛应用,实际采用仍较为有限。其中一个制约因素是需要从文本化规范中手动推导精确行为场景所耗费的人力。大型语言模型(LLM)的最新进展为自动化这一步骤提供了新的机遇。本文探讨了在硬件设计背景下应用基于LLM的技术以支持BDD的可行性。