Analysis.Timing

Documentation

data TransitionTime

Instances

Eq TransitionTime

Fractional TransitionTime

Num TransitionTime

Ord TransitionTime

Show TransitionTime

IsTime TransitionTime

DoubleCast TransitionTime

IntCast TransitionTime

data Timing

Constructors

Timing

Fields

arrivalTime :: Time

transitionTime :: TransitionTime

Instances

Eq Timing

Show Timing

class CellLibrary lib => TimingLibrary lib

Instances

TimingLibrary Nangate45

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

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