2 papers
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…