diff options
Diffstat (limited to 'src/Top.bs')
| -rw-r--r-- | src/Top.bs | 111 |
1 files changed, 68 insertions, 43 deletions
@@ -1,53 +1,78 @@ package Top where -mkTop :: Module Empty -mkTop = - module - deepThought :: DeepThought_IFC <- mkDeepThought - - rules - "rl_ask": when True ==> do - $display "Asking the Ultimate Question of Life, The Universe and Everything" - deepThought.whatIsTheAnswer +import GetPut +import RS232 - "rl_print_answer": when True ==> do - x <- deepThought.getAnswer - $display "Deep Thought says: Hello, World! The answer is %0d." x - $finish +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 #-} + -- LEDs and buttons (PMOD 2) + led1 :: Bit 1 {-# always_ready, result = LED1 #-} + led2 :: Bit 1 {-# always_ready, result = LED2 #-} + led3 :: Bit 1 {-# always_ready, result = LED3 #-} + led4 :: Bit 1 {-# always_ready, result = LED4 #-} + led5 :: Bit 1 {-# always_ready, result = LED5 #-} + btn1 :: Bit 1 -> Action {-# always_enabled, always_ready, prefix = "", arg_names = [BTN1] #-} + btn2 :: Bit 1 -> Action {-# always_enabled, always_ready, prefix = "", arg_names = [BTN2] #-} + btn3 :: Bit 1 -> Action {-# always_enabled, always_ready, prefix = "", arg_names = [BTN3] #-} -interface DeepThought_IFC = - whatIsTheAnswer :: Action - getAnswer :: ActionValue (Int 32) +clockFreqHz :: Integer +clockFreqHz = 12_000_000 -data State_DT = IDLE | THINKING | ANSWER_READY - deriving (Eq, Bits, FShow) - -mkDeepThought :: Module DeepThought_IFC -mkDeepThought = +mkTop :: Module Top +mkTop = module - rg_state_dt :: Reg State_DT <- mkReg IDLE - rg_half_millenia :: Reg (Bit 4) <- mkReg 0 + let uartBaud :: Integer + uartBaud = 115200 + uartDivider :: Integer + uartDivider = clockFreqHz / uartBaud + uart :: UART 8 <- mkUART 8 NONE STOP_1 (fromInteger uartDivider) - let millenia = rg_half_millenia [3:1] - let half_millenium = rg_half_millenia [0:0] + clkState :: Reg (Bit 32) <- mkReg 0 + btn1State :: Reg (Bit 1) <- mkReg 0 + btn2State :: Reg (Bit 1) <- mkReg 0 + btn3State :: Reg (Bit 1) <- mkReg 0 + led4State :: Reg (Bit 1) <- mkReg 0 + led5State :: Reg (Bit 1) <- mkReg 0 rules - "rl_think": when (rg_state_dt == THINKING) ==> do - $write " DeepThought: ... thinking ... (%0d" millenia - if (half_millenium == 1) then $write ".5" else noAction - $display " million years)" - - if (rg_half_millenia == 15) then - rg_state_dt := ANSWER_READY - else - rg_half_millenia := rg_half_millenia + 1 - - interface - whatIsTheAnswer = rg_state_dt := THINKING - when (rg_state_dt == IDLE) + "echo": when (clkState == 0) ==> do + led4State := led4State + 1 + uart.rx.put 0x7e + "increment_clock": when True ==> do + if clkState == fromInteger (clockFreqHz / 10) then do + clkState := 0 + led5State := led5State + 1 + else + clkState := clkState + 1 - getAnswer = do - rg_state_dt := IDLE - rg_half_millenia := 0 - return 42 - when (rg_state_dt == ANSWER_READY) + interface Top + -- RS232 + rx = uart.rs232.sin + tx = uart.rs232.sout + -- Onboard LEDs + ledR_N = 1 + ledG_N = 1 + -- RGB LED driver + ledRed_N = 1 + ledGrn_N = 1 + ledBlu_N = 1 + -- LEDs and buttons (PMOD 2) + led1 = btn1State + led2 = btn2State + led3 = btn3State + led4 = led4State + led5 = led5State + btn1 x = btn1State := x + btn2 x = btn2State := x + btn3 x = btn3State := x +{-# verilog mkTop #-} +{-# properties mkTop = { RSTN = BTN_N } #-} |