- VeriMaAS is accepted to ML4Sys NeurIPS 2025 workshop.
- Initial upload to arXiv (see PDF).
@article{bhattaram2025automated,
title={Automated Multi-Agent Workflows for RTL Design},
author={Bhattaram, Amulya and Ramamoorthy, Janani and Gupta, Ranit and Marculescu, Diana and Stamoulis, Dimitrios},
journal={arXiv preprint arXiv:2509.20182},
year={2025}
}Special thanks to the incredible MaAS work for their invaluable code. Our method is adapted from MaAS.