LLM-enabled Behavior Driven Development Workflow for Formally Verified Hardware Designs

Luca Müller, Qian Liu, Rolf Drechsler

Recently, the use of Large Language Models (LLMs) for different tasks in the Electronic Design Automation (EDA) life-cycle has been studied extensively, but an integrated view is l…