diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-09-24 00:47:49 -0500 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-09-24 00:47:49 -0500 |
| commit | 5088967b9db6e8bcc5feddbea6f53da5b33cb77c (patch) | |
| tree | ce3fdd093ebc03548e4a20ec955ed6d8b90c2499 /fpga/src/TopSim.bs | |
| parent | fc1959bd9887ecc4d4ceb62a53e87abc6f49ef00 (diff) | |
Another reorg.
Diffstat (limited to 'fpga/src/TopSim.bs')
| -rw-r--r-- | fpga/src/TopSim.bs | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/fpga/src/TopSim.bs b/fpga/src/TopSim.bs deleted file mode 100644 index d0d17cb..0000000 --- a/fpga/src/TopSim.bs +++ /dev/null @@ -1,32 +0,0 @@ -package TopSim where - -import App -import GetPut -import Uart - -mkTopSim :: Module Empty -mkTopSim = - module - timer :: Reg (Bit 8) <- mkReg 0 - - uart <- mkUart 1 - app <- mkApp uart.recv uart.send - - fakeUart <- mkUart 1 - - rules - when True ==> timer := timer + 1 - when True ==> uart.rxPin fakeUart.txPin - 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 : |