Lion.Core

The Lion core is a 32-bit RISC-V processor written in Haskell using Clash. Note, all peripherals and memory must have single cycle latency. See lion-soc for an example of using the Lion core in a system.

Documentation

core

Arguments

:: forall (dom :: Domain). HiddenClockResetEnable dom

=> CoreConfig

core configuration

-> Signal dom (BitVector 32)

core input, from memory/peripherals

-> FromCore dom

core output

RISC-V Core: RV32I

defaultCoreConfig :: CoreConfig

Default core configuration

aluConfig = Soft

pipeConfig = defaultPipeConfig

defaultPipeConfig :: PipeConfig

Default pipeline configuration

startPC = 0

data CoreConfig

Core configuration

Constructors

CoreConfig

Fields

• aluConfig :: AluConfig

  ALU configuration, default: Soft

• pipeConfig :: PipeConfig

  pipeline configuration

Instances

Generic CoreConfig

Defined in Lion.Core

Associated Types

type Rep CoreConfig

Defined in Lion.Core

type Rep CoreConfig = D1 ('MetaData "CoreConfig" "Lion.Core" "lion-0.4.0.1-inplace" 'False) (C1 ('MetaCons "CoreConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "aluConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AluConfig) :*: S1 ('MetaSel ('Just "pipeConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PipeConfig)))

Methods

from :: CoreConfig -> Rep CoreConfig x

to :: Rep CoreConfig x -> CoreConfig

Show CoreConfig

Defined in Lion.Core

Methods

showsPrec :: Int -> CoreConfig -> ShowS

show :: CoreConfig -> String

showList :: [CoreConfig] -> ShowS

Eq CoreConfig

Defined in Lion.Core

Methods

(==) :: CoreConfig -> CoreConfig -> Bool

(/=) :: CoreConfig -> CoreConfig -> Bool

type Rep CoreConfig

Defined in Lion.Core

type Rep CoreConfig = D1 ('MetaData "CoreConfig" "Lion.Core" "lion-0.4.0.1-inplace" 'False) (C1 ('MetaCons "CoreConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "aluConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AluConfig) :*: S1 ('MetaSel ('Just "pipeConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PipeConfig)))

data AluConfig

ALU configuration

Constructors

Hard

use hard adder and subtractor from iCE40 SB_MAC16

Soft

use generic adder and subtractor: (+) and (-)

Instances

Generic AluConfig

Defined in Lion.Alu

Associated Types

type Rep AluConfig

Defined in Lion.Alu

type Rep AluConfig = D1 ('MetaData "AluConfig" "Lion.Alu" "lion-0.4.0.1-inplace" 'False) (C1 ('MetaCons "Hard" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Soft" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: AluConfig -> Rep AluConfig x

to :: Rep AluConfig x -> AluConfig

Show AluConfig

Defined in Lion.Alu

Methods

showsPrec :: Int -> AluConfig -> ShowS

show :: AluConfig -> String

showList :: [AluConfig] -> ShowS

Eq AluConfig

Defined in Lion.Alu

Methods

(==) :: AluConfig -> AluConfig -> Bool

(/=) :: AluConfig -> AluConfig -> Bool

type Rep AluConfig

Defined in Lion.Alu

type Rep AluConfig = D1 ('MetaData "AluConfig" "Lion.Alu" "lion-0.4.0.1-inplace" 'False) (C1 ('MetaCons "Hard" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Soft" 'PrefixI 'False) (U1 :: Type -> Type))

newtype PipeConfig

Pipeline configuration

Constructors

PipeConfig

Fields

• startPC :: BitVector 32

  start program counter

Instances

Generic PipeConfig

Defined in Lion.Pipe

Associated Types

type Rep PipeConfig

Defined in Lion.Pipe

type Rep PipeConfig = D1 ('MetaData "PipeConfig" "Lion.Pipe" "lion-0.4.0.1-inplace" 'True) (C1 ('MetaCons "PipeConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "startPC") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 32))))

Methods

from :: PipeConfig -> Rep PipeConfig x

to :: Rep PipeConfig x -> PipeConfig

Show PipeConfig

Defined in Lion.Pipe

Methods

showsPrec :: Int -> PipeConfig -> ShowS

show :: PipeConfig -> String

showList :: [PipeConfig] -> ShowS

Eq PipeConfig

Defined in Lion.Pipe

Methods

(==) :: PipeConfig -> PipeConfig -> Bool

(/=) :: PipeConfig -> PipeConfig -> Bool

type Rep PipeConfig

Defined in Lion.Pipe

type Rep PipeConfig = D1 ('MetaData "PipeConfig" "Lion.Pipe" "lion-0.4.0.1-inplace" 'True) (C1 ('MetaCons "PipeConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "startPC") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 32))))

data FromCore (dom :: Domain)

Core outputs

Constructors

FromCore

Fields

• toMem :: Signal dom (Maybe ToMem)

  shared memory and instruction bus, output from core to memory and peripherals

• toRvfi :: Signal dom Rvfi

  formal verification interface output, see lion-formal for usage

data ToMem

Memory bus

Constructors

ToMem

Fields

• memAccess :: MemoryAccess

  memory access type

• memAddress :: BitVector 32

  memory address

• memByteMask :: BitVector 4

  memory byte mask

• memWrite :: Maybe (BitVector 32)

  read=Nothing write=Just wr

Instances

Generic ToMem

Defined in Lion.Pipe

Associated Types

type Rep ToMem

Defined in Lion.Pipe

type Rep ToMem = D1 ('MetaData "ToMem" "Lion.Pipe" "lion-0.4.0.1-inplace" 'False) (C1 ('MetaCons "ToMem" 'PrefixI 'True) ((S1 ('MetaSel ('Just "memAccess") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemoryAccess) :*: S1 ('MetaSel ('Just "memAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 32))) :*: (S1 ('MetaSel ('Just "memByteMask") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 4)) :*: S1 ('MetaSel ('Just "memWrite") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (BitVector 32))))))

Methods

from :: ToMem -> Rep ToMem x

to :: Rep ToMem x -> ToMem

Show ToMem

Defined in Lion.Pipe

Methods

showsPrec :: Int -> ToMem -> ShowS

show :: ToMem -> String

showList :: [ToMem] -> ShowS

NFDataX ToMem

Defined in Lion.Pipe

Methods

deepErrorX :: String -> ToMem

hasUndefined :: ToMem -> Bool

ensureSpine :: ToMem -> ToMem

rnfX :: ToMem -> ()

Eq ToMem

Defined in Lion.Pipe

Methods

(==) :: ToMem -> ToMem -> Bool

(/=) :: ToMem -> ToMem -> Bool

type Rep ToMem

Defined in Lion.Pipe

type Rep ToMem = D1 ('MetaData "ToMem" "Lion.Pipe" "lion-0.4.0.1-inplace" 'False) (C1 ('MetaCons "ToMem" 'PrefixI 'True) ((S1 ('MetaSel ('Just "memAccess") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemoryAccess) :*: S1 ('MetaSel ('Just "memAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 32))) :*: (S1 ('MetaSel ('Just "memByteMask") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 4)) :*: S1 ('MetaSel ('Just "memWrite") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (BitVector 32))))))

data MemoryAccess

Memory access - Lion has a shared instruction/memory bus

Constructors

InstrMem

instruction access

DataMem

data access

Instances

Generic MemoryAccess

Defined in Lion.Pipe

Associated Types

type Rep MemoryAccess

Defined in Lion.Pipe

type Rep MemoryAccess = D1 ('MetaData "MemoryAccess" "Lion.Pipe" "lion-0.4.0.1-inplace" 'False) (C1 ('MetaCons "InstrMem" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DataMem" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: MemoryAccess -> Rep MemoryAccess x

to :: Rep MemoryAccess x -> MemoryAccess

Show MemoryAccess

Defined in Lion.Pipe

Methods

showsPrec :: Int -> MemoryAccess -> ShowS

show :: MemoryAccess -> String

showList :: [MemoryAccess] -> ShowS

NFDataX MemoryAccess

Defined in Lion.Pipe

Methods

deepErrorX :: String -> MemoryAccess

hasUndefined :: MemoryAccess -> Bool

ensureSpine :: MemoryAccess -> MemoryAccess

rnfX :: MemoryAccess -> ()

Eq MemoryAccess

Defined in Lion.Pipe

Methods

(==) :: MemoryAccess -> MemoryAccess -> Bool

(/=) :: MemoryAccess -> MemoryAccess -> Bool

type Rep MemoryAccess

Defined in Lion.Pipe

type Rep MemoryAccess = D1 ('MetaData "MemoryAccess" "Lion.Pipe" "lion-0.4.0.1-inplace" 'False) (C1 ('MetaCons "InstrMem" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DataMem" 'PrefixI 'False) (U1 :: Type -> Type))