@article{aivrilaidrivenrtlgenerationwith,
  title = {AIvril: AI-Driven RTL Generation With Verification In-The-Loop},
  author = {Mubashir ul Islam and Humza Sami and Pierre-Emmanuel Gaillardon and Valerio Tenace},
  year = {2024},
  eprint = {2409.11411},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2409.11411v1},
}