TY  - RPRT
TI  - AIvril: AI-Driven RTL Generation With Verification In-The-Loop
AU  - Mubashir ul Islam
AU  - Humza Sami
AU  - Pierre-Emmanuel Gaillardon
AU  - Valerio Tenace
PY  - 2024
UR  - https://arxiv.org/abs/2409.11411
ID  - 2409.11411
ER  -