Cool Link
[2603.17099] Vectorization of Verilog Designs and its Effects on Verification and Synthesis arxiv.org

arxiv.org/abs/2603.17099