@misc{indiciaee8f09a6a58be,
  title = {Vectorization of Verilog Designs and its Effects on Verification and Synthesis},
  author = {Maria Fernanda Oliveira Guimarães and Ulisses Rosa and Ian Trudel and João Victor Amorim Vieira and Augusto Amaral Mafra and Mirlaine Crepalde and Fernando Magno Quintão Pereira},
  year = {2026},
  url = {https://arxiv.org/abs/2603.17099},
  note = {Source identifier: 2603.17099}
}