Language.KansasLava.Fabric

The Fabric module is used for generating a top-level VHDL entity for a Lava circuit, with inputs and outputs.

Documentation

data Fabric a

The Fabric structure, which is also a monad.

fabric_example :: Fabric ()
fabric_example = do
       i0 <- inStdLogic "i0"
       i1 <- inStdLogic "i1"
       let (c,s) = halfAdder i0 i1
       outStdLogic "carry" c
       outStdLogic "sum" s
 where
         halfAdder :: Seq Bool -> Seq Bool -> (Seq Bool,Seq Bool)
         halfAdder a b = (carry,sum_)
               where carry = and2 a b
                     sum_  = xor2 a b

A Fabric consists of a list of input ports, and yields a list of output ports and generics.

Constructors

Fabric

Fields

unFabric :: [(String, Pad)] -> (a, [(String, Pad)], [(String, Pad)])

Instances

Monad Fabric

Functor Fabric

MonadFix Fabric

Applicative Fabric

data Pad

A Pad represents the type of a top-level input/output port.

Constructors

StdLogic (Seq Bool)

forall a . (Size (W a), Show a, Rep a) => StdLogicVector (Seq a)

GenericPad Integer

TheClk

TheRst

TheClkEn

Instances

Show Pad

runFabric :: Fabric a -> [(String, Pad)] -> (a, [(String, Pad)])

Reify a fabric, returning the output ports and the result of the Fabric monad.

inStdLogic :: (Rep a, Show a, W a ~ X1) => String -> Fabric (Seq a)

Generate a named std_logic input port.

inStdLogicVector :: forall a. (Rep a, Show a, Size (W a)) => String -> Fabric (Seq a)

Generate a named std_logic_vector port input.

inGeneric :: String -> Fabric Integer

Generate a named generic.

outStdLogic :: (Rep a, Show a, W a ~ X1) => String -> Seq a -> Fabric ()

Generate a named std_logic output port, given a Lava circuit.

outStdLogicVector :: forall a. (Rep a, Show a, Size (W a)) => String -> Seq a -> Fabric ()

Generate a named std_logic_vector output port, given a Lava circuit.

padStdLogicType :: Pad -> StdLogicType

Get the type of a pad.

theClk :: String -> Fabric ()

theClk gives the external name for the clock.

theRst :: String -> Fabric ()

theRst gives the external name for the reset signal [default = low].

theClkEn :: String -> Fabric ()

theClkEn gives the external name for the clock enable signal [default = high].

reifyFabric :: Fabric () -> IO KLEG

reifyFabric does reification of a 'Fabric ()' into a KLEG.

runFabricWithResult :: Fabric a -> [(String, Pad)] -> a

runFabric runs a Fabric a with arguments, and gives a value result. must have no (monadic) outputs.

runFabricWithDriver :: Fabric () -> Fabric a -> a

runFabricWithDriver runs a Fabric () using a driver Fabric.