do verilog exported port name mapping by hand in Top.bsv, since not needed
anywhere else