@misc{indiciae2579001ccc51,
  title = {LLM-enabled Behavior Driven Development Workflow for Formally Verified Hardware Designs},
  author = {Luca Müller and Qian Liu and Rolf Drechsler},
  year = {2026},
  url = {https://arxiv.org/abs/2609.15318},
  note = {Source identifier: 2609.15318}
}