TY  - RPRT
TI  - Bottom-Up Generation of Verilog Designs for Testing EDA Tools
AU  - João Victor Amorim Vieira
AU  - Luiza de Melo Gomes
AU  - Rafael Sumitani
AU  - Raissa Maciel
AU  - Augusto Mafra
AU  - Mirlaine Crepalde
AU  - Fernando Magno Quintão Pereira
PY  - 2025
UR  - https://arxiv.org/abs/2504.06295
ID  - 2504.06295
ER  -