@misc{indiciaee2fd34db2bc0,
  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},
  url = {https://arxiv.org/abs/2409.11411},
  note = {Source identifier: 2409.11411}
}