Wired-0.3: Wire-aware hardware description

Safe Haskell	None

Analysis.Timing.Library

Documentation

data Slope Source

Constructors

Rising
Falling

Instances

Eq Slope
Show Slope

data Timing Source

Constructors

Timing
Fields arrivalTime :: Time transitionTime :: TransitionTime

Instances

Eq Timing
Show Timing

data LayerProps Source

Constructors

LayerProps
Fields layerWidth :: Width capPerArea :: Double edgeCap :: Double

Instances

Eq LayerProps
Show LayerProps

class CellLibrary lib => TimingLibrary lib whereSource

Methods

loadCaps :: lib -> [Capacitance]Source

delay :: lib -> InPin -> OutPin -> Slope -> Capacitance -> Timing -> Timing Source

Instances

TimingLibrary Nangate45

class TimingLibrary lib => WireTimingLibrary lib whereSource

Methods

layerProps :: Layer_ -> Res lib LayerProps Source

Instances

WireTimingLibrary Nangate45

maximumByArrival :: [Timing] -> Timing Source

linearDelay :: Delay -> Double -> Double -> Resistance -> Resistance -> Capacitance -> Timing -> Timing Source

tableDelay :: Table2D CInt TransitionTime Capacitance Time -> Table2D CInt TransitionTime Capacitance TransitionTime -> Capacitance -> Timing -> Timing Source

mkTimingTable :: (Fractional x, Fractional y, Fractional q) => CInt -> CInt -> (CInt -> CDouble) -> (CInt -> CDouble) -> (CInt -> CInt -> CDouble) -> Table2D CInt x y qSource

wireCap :: forall lib. WireTimingLibrary lib => Layer_ -> Length -> Res lib Capacitance Source