TY  - RPRT
TI  - Vectorization of Verilog Designs and its Effects on Verification and Synthesis
AU  - Maria Fernanda Oliveira Guimarães
AU  - Ulisses Rosa
AU  - Ian Trudel
AU  - João Victor Amorim Vieira
AU  - Augusto Amaral Mafra
AU  - Mirlaine Crepalde
AU  - Fernando Magno Quintão Pereira
PY  - 2026
UR  - https://arxiv.org/abs/2603.17099
ID  - 2603.17099
ER  -