@misc{indiciae9ef20f3247c6,
  title = {Automatic High-quality Verilog Assertion Generation through Subtask-Focused Fine-Tuned LLMs and Iterative Prompting},
  author = {Mohammad Shahidzadeh and Behnam Ghavami and Steve Wilton and Lesley Shannon},
  year = {2024},
  url = {https://arxiv.org/abs/2411.15442},
  note = {Source identifier: 2411.15442}
}