@misc{stracquadanio2024veribug,
  title={VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs},
  author={Giuseppe Stracquadanio and Sourav Medya and Stefano Quer and Debjit Pal},
  year={2024},
  eprint={2401.09494},
  archivePrefix={arXiv},
  primaryClass={cs.AR},
  url={https://arxiv.org/abs/2401.09494}
}