Wired-0.2: Wire-aware hardware description Source code Contents Index

Analysis.Timing

Documentation

data TransitionTime Source

Instances Eq TransitionTime Fractional TransitionTime Num TransitionTime Ord TransitionTime Show TransitionTime IsTime TransitionTime DoubleCast TransitionTime IntCast TransitionTime

data Timing Source

Constructors Timing arrivalTime :: Time transitionTime :: TransitionTime Instances Eq Timing Show Timing

class CellLibrary lib => TimingLibrary lib Source

Instances TimingLibrary Nangate45

analyzeTiming :: (MonadLava lib m, TimingLibrary lib, PortStruct ps Signal t, PortStruct pd Delay t) => m ps -> (pd, InterpDesignDB lib (Timing, Capacitance)) Source

analyzeTimingW :: forall lib ps t pd. (WireTimingLibrary lib, PortStruct ps Signal t, PortStruct pd Delay t) => Wired lib ps -> (pd, InterpDesignDB lib (Timing, Capacitance)) Source

Produced by Haddock version 2.4.2