Wired-0.2: Wire-aware hardware description
Source code
Contents
Index
Analysis.Timing.Library
Documentation
data
Slope
Source
Constructors
Rising
Falling
Instances
Eq
Slope
Show
Slope
data
Timing
Source
Constructors
Timing
arrivalTime
::
Time
transitionTime
::
TransitionTime
Instances
Eq
Timing
Show
Timing
data
LayerProps
Source
Constructors
LayerProps
layerWidth
::
Width
capPerArea
::
Double
edgeCap
::
Double
Instances
Eq
LayerProps
Show
LayerProps
class
CellLibrary
lib =>
TimingLibrary
lib
where
Source
Methods
loadCaps
:: lib -> [
Capacitance
]
Source
delay
:: lib ->
InPin
->
OutPin
->
Slope
->
Capacitance
->
Timing
->
Timing
Source
Instances
TimingLibrary
Nangate45
class
TimingLibrary
lib =>
WireTimingLibrary
lib
where
Source
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 q
Source
wireCap
::
forall
lib.
WireTimingLibrary
lib =>
Layer_
->
Length
->
Res
lib
Capacitance
Source
Produced by
Haddock
version 2.4.2