@misc{indiciae1a416baa5702, title = {Bottom-Up Generation of Verilog Designs for Testing EDA Tools}, author = {João Victor Amorim Vieira and Luiza de Melo Gomes and Rafael Sumitani and Raissa Maciel and Augusto Mafra and Mirlaine Crepalde and Fernando Magno Quintão Pereira}, year = {2025}, url = {https://arxiv.org/abs/2504.06295}, note = {Source identifier: 2504.06295} }