Something must have been wired incorrectly before. Now, the USB-UART is working correctly without any issues

Signed-off-by: Chandler Jearls <cjearls@vt.edu>

xc7/picosoc_demo/README.rst

@@ -71,10 +71,6 @@ The UART output should look as follows:
 
    PicoSoC uses baud rate of ``460800`` by default.
 
-.. note::
-
-   On the Nexys4DDR, the USB-UART does not work, so UART can be accessed from pins 1 and 2 of PMOD C.
-
 The board's LED should blink at a regular rate from left to the right
 
 .. image:: ../../docs/images/picosoc-example-basys3.gif

xc7/picosoc_demo/nexys4ddr.pcf

@@ -2,8 +2,8 @@
 set_io clk E3
 
 # UART rx and tx are assigned to pins 1 and 2 of the PMOD Jumper C
-set_io rx K1
-set_io tx F6
+set_io rx C4
+set_io tx D4
 
 # LEDs
 set_io led[0] H17

xc7/picosoc_demo/nexys4ddr.v

@@ -23,15 +23,10 @@ module top (
 	output tx,
 	input rx,
 
-    	input [15:0] sw,
+    input [15:0] sw,
 	output [15:0] led,
-	output uart_cts,
-	output uart_rts
 );
 
-	assign uart_cts = 1'b0;
-	assign uart_rts = 1'b0;
-
 	wire clk_bufg;
 	BUFG bufg (.I(clk), .O(clk_bufg));