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)在软件工程中已被证明行之有效,但在硬件设计领域尚未广泛应用,其实践仍受局限。其中一个制约因素是需要从文本化规范中手动推导精确行为场景所需的人工投入。近期大型语言模型(LLMs)的发展为自动化这一步骤提供了新的契机。本文探讨在硬件设计背景下,如何利用基于LLM的技术来支持行为驱动开发。