Clash6502/SevenSeg.hs at master · polygonhell/Clash6502 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FlexibleContexts #-}


module SevenSeg (sevenSegA) where

import CLaSH.Prelude
import qualified Data.List as L


digitToSeg :: BitVector 4 -> BitVector 8
digitToSeg 0x0 = 0xc0
digitToSeg 0x1 = 0xf9
digitToSeg 0x2 = 0xa4
digitToSeg 0x3 = 0xb0
digitToSeg 0x4 = 0x99
digitToSeg 0x5 = 0x92
digitToSeg 0x6 = 0x82
digitToSeg 0x7 = 0xf8
digitToSeg 0x8 = 0x80
digitToSeg 0x9 = 0x90
digitToSeg 0xa = 0x88
digitToSeg 0xb = 0x83
digitToSeg 0xc = 0xc6
digitToSeg 0xd = 0xa1
digitToSeg 0xe = 0x86
digitToSeg 0xf = 0x8e


anode :: BitVector 2 -> BitVector 4
anode 0 = 0x7
anode 1 = 0xb
anode 2 = 0xd
anode 3 = 0xe

sh :: BitVector 2 -> Int
sh 0 = 0
sh 1 = 4
sh 2 = 8
sh 3 = 12

multiplex :: (BitVector 2, BitVector 16) -> BitVector 16 -> ((BitVector 2, BitVector 16), (BitVector 4, BitVector 8))
multiplex (d, cnt) v = ((d', cnt+1), (an, leds)) where
  d' | (cnt == 0) = d+1
     | otherwise = d
  an = anode d
  leds = digitToSeg (resize (v `shiftR` (sh d)))

sevenSegA = multiplex `mealy` (0, 0)