The signals UART_RXD and UART_TXD now appear in the top-level module: module top ( input CLK12M, input USER_BTN, output [7:0] LED, output SEN_SDI, output SEN_SPC, input SEN_SDO, output SEN_CS ...