From 03d5906c48812d6c03ab0483c502e5464eaa583b Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Mon, 6 May 2024 14:48:56 -0500
Subject: tweak debug, why is it always enqueueing a zero...

---
 src/Top.bs  |  2 +-
 src/Uart.bs | 15 ++++++++-------
 2 files changed, 9 insertions(+), 8 deletions(-)

diff --git a/src/Top.bs b/src/Top.bs
index ec043c9..dfe98a5 100644
--- a/src/Top.bs
+++ b/src/Top.bs
@@ -52,7 +52,7 @@ mkTop =
       tx = uart.txPin
       -- Onboard LEDs
       ledR_N = uart.txPin
-      ledG_N = uart.txPin
+      ledG_N = uart.debugBit
       -- RGB LED driver
       ledRed_N = 1
       ledGrn_N = 1
diff --git a/src/Uart.bs b/src/Uart.bs
index 2cfe14a..adf77d4 100644
--- a/src/Uart.bs
+++ b/src/Uart.bs
@@ -99,7 +99,7 @@ interface RxUart =
 mkRxUart :: Clock -> Integer -> Module RxUart
 mkRxUart baudClock bufferSize =
   module
-    fifo :: FIFOF (Bit 8) <- mkSizedFIFOF bufferSize
+    fifo :: FIFOF (Bit 8) <- mkGSizedFIFOF True False bufferSize
     state :: Reg RxState <- mkReg Idle
     pin :: Wire (Bit 1) <- mkWire
     debugBit :: Reg (Bit 1) <- mkReg 1
@@ -108,18 +108,19 @@ mkRxUart baudClock bufferSize =
       "uart_rx": when baudClock.clk
         rules
           "uart_rx_idle": when Idle <- state ==>
-            if pin == 0 then
+            if pin == 0 then do
+              debugBit := 0
               state := Data 0 0
             else
               state := Idle
-          "uart_rx_data": when Data hi n <- state ==> do
-            debugBit := pin
-            let b :: Bit 8 = hi[7:1] ++ pin
+          "uart_rx_data": when Data oldBits n <- state ==> do
+            let newBits = pin ++ oldBits[6:0]
             if n == 7 then do
-              fifo.enq b
+              fifo.enq newBits
+              debugBit := 1
               state := Idle
             else
-              state := Data b (n + 1)
+              state := Data newBits (n + 1)
 
     interface RxUart
       pin bit = pin := bit
-- 
cgit v1.2.3