Vectorization of Verilog Designs and its Effects on Verification and Synthesis. - Maria Fernanda Oiveira Guimarães; Ulisses Rosa; Ian Trudel; João Victor Amorim; Augusto Mafra; Mirlaine Crepalde; Fernando Magno Quintão Pereira (CoRR, 2026)