Safe Haskell	None

Lava.Internal

Synopsis

Documentation

data Signal Source

Identifies a driver in the circuit. A driver is either a primary input or an output pin of a cell.

Constructors

PrimInpSig PrimInpId
CellSig CellId OutPin

Instances

Eq Signal
Ord Signal
Show Signal
PortFixed Signal Signal
Port Signal Signal
PortStruct Signal Signal ()

data Declaration lib Source

Constructors

PrimInput PrimInpId
Cell CellId lib [Signal]
Label Tag Signal

Instances

Eq lib => Eq (Declaration lib)
Show lib => Show (Declaration lib)

data DesignDB lib Source

Constructors

DesignDB
Fields cellDB :: Map CellId (lib, [Signal]) fanoutDB :: Map Signal [(CellId, InPin)] sigTagDB :: Map Signal [Tag] tagSigDB :: Map Tag [Signal] primIns :: [Signal]

Instances

Eq lib => Eq (DesignDB lib)
Show lib => Show (DesignDB lib)

class CellLibrary lib whereSource

Methods

numIns :: lib -> InPin Source

numOuts :: lib -> OutPin Source

inPinName :: lib -> InPin -> Name Source

inPinId :: lib -> Name -> InPin Source

outPinName :: lib -> OutPin -> Name Source

outPinId :: lib -> Name -> OutPin Source

isFlop :: lib -> Bool Source

lava2000Interp :: Interpretation lib (Signal Bool)Source

Instances

CellLibrary Nangate45

cellInputs :: CellLibrary lib => CellId -> lib -> [(CellId, InPin)]Source

cellOutputs :: CellLibrary lib => CellId -> lib -> [Signal]Source

prop_uniquePrimInputs :: [Declaration t] -> Bool Source

prop_uniqueCells :: [Declaration t] -> Bool Source

prop_correctCellInputs :: CellLibrary lib => [Declaration lib] -> Bool Source

prop_validSignals :: CellLibrary lib => [Declaration lib] -> Bool Source

prop_validDecls :: CellLibrary lib => [Declaration lib] -> Bool Source

newtype Lava lib a Source

Constructors

Lava
Fields unLava :: WriterT [Declaration lib] (State (PrimInpId, CellId)) a

Instances

CellLibrary lib => MonadLava lib (Lava lib)
Monad (Lava lib)
Functor (Lava lib)
MonadFix (Lava lib)
Applicative (Lava lib)

runLava :: CellLibrary lib => Lava lib a -> (a, DesignDB lib)Source

class (Monad m, CellLibrary lib) => MonadLava lib m | m -> lib whereSource

Methods

newPrimInpId :: m PrimInpId Source

newCellId :: m CellId Source

declare :: Declaration lib -> m ()Source

listenDecls :: m a -> m (a, [Declaration lib])Source

toLava :: m a -> Lava lib aSource

Instances

CellLibrary lib => MonadLava lib (Lava lib)
MonadLava lib m => MonadLava lib (LayoutT s b m)

inputSig :: MonadLava lib m => m Signal Source

cellList :: MonadLava lib m => lib -> [Signal] -> m [Signal]Source

labelSig :: MonadLava lib m => Tag -> Signal -> m Signal Source

data Interpretation lib x Source

Constructors

Interp
Fields defaultVal :: x accumulator :: x -> x -> x propagator :: lib -> [x] -> [Maybe x]

type InterpDesignDB lib x = (DesignDB lib, Map Signal x)Source

lookupTag :: Tag -> InterpDesignDB lib x -> [x]Source

depthInterp :: CellLibrary lib => Interpretation lib Int Source

hasLoopDB :: CellLibrary lib => Bool -> DesignDB lib -> Bool Source

hasLoop :: MonadLava lib m => m a -> Bool Source

hasCombLoop :: MonadLava lib m => m a -> Bool Source

data PortTree s Source

Constructors

One
Fields unOne :: s
List [PortTree s]

Instances

Functor PortTree
Foldable PortTree
Traversable PortTree
Eq s => Eq (PortTree s)
Show s => Show (PortTree s)
Generic (PortTree (Signal Bool))

class Port p s | p -> s whereSource

Methods

port :: p -> PortTree sSource

unport :: PortTree s -> pSource

Instances

Port Bool Bool
Port Int Int
Port () ()
Port Time Time
Port Signal Signal
Port p s => Port [p] s
Port p s => Port (Maybe p) s
Port (Signal Bool) (Signal Bool)
(Port p1 s, Port p2 s) => Port (Either p1 p2) s
(Port p1 s, Port p2 s) => Port (p1, p2) s
(Port p1 s, Port p2 s, Port p3 s) => Port (p1, p2, p3) s
(Port p1 s, Port p2 s, Port p3 s, Port p4 s) => Port (p1, p2, p3, p4) s

class Port p s => PortStruct p s t | p -> s t, s t -> pSource

Instances

PortStruct Bool Bool ()
PortStruct Int Int ()
PortStruct () () ()
PortStruct Time Time ()
PortStruct Signal Signal ()
PortStruct p s t => PortStruct [p] s [t]
PortStruct p s t => PortStruct (Maybe p) s (Maybe t)
PortStruct (Signal Bool) (Signal Bool) ()
(PortStruct p1 s t1, PortStruct p2 s t2) => PortStruct (Either p1 p2) s (Either t1 t2)
(PortStruct p1 s t1, PortStruct p2 s t2) => PortStruct (p1, p2) s (t1, t2)
(PortStruct p1 s t1, PortStruct p2 s t2, PortStruct p3 s t3) => PortStruct (p1, p2, p3) s (t1, t2, t3)
(PortStruct p1 s t1, PortStruct p2 s t2, PortStruct p3 s t3, PortStruct p4 s t4) => PortStruct (p1, p2, p3, p4) s (t1, t2, t3, t4)

mapPort :: (PortStruct pa sa t, PortStruct pb sb t) => (sa -> sb) -> pa -> pbSource

mapPortM :: (PortStruct pa sa t, PortStruct pb sb t, Monad m) => (sa -> m sb) -> pa -> m pbSource

class Port p s => PortFixed p s | p -> s whereSource

Methods

lengthFP :: Res p Int Source

fromListFP :: [s] -> pSource

Instances

PortFixed Signal Signal
(PortFixed p1 s, PortFixed p2 s) => PortFixed (p1, p2) s
(PortFixed p1 s, PortFixed p2 s, PortFixed p3 s) => PortFixed (p1, p2, p3) s
(PortFixed p1 s, PortFixed p2 s, PortFixed p3 s, PortFixed p4 s) => PortFixed (p1, p2, p3, p4) s

askSig :: Interpretation lib x -> Signal -> Knot Signal x xSource

tellSigs :: Interpretation lib x -> [Signal] -> [Maybe x] -> Knot Signal x ()Source

interpretCells :: forall lib x. CellLibrary lib => Interpretation lib x -> [(Signal, x)] -> [(CellId, (lib, [Signal]))] -> Map Signal xSource

interpret__ :: CellLibrary lib => Interpretation lib x -> [(Signal, x)] -> (PortTree Signal, DesignDB lib) -> (PortTree x, InterpDesignDB lib x)Source

interpret_ :: CellLibrary lib => Interpretation lib x -> [(Signal, x)] -> Lava lib (PortTree Signal) -> (PortTree x, InterpDesignDB lib x)Source

interpret :: (CellLibrary lib, PortStruct ps Signal t, PortStruct px x t) => Interpretation lib x -> Lava lib ps -> (px, InterpDesignDB lib x)Source

inputToSig :: PortTree x -> PortTree Signal Source

interpretFuncP :: CellLibrary lib => Interpretation lib x -> (PortTree Signal -> Lava lib (PortTree Signal)) -> PortTree x -> (PortTree x, InterpDesignDB lib x)Source

interpretFunc :: (CellLibrary lib, PortStruct pxi x ti, PortStruct psi Signal ti, PortStruct pso Signal to, PortStruct pxo x to) => Interpretation lib x -> (psi -> Lava lib pso) -> pxi -> (pxo, InterpDesignDB lib x)Source

input :: forall lib m p. (MonadLava lib m, PortFixed p Signal) => m pSource

inputList :: (MonadLava lib m, PortFixed p Signal) => Int -> m [p]Source

cell :: forall m lib pi po. (MonadLava lib m, PortFixed pi Signal, PortFixed po Signal) => lib -> pi -> m poSource

sourceCell :: (MonadLava lib m, PortFixed p Signal) => lib -> m pSource

sinkCell :: (MonadLava lib m, PortFixed p Signal) => lib -> p -> m ()Source

physCell :: MonadLava lib m => lib -> a -> m aSource

label :: (MonadLava lib m, PortStruct p Signal t) => Tag -> p -> m pSource

toLava2000 :: (MonadLava lib m, PortStruct pli (Signal Bool) ti, PortStruct psi Signal ti, PortStruct pso Signal to, PortStruct plo (Signal Bool) to) => (psi -> m pso) -> pli -> ploSource

simulateSeq :: (MonadLava lib m, PortStruct pni Int ti, PortStruct psi Signal ti, PortStruct pso Signal to, PortStruct pno Int to) => (psi -> m pso) -> [pni] -> [pno]Source

simulate :: (MonadLava lib m, PortStruct pni Int ti, PortStruct psi Signal ti, PortStruct pso Signal to, PortStruct pno Int to) => (psi -> m pso) -> pni -> pnoSource

encodeBin :: Int -> Int -> [Int]Source

encodeBin n x

Encodes the number x as a binary number of length n. The resulting list contains only zeroes and ones.

decodeBin :: [Int] -> Int Source

prop_encodeBin :: Property Source

prop_encodeDecodeBin :: Property Source

checkAll :: IO ()Source

verify :: forall lib m ps. (MonadLava lib m, PortFixed ps Signal) => (ps -> m Signal) -> IO ()Source

depth :: (MonadLava lib m, PortStruct ps Signal t, PortStruct pd Int t) => m ps -> (pd, InterpDesignDB lib Int)Source

fanout :: MonadLava lib m => m a -> InterpDesignDB lib Int Source

size :: MonadLava lib m => m p -> Int Source