forked from Yehowshua/RiscV-Formal
26 lines
518 B
Haskell
26 lines
518 B
Haskell
{-# LANGUAGE DataKinds #-}
|
|
{-# LANGUAGE NumericUnderscores #-}
|
|
|
|
module Read(Read.read) where
|
|
import Clash.Prelude
|
|
import Types(DoubleWord, Addr)
|
|
|
|
data RegVal = Value DoubleWord
|
|
| Borrowed
|
|
deriving (Generic, Show, Eq, NFDataX)
|
|
|
|
data SRC = GPR RegVal
|
|
| FPR RegVal
|
|
| CSR RegVal
|
|
| PC Addr
|
|
deriving (Generic, Show, Eq, NFDataX)
|
|
|
|
data ReadResult = ReadResult
|
|
{ src1 :: SRC,
|
|
src2 :: SRC,
|
|
src3 :: SRC
|
|
}
|
|
deriving (Generic, Show, Eq, NFDataX)
|
|
|
|
read = 2
|