@misc{indiciaebf0615f18680,
  title = {Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization},
  author = {Fenghua Wu and Evan Pan and Rahul Kande and Michael Quinn and Aakash Tyagi and David Kebo Houngninou and Jeyavijayan Rajendran and Jiang Hu},
  year = {2025},
  url = {https://arxiv.org/abs/2505.07995},
  note = {Source identifier: 2505.07995}
}