Copyright	(c) David Cox 2021
License	BSD-3-Clause
Maintainer	standardsemiconductor@gmail.com
Safe Haskell	None
Language	Haskell2010

Lion.Core

Description

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.

Synopsis

core :: HiddenClockResetEnable dom => BitVector 32 -> Signal dom (BitVector 32) -> FromCore dom
data FromCore dom = FromCore {
- _toMem :: Signal dom (Maybe ToMem)
- _toRvfi :: Signal dom Rvfi
}
toMem :: forall dom. Lens' (FromCore dom) (Signal dom (Maybe ToMem))
toRvfi :: forall dom. Lens' (FromCore dom) (Signal dom Rvfi)
data ToMem
- = InstrMem (BitVector 32)
- | DataMem (BitVector 32) (BitVector 4) (Maybe (BitVector 32))

Documentation

core Source #

Arguments

:: HiddenClockResetEnable dom
=> BitVector 32	start address
-> Signal dom (BitVector 32)	core input, from memory/peripherals
-> FromCore dom	core output

RISC-V Core

data FromCore dom Source #

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

toMem :: forall dom. Lens' (FromCore dom) (Signal dom (Maybe ToMem)) Source #

toRvfi :: forall dom. Lens' (FromCore dom) (Signal dom Rvfi) Source #

data ToMem Source #

Memory bus

Lion has a shared instruction/memory bus

Constructors

InstrMem	instruction read
Fields (BitVector 32) instruction address
DataMem	data access
Fields (BitVector 32) data address (BitVector 4) data byte mask (Maybe (BitVector 32)) read=Nothing write=(Just wr)

Instances

Instances details

Eq ToMem Source #
Instance details Defined in Lion.Pipe Methods (==) :: ToMem -> ToMem -> Bool # (/=) :: ToMem -> ToMem -> Bool #
Show ToMem Source #
Instance details Defined in Lion.Pipe Methods showsPrec :: Int -> ToMem -> ShowS # show :: ToMem -> String # showList :: [ToMem] -> ShowS #
Generic ToMem Source #
Instance details Defined in Lion.Pipe Associated Types type Rep ToMem :: Type -> Type # Methods from :: ToMem -> Rep ToMem x # to :: Rep ToMem x -> ToMem #
NFDataX ToMem Source #
Instance details Defined in Lion.Pipe Methods deepErrorX :: String -> ToMem # hasUndefined :: ToMem -> Bool # ensureSpine :: ToMem -> ToMem # rnfX :: ToMem -> () #
type Rep ToMem Source #
Instance details Defined in Lion.Pipe type Rep ToMem = D1 ('MetaData "ToMem" "Lion.Pipe" "lion-0.1.0.0-BYNHz6t7z8e8tkdinpAB9M" 'False) (C1 ('MetaCons "InstrMem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 32))) :+: C1 ('MetaCons "DataMem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 32)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 4)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (BitVector 32))))))