make mkTLPSerializer a Verilog module