3 papers
cs.LG2026
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…
cs.SE2025
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…
cs.LO2025
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…