@misc{indiciae567b7a61b8d2,
  title = {Closing the Loop on LLM-Generated RTL Assertions with Quality-Aware Formal Verification},
  author = {Ramesh Krishnamurthy and Danial Chitnis and Themis Prodromakis},
  year = {2026},
  url = {https://arxiv.org/abs/2606.21451},
  note = {Source identifier: 2606.21451}
}