From ed3e96b5eaae71d035e14569b107040c3538f849 Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Tue, 8 Oct 2024 10:08:58 -0500
Subject: Split the simulator back out to its own package.

This ensures that the presence of Inouts doesn't make Bluesim mad.
---
 fpga/src/Top.bs    | 30 +-----------------------------
 fpga/src/TopSim.bs | 38 ++++++++++++++++++++++++++++++++++++++
 2 files changed, 39 insertions(+), 29 deletions(-)
 create mode 100644 fpga/src/TopSim.bs

(limited to 'fpga/src')

diff --git a/fpga/src/Top.bs b/fpga/src/Top.bs
index 7740c4b..29558d4 100644
--- a/fpga/src/Top.bs
+++ b/fpga/src/Top.bs
@@ -1,4 +1,4 @@
--- | The top-level module, for both simulation and the iCEBreaker.
+-- | The top-level module, for the iCEBreaker.
 package Top where
 
 import Connectable
@@ -109,32 +109,4 @@ mkTop =
 {-# verilog mkTop #-}
 {-# properties mkTop = { RSTN = BTN_N } #-}
 
-mkTopSim :: Module Empty
-mkTopSim =
-  module
-    cpu <- mkCPU
-
-    uart <- mkUart 1
-    mkConnection cpu.uart_tx uart.send
-    mkConnection cpu.uart_rx uart.recv
-
-    fakeUart <- mkUart 1
-    rules
-      when True ==> uart.rxPin fakeUart.txPin
-
-    timer :: Reg (Bit 8) <- mkReg 0
-    rules
-      when True ==> timer := timer + 1
-      when (timer == 0x00) ==> fakeUart.send.put 0x30
-      when (timer == 0x01) ==> fakeUart.send.put 0x30
-      when (timer == 0x02) ==> fakeUart.send.put 0x77
-      when (timer == 0x03) ==> fakeUart.send.put 0x31
-      when (timer == 0x04) ==> fakeUart.send.put 0x32
-      when (timer == 0x05) ==> fakeUart.send.put 0x33
-      when (timer == 0x06) ==> fakeUart.send.put 0x34
-      when (timer == 0x10) ==> fakeUart.send.put 0x30
-      when (timer == 0x11) ==> fakeUart.send.put 0x30
-      when (timer == 0x12) ==> fakeUart.send.put 0x72
-      when (timer == 0xff) ==> $finish
-
 -- vim: set ft=haskell :
diff --git a/fpga/src/TopSim.bs b/fpga/src/TopSim.bs
new file mode 100644
index 0000000..ca92fe1
--- /dev/null
+++ b/fpga/src/TopSim.bs
@@ -0,0 +1,38 @@
+-- | The top-level module for simulation.
+package TopSim where
+
+import Connectable
+import CPU
+import GetPut
+import TriState
+import Uart
+
+mkTopSim :: Module Empty
+mkTopSim =
+  module
+    cpu <- mkCPU
+
+    uart <- mkUart 1
+    mkConnection cpu.uart_tx uart.send
+    mkConnection cpu.uart_rx uart.recv
+
+    fakeUart <- mkUart 1
+    rules
+      when True ==> uart.rxPin fakeUart.txPin
+
+    timer :: Reg (Bit 8) <- mkReg 0
+    rules
+      when True ==> timer := timer + 1
+      when (timer == 0x00) ==> fakeUart.send.put 0x30
+      when (timer == 0x01) ==> fakeUart.send.put 0x30
+      when (timer == 0x02) ==> fakeUart.send.put 0x77
+      when (timer == 0x03) ==> fakeUart.send.put 0x31
+      when (timer == 0x04) ==> fakeUart.send.put 0x32
+      when (timer == 0x05) ==> fakeUart.send.put 0x33
+      when (timer == 0x06) ==> fakeUart.send.put 0x34
+      when (timer == 0x10) ==> fakeUart.send.put 0x30
+      when (timer == 0x11) ==> fakeUart.send.put 0x30
+      when (timer == 0x12) ==> fakeUart.send.put 0x72
+      when (timer == 0xff) ==> $finish
+
+-- vim: set ft=haskell :
-- 
cgit v1.2.3