# Outputs from the peripherals will be inputs to the pinmux
 # module. Hence the change in direction for most pins
 
-uartinterface_decl = Interface([{'name': 'rx_{0}'},
-                                {'name': 'tx_{0}', 'action': True},
+uartinterface_decl = Interface([{'name': 'uart{0}_rx'},
+                                {'name': 'uart{0}_tx', 'action': True},
                                 ])
 
 spiinterface_decl = Interface([{'name': 'spi{0}_sclk', 'action': True},
 
       endmethod
 '''
 uartinterface_def = '''
-      method rx_{0}=wruart{0}_rx;
-      method Action tx_{0}(Bit#(1) in);
+      method uart{0}_rx=wruart{0}_rx;
+      method Action uart{0}_tx(Bit#(1) in);
          wruart{0}_tx<=in;
       endmethod
 '''