-- | The top-level module, for both simulation and the iCEBreaker.
package Top where

import Connectable
import CPU
import GetPut
import TriState
import Uart

-- | The interface to the iCEBreaker.
interface Top =
  -- RS232
  rx :: Bit 1 -> Action {-# always_enabled, always_ready, prefix = "", arg_names = [RX] #-}
  tx :: Bit 1 {-# always_ready, result = TX #-}
  -- Onboard LEDs
  ledR_N :: Bit 1 {-# always_ready, result = LEDR_N #-}
  ledG_N :: Bit 1 {-# always_ready, result = LEDG_N #-}
  -- RGB LED driver
  ledRed_N :: Bit 1 {-# always_ready, result = LED_RED_N #-}
  ledGrn_N :: Bit 1 {-# always_ready, result = LED_GRN_N #-}
  ledBlu_N :: Bit 1 {-# always_ready, result = LED_BLU_N #-}
  -- HyperBus 1 (PMOD 1A)
  hyperBus_CS2_N   :: Bit 1 {-# always_ready, result = P1A1 #-}
  hyperBus_CS0_N   :: Bit 1 {-# always_ready, result = P1A2 #-}
  hyperBus_CK      :: Bit 1 {-# always_ready, result = P1A3 #-}
  hyperBus_CK_N    :: Bit 1 {-# always_ready, result = P1A4 #-}
  hyperBus_CS3_N   :: Bit 1 {-# always_ready, result = P1A7 #-}
  hyperBus_CS1_N   :: Bit 1 {-# always_ready, result = P1A8 #-}
  hyperBus_RESET_N :: Bit 1 {-# always_ready, result = P1A9 #-}
  hyperBus_RWDS    :: Bit 1 -> Action {-# always_enabled, always_ready, prefix = "", arg_names = [P1A10] #-}
  -- HyperBus 2 (PMOD 1B)
  hyperBus_DQ0 :: Inout (Bit 1) {-# prefix = "P1B1" #-}
  hyperBus_DQ1 :: Inout (Bit 1) {-# prefix = "P1B2" #-}
  hyperBus_DQ2 :: Inout (Bit 1) {-# prefix = "P1B3" #-}
  hyperBus_DQ3 :: Inout (Bit 1) {-# prefix = "P1B4" #-}
  hyperBus_DQ7 :: Inout (Bit 1) {-# prefix = "P1B7" #-}
  hyperBus_DQ6 :: Inout (Bit 1) {-# prefix = "P1B8" #-}
  hyperBus_DQ5 :: Inout (Bit 1) {-# prefix = "P1B9" #-}
  hyperBus_DQ4 :: Inout (Bit 1) {-# prefix = "P1B10" #-}
  -- LEDs and buttons (PMOD 2)
  led1 :: Bit 1 {-# always_ready, result = P2_7 #-}
  led2 :: Bit 1 {-# always_ready, result = P2_1 #-}
  led3 :: Bit 1 {-# always_ready, result = P2_2 #-}
  led4 :: Bit 1 {-# always_ready, result = P2_8 #-}
  led5 :: Bit 1 {-# always_ready, result = P2_3 #-}
  btn1 :: Bit 1 -> Action {-# always_enabled, always_ready, prefix = "", arg_names = [P2_9] #-}
  btn2 :: Bit 1 -> Action {-# always_enabled, always_ready, prefix = "", arg_names = [P2_4] #-}
  btn3 :: Bit 1 -> Action {-# always_enabled, always_ready, prefix = "", arg_names = [P2_10] #-}

clockFreqHz :: Integer
clockFreqHz = 12_000_000

mkTop :: Module Top
mkTop =
  module
    cpu <- mkCPU

    uart <- mkUart (clockFreqHz / 9600)
    mkConnection cpu.uart_tx uart.send
    mkConnection cpu.uart_rx uart.recv

    hyperBus_data0 <- mkTriState True 1
    hyperBus_data1 <- mkTriState True 1
    hyperBus_data2 <- mkTriState True 1
    hyperBus_data3 <- mkTriState True 1
    hyperBus_data4 <- mkTriState True 1
    hyperBus_data5 <- mkTriState True 1
    hyperBus_data6 <- mkTriState True 1
    hyperBus_data7 <- mkTriState True 1

    interface Top
      -- RS232
      rx = uart.rxPin
      tx = uart.txPin
      -- Onboard LEDs
      ledR_N = uart.txPin
      ledG_N = 1
      -- RGB LED driver
      ledRed_N = 1
      ledGrn_N = 1
      ledBlu_N = 1
      -- HyperBus 1 (PMOD 1A)
      hyperBus_CS2_N   = 1
      hyperBus_CS0_N   = 1
      hyperBus_CK      = 0
      hyperBus_CK_N    = 1
      hyperBus_CS3_N   = 1
      hyperBus_CS1_N   = 1
      hyperBus_RESET_N = 1
      hyperBus_RWDS _ = noAction
      -- HyperBus 2 (PMOD 1B)
      hyperBus_DQ0 = hyperBus_data0.io
      hyperBus_DQ1 = hyperBus_data1.io
      hyperBus_DQ2 = hyperBus_data2.io
      hyperBus_DQ3 = hyperBus_data3.io
      hyperBus_DQ4 = hyperBus_data4.io
      hyperBus_DQ5 = hyperBus_data5.io
      hyperBus_DQ6 = hyperBus_data6.io
      hyperBus_DQ7 = hyperBus_data7.io
      -- LEDs and buttons (PMOD 2)
      led1 = 0
      led2 = 0
      led3 = 0
      led4 = 0
      led5 = 0
      btn1 _ = noAction
      btn2 _ = noAction
      btn3 _ = noAction
{-# 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 :