1 {-# LANGUAGE TypeOperators, TemplateHaskell, TypeFamilies, ScopedTypeVariables #-}
3 module HigherOrderCPU where
5 -- hide default prelude functions
6 import qualified Prelude as P
8 -- import CλaSH specific types
9 import CLasH.HardwareTypes hiding (min,foldl1,const)
10 import CLasH.Translator.Annotations
12 type Word = SizedInt D16
13 type Index = RangedWord
17 fu op inputs (addr1, addr2) out =
24 type CpuState = State (Vector D4 Word)
26 {-# ANN cpu TopEntity #-}
27 {-# ANN cpu (InitState 'cpuState) #-}
30 -> Vector D4 (Index D6, Index D6)
33 cpu input addrs (State fuss) =
36 fures = (fu const inputs (addrs!(0 :: Index D3)) (fuss!(0 :: Index D3))) +> (
37 (fu (+) inputs (addrs!(1 :: Index D3)) (fuss!(1 :: Index D3))) +> (
38 (fu (-) inputs (addrs!(2 :: Index D3)) (fuss!(2 :: Index D3))) +> (
39 (fu (*) inputs (addrs!(3 :: Index D3)) (fuss!(3 :: Index D3))) +> empty)))
40 (fuss', outputs) = unzip fures
41 inputs = 0 +> (1 +> (input +> outputs))
44 cpuState :: Vector D4 Word