Wired-0.3: Wire-aware hardware description

Safe Haskell	None

Wired.Model

Synopsis

Documentation

class CellLibrary lib => WiredLibrary lib whereSource

Methods

featureSize :: Res lib Length Source

guideLength :: Layer -> Res lib Length Source

rowHeight :: Res lib Height Source

Instances

WiredLibrary Nangate45

type Guide = (Signal, Layer_, Direction, Length)Source

type Wired lib = LayoutT Guide CellId (Lava lib)Source

class (MonadLava lib m, WiredLibrary lib, MonadLayout Guide CellId m) => MonadWired lib m Source

Instances

(MonadLava lib m, WiredLibrary lib, MonadLayout Guide CellId m) => MonadWired lib m

runWired :: CellLibrary lib => Wired lib a -> (a, (DesignDB lib, Floorplan Guide CellId))Source

convertGuide :: (Position, AbsBlock Guide CellId) -> (Signal, (Layer_, Position, Position))Source

mkGuideDB :: Floorplan Guide CellId -> Map Signal [(Layer_, Position, Position)]Source

renderWired :: forall lib a. WiredLibrary lib => Name -> Wired lib a -> IO ()Source

fpToLines :: (Signal -> Maybe Color) -> Floorplan Guide CellId -> [([(Position, Position)], Color)]Source

renderWiredWithNetsCol :: forall lib a. WiredLibrary lib => Maybe Color -> (Tag -> Maybe Color) -> Name -> Wired lib a -> IO ()Source

renderWiredWithNets :: forall lib a. WiredLibrary lib => Name -> Wired lib a -> IO ()Source

wire__ :: (MonadWired lib m, PortStruct p Signal t) => Direction -> Length -> Layer_ -> Width -> p -> m pSource

wire_ :: (MonadWired lib m, PortStruct p Signal t) => Direction -> Length -> Layer -> Width -> p -> m pSource

wireN :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m pSource

wireE :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m pSource

wireW :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m pSource

wireS :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m pSource

guide__ :: forall lib m p t. (MonadWired lib m, PortStruct p Signal t) => Direction -> Layer_ -> Width -> p -> m pSource

guide_ :: (MonadWired lib m, PortStruct p Signal t) => Direction -> Layer -> Width -> p -> m pSource

guide :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m pSource

To be used when direction doesn't matter (e.g. when guideLength = 0).

guideE :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m pSource

guideW :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m pSource

guideS :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m pSource

guideN :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m pSource

mkCell :: MonadWired lib m => Name -> Width -> Height -> m a -> m aSource