CLaSH.Driver.TopWrapper

Documentation

mkTopWrapper

Arguments

:: PrimMap BlackBoxTemplate

-> (Identifier -> Identifier)

-> Maybe TopEntity

TopEntity specifications

-> String

Name of the module containing the topEntity

-> Int

IntWordInteger bit-width

-> Component

Entity to wrap

-> Component

Create a wrapper around a component, potentially initiating clock sources

extraIn :: Maybe TopEntity -> [(Identifier, HWType)]

Create extra input ports for the wrapper

extraOut :: Maybe TopEntity -> [(Identifier, HWType)]

Create extra output ports for the wrapper

mkInput :: [Identifier] -> (Identifier, HWType) -> Int -> ([Identifier], ([(Identifier, HWType)], ([Declaration], Identifier)))

Generate input port mappings

mkVectorChain :: Int -> HWType -> [Identifier] -> Expr

Create a Vector chain for a list of Identifiers

mkOutput :: [Identifier] -> (Identifier, HWType) -> Int -> ([Identifier], ([(Identifier, HWType)], ([Declaration], Identifier)))

Generate output port mappings

mkClocks :: PrimMap BlackBoxTemplate -> [(Identifier, HWType)] -> Int -> Maybe TopEntity -> [Declaration]

Create clock generators

stringToVar :: String -> Expr

mkClock :: ClockSource -> ([Declaration], (Identifier, [String], Bool))

Create a single clock generator

mkClockDecl :: String -> Declaration

clockPorts :: [(String, String)] -> [(String, String)] -> ([(Identifier, PortDirection, HWType, Expr)], [String])

Create a single clock path

mkResets :: PrimMap BlackBoxTemplate -> [(Identifier, HWType)] -> Int -> [(Identifier, [String], Bool)] -> [Declaration]

Generate resets

genSyncReset :: PrimMap BlackBoxTemplate -> Identifier -> Identifier -> Text -> Integer -> NetlistMonad [Declaration]

Generate a reset synchroniser that synchronously de-asserts an asynchronous reset signal

unsafeRunNetlist :: Int -> NetlistMonad a -> a

The NetListMonad is a transformer stack with IO at the bottom. So we must use unsafePerformIO.