4 papers
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…
Behavior-Driven Explainability
Caroline Dominik, Rolf Drechsler
As system complexity has vastly increased, it has become significantly more challenging for a single person or a team to fully understand all aspects of an entire system. Particula…
LLM-based Behaviour Driven Development for Hardware Design
Rolf Drechsler, Qian Liu
Test and verification are essential activities in hardware and system design, but their complexity grows significantly with increasing system sizes. While Behavior Driven Developme…
Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
Rolf Drechsler
Verification is one of the central tasks in circuit and system design. While simulation and emulation are widely used, complete correctness can only be ensured based on formal proo…