| *= | Data.Logical.Knot |
| -<- | Lava.Patterns |
| ->- | Lava.Patterns |
| -|- | Lava.Patterns |
| .+ | Data.Hardware.Internal |
| .<. | Lava.Patterns |
| .>. | Lava.Patterns |
| <=< | Lava, Wired |
| =<< | Lava, Wired |
| === | Data.Logical.Let |
| >< | Data.Hardware.Internal |
| >=> | Lava, Wired |
| >> | Lava, Wired |
| >>= | Lava, Wired |
| AbsBlock | Layout.Internal |
| AbsFloorplan | Layout.Internal |
| absolutize | Layout.Internal |
| absolutizeBlock | Layout.Internal |
| absolutize_ | Layout.Internal |
| absToPS | Layout.Internal |
| accKnot | Data.Logical.Knot |
| accKnotT | Data.Logical.Knot |
| accumulator | Lava.Internal |
| addLen | Data.Hardware.Internal, Data.Hardware, Wired |
| align | Layout.Internal |
| Alignment | Layout.Internal |
| analyzeTiming | Analysis.Timing |
| analyzeTimingW | Analysis.Timing |
| and2_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| and2_x2 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| and2_x4 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| Angle | Data.Hardware.Internal |
| ap | Lava, Wired |
| append | Lava.Patterns |
| arrivalTime | Analysis.Timing.Library, Analysis.Timing |
| askKnot | Data.Logical.Knot |
| askKnotDef | Data.Logical.Knot |
| askSig | Lava.Internal |
| bfly | Lava.Patterns |
| bilinInterpolate | Data.Hardware.Internal |
| bilinInterpolate1 | Data.Hardware.Internal |
| black | Layout.Internal, Layout, Wired |
| Block | |
| 1 (Data Constructor) | Layout.Internal |
| 2 (Type/Class) | Layout.Internal |
| block | Layout.Internal |
| blockCenter | Layout.Internal |
| block_ | Layout.Internal |
| blue | Layout.Internal, Layout, Wired |
| BottomLeft | Layout.Internal |
| Box | Layout.Internal |
| buf_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| buf_x16 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| buf_x2 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| buf_x32 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| buf_x4 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| buf_x8 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| Cap | Data.Hardware.Internal |
| Capacitance | Data.Hardware.Internal |
| capPerArea | Analysis.Timing.Library |
| Cell | Lava.Internal |
| cell | Lava.Internal |
| cellDB | Lava.Internal |
| CellId | |
| 1 (Type/Class) | Data.Hardware.Internal |
| 2 (Data Constructor) | Data.Hardware.Internal |
| cellInputs | Lava.Internal |
| CellLibrary | Lava.Internal, Lava, Wired |
| cellList | Lava.Internal |
| cellOutputs | Lava.Internal |
| CellSig | Lava.Internal |
| checkAll | |
| 1 (Function) | Data.Hardware.Internal |
| 2 (Function) | Lava.Internal |
| Color | Layout.Internal |
| column | Lava.Patterns |
| Comb | Layout.Internal |
| compose | Lava.Patterns |
| composeN | Lava.Patterns |
| convertGuide | Wired.Model |
| copy | Lava.Patterns |
| currentPlacement | Layout.Internal |
| dcast | Data.Hardware.Internal |
| Declaration | Lava.Internal |
| declare | Lava.Internal |
| decodeBin | Lava.Internal, Lava, Wired |
| defaultVal | Lava.Internal |
| Delay | Data.Hardware.Internal, Data.Hardware, Wired |
| delay | Analysis.Timing.Library |
| depth | Lava.Internal, Lava, Wired |
| depthInterp | Lava.Internal |
| DesignDB | |
| 1 (Type/Class) | Lava.Internal |
| 2 (Data Constructor) | Lava.Internal |
| Direction | Data.Hardware.Internal |
| directionAngle | Data.Hardware.Internal |
| Dist | Layout.Internal |
| Distance | Layout.Internal |
| divLen | Data.Hardware.Internal, Data.Hardware, Wired |
| DoubleCast | Data.Hardware.Internal |
| Downwards | Data.Hardware.Internal |
| downwards | Layout.Internal, Layout, Wired |
| downwards' | Layout.Internal, Layout, Wired |
| edgeCap | Analysis.Timing.Library |
| Elasticity | |
| 1 (Type/Class) | Layout.Internal |
| 2 (Data Constructor) | Layout.Internal |
| encodeBin | Lava.Internal, Lava, Wired |
| euclidDistance | Data.Hardware.Internal |
| euclidSpanning | Data.Hardware.Internal |
| exportDEF | Export.DEF |
| fail | Lava, Wired |
| Falling | Analysis.Timing.Library |
| fanout | Lava.Internal, Lava, Wired |
| fanoutDB | Lava.Internal |
| fa_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| featureSize | Wired.Model, Wired |
| fillcell_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| fillcell_x16 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| fillcell_x2 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| fillcell_x32 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| fillcell_x4 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| fillcell_x8 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| filterM | Lava, Wired |
| findPoints | Data.Hardware.Internal |
| flipAlignment | Layout.Internal |
| flipX | Layout.Internal, Layout, Wired |
| flipY | Layout.Internal, Layout, Wired |
| Floorplan | Layout.Internal |
| floorplanToPS | Layout.Internal |
| fmap | Lava, Wired |
| foldM | Lava, Wired |
| foldM_ | Lava, Wired |
| forever | Lava, Wired |
| forM | Lava, Wired |
| forM_ | Lava, Wired |
| fpToLines | Wired.Model |
| free | Data.Logical.Let |
| fromDouble | Data.Hardware.Internal |
| fromInt | Data.Hardware.Internal |
| fromListFP | Lava.Internal |
| Functor | Lava, Wired |
| green | Layout.Internal, Layout, Wired |
| grey | Layout.Internal, Layout, Wired |
| grid | Lava.Patterns |
| guard | Lava, Wired |
| Guide | Wired.Model |
| guide | Wired.Model, Wired |
| guideE | Wired.Model, Wired |
| guideLength | Wired.Model, Wired |
| guideN | Wired.Model, Wired |
| guideS | Wired.Model, Wired |
| guideW | Wired.Model, Wired |
| guide_ | Wired.Model |
| guide__ | Wired.Model |
| halveList | Lava.Patterns |
| hasCombLoop | Lava.Internal, Lava, Wired |
| hasLoop | Lava.Internal, Lava, Wired |
| hasLoopDB | Lava.Internal |
| ha_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| Height | Data.Hardware.Internal, Data.Hardware, Wired |
| Horizontal | Data.Hardware.Internal |
| icast | Data.Hardware.Internal |
| ilv | Lava.Patterns |
| ilvN | Lava.Patterns |
| InPin | |
| 1 (Type/Class) | Data.Hardware.Internal |
| 2 (Data Constructor) | Data.Hardware.Internal |
| inPinId | Lava.Internal |
| inPinName | Lava.Internal |
| input | Lava.Internal, Lava, Wired |
| inputList | Lava.Internal, Lava, Wired |
| inputSig | Lava.Internal |
| inputToSig | Lava.Internal |
| IntCast | Data.Hardware.Internal |
| Interp | Lava.Internal |
| InterpDesignDB | Lava.Internal, Lava, Wired |
| interpret | Lava.Internal |
| Interpretation | Lava.Internal |
| interpretCells | Lava.Internal |
| interpretFunc | Lava.Internal |
| interpretFuncP | Lava.Internal |
| interpret_ | Lava.Internal |
| interpret__ | Lava.Internal |
| inv_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| inv_x16 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| inv_x2 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| inv_x32 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| inv_x4 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| inv_x8 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| isFlop | Lava.Internal |
| IsTime | Data.Hardware.Internal |
| iter | Lava.Patterns |
| join | Lava, Wired |
| Knot | Data.Logical.Knot |
| KnotT | Data.Logical.Knot |
| Label | Lava.Internal |
| label | Lava.Internal, Lava, Wired |
| labelSig | Lava.Internal |
| Lava | |
| 1 (Type/Class) | Lava.Internal, Lava, Wired |
| 2 (Data Constructor) | Lava.Internal |
| lava2000Interp | Lava.Internal |
| Layer | |
| 1 (Type/Class) | Data.Hardware.Internal, Data.Hardware, Wired |
| 2 (Data Constructor) | Data.Hardware.Internal |
| LayerProps | |
| 1 (Type/Class) | Analysis.Timing.Library |
| 2 (Data Constructor) | Analysis.Timing.Library |
| layerProps | Analysis.Timing.Library |
| layerWidth | Analysis.Timing.Library |
| Layer_ | Data.Hardware.Internal |
| Layout | |
| 1 (Type/Class) | Layout.Internal, Layout, Wired |
| 2 (Data Constructor) | Layout.Internal |
| LayoutT | |
| 1 (Type/Class) | Layout.Internal, Layout, Wired |
| 2 (Data Constructor) | Layout.Internal |
| Leftwards | Data.Hardware.Internal |
| leftwards | Layout.Internal, Layout, Wired |
| leftwards' | Layout.Internal, Layout, Wired |
| Length | |
| 1 (Type/Class) | Data.Hardware.Internal, Data.Hardware, Wired |
| 2 (Data Constructor) | Data.Hardware.Internal, Data.Hardware, Wired |
| lengthFP | Lava.Internal |
| Let | Data.Logical.Let |
| LetT | Data.Logical.Let |
| liftM | Lava, Wired |
| liftM2 | Lava, Wired |
| liftM3 | Lava, Wired |
| liftM4 | Lava, Wired |
| liftM5 | Lava, Wired |
| linearDelay | Analysis.Timing.Library |
| linesToPS | Layout.Internal |
| List | Lava.Internal |
| listenDecls | Lava.Internal |
| loadCaps | Analysis.Timing.Library |
| logic0_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| logic1_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| lookupTag | Lava.Internal, Lava, Wired |
| mapAndUnzipM | Lava, Wired |
| mapM | Lava, Wired |
| mapM_ | Lava, Wired |
| mapPort | Lava.Internal |
| mapPortM | Lava.Internal |
| maximumByArrival | Analysis.Timing.Library |
| mfilter | Lava, Wired |
| mirror | Lava.Patterns |
| mkCell | Wired.Model |
| mkGuideDB | Wired.Model |
| mkTimingTable | Analysis.Timing.Library |
| mon | Lava.Patterns |
| Monad | Lava, Wired |
| MonadKnot | Data.Logical.Knot |
| MonadLava | Lava.Internal, Lava, Wired |
| MonadLayout | Layout.Internal, Layout, Wired |
| MonadLet | Data.Logical.Let |
| MonadPlus | Lava, Wired |
| MonadWired | Wired.Model |
| mplus | Lava, Wired |
| msum | Lava, Wired |
| mulLen | Data.Hardware.Internal, Data.Hardware, Wired |
| mulLen2 | Data.Hardware.Internal, Data.Hardware, Wired |
| Multiply | Data.Hardware.Internal |
| mzero | Lava, Wired |
| Name | Data.Hardware.Internal, Data.Hardware, Wired |
| nand2_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| nand2_x2 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| nand2_x4 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| Nangate45 | Libs.Nangate45.Lava, Libs.Nangate45.Wired |
| nearestPoints | Data.Hardware.Internal |
| newCellId | Lava.Internal |
| newPrimInpId | Lava.Internal |
| nor2_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| nor2_x2 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| nor2_x4 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| north | Data.Hardware.Internal |
| numIns | Lava.Internal |
| numOuts | Lava.Internal |
| One | Lava.Internal |
| or2_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| or2_x2 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| or2_x4 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| Orientation | Data.Hardware.Internal |
| OutPin | |
| 1 (Type/Class) | Data.Hardware.Internal |
| 2 (Data Constructor) | Data.Hardware.Internal |
| outPinId | Lava.Internal |
| outPinName | Lava.Internal |
| pair | Lava.Patterns |
| par | Lava.Patterns |
| parl | Lava.Patterns |
| physCell | Lava.Internal |
| Placement | Layout.Internal |
| pmap | Lava.Patterns |
| Port | Lava.Internal, Lava, Wired |
| port | Lava.Internal |
| PortFixed | Lava.Internal, Lava, Wired |
| PortStruct | Lava.Internal, Lava, Wired |
| PortTree | Lava.Internal |
| Position | Data.Hardware.Internal |
| Postscript | Layout.Internal |
| PrimInpId | |
| 1 (Type/Class) | Data.Hardware.Internal |
| 2 (Data Constructor) | Data.Hardware.Internal |
| PrimInpSig | Lava.Internal |
| PrimInput | Lava.Internal |
| primIns | Lava.Internal |
| propagator | Lava.Internal |
| prop_correctCellInputs | Lava.Internal |
| prop_encodeBin | Lava.Internal |
| prop_encodeDecodeBin | Lava.Internal |
| prop_span1 | Data.Hardware.Internal |
| prop_span2 | Data.Hardware.Internal |
| prop_span3 | Data.Hardware.Internal |
| prop_span4 | Data.Hardware.Internal |
| prop_span5 | Data.Hardware.Internal |
| prop_span6 | Data.Hardware.Internal |
| prop_uniqueCells | Lava.Internal |
| prop_uniquePrimInputs | Lava.Internal |
| prop_validDecls | Lava.Internal |
| prop_validSignals | Lava.Internal |
| ps1 | Layout.Internal |
| ps2 | Layout.Internal |
| ps3 | Layout.Internal |
| PSShow | Layout.Internal |
| psShow | Layout.Internal |
| R | Data.Hardware.Internal, Data.Hardware, Wired |
| rectiDistance | Data.Hardware.Internal |
| rectiSpanning | Data.Hardware.Internal |
| red | Layout.Internal, Layout, Wired |
| RelBlock | Layout.Internal |
| renderFloorplan | Layout.Internal |
| renderFloorplan_ | Layout.Internal |
| renderLayout | Layout.Internal, Layout, Wired |
| renderLayoutT | Layout.Internal, Layout, Wired |
| renderWired | Wired.Model, Wired |
| renderWiredWithNets | Wired.Model, Wired |
| renderWiredWithNetsCol | Wired.Model, Wired |
| replicateM | Lava, Wired |
| replicateM_ | Lava, Wired |
| Res | |
| 1 (Data Constructor) | Data.Hardware.Internal |
| 2 (Type/Class) | Data.Hardware.Internal, Data.Hardware, Wired |
| Resistance | Data.Hardware.Internal |
| result | Data.Hardware.Internal, Data.Hardware, Wired |
| return | Lava, Wired |
| riffle | Lava.Patterns |
| Rightwards | Data.Hardware.Internal |
| rightwards | Layout.Internal, Layout, Wired |
| rightwards' | Layout.Internal, Layout, Wired |
| Rising | Analysis.Timing.Library |
| rotate | Layout.Internal, Layout, Wired |
| rotate_ | Layout.Internal, Layout, Wired |
| Row | Layout.Internal |
| row | Lava.Patterns |
| rowHeight | Wired.Model, Wired |
| runLava | Lava.Internal |
| runLayout | Layout.Internal |
| runLayoutT | Layout.Internal |
| runLet | Data.Logical.Let |
| runLetT | Data.Logical.Let |
| runWired | Wired.Model |
| sequence | Lava, Wired |
| sequence_ | Lava, Wired |
| serial | Lava.Patterns |
| Signal | Lava.Internal, Lava, Wired |
| sigTagDB | Lava.Internal |
| simulate | Lava.Internal, Lava, Wired |
| simulateSeq | Lava.Internal, Lava, Wired |
| sinkCell | Lava.Internal |
| Size | Data.Hardware.Internal |
| size | Lava.Internal, Lava, Wired |
| Slope | Analysis.Timing.Library |
| sourceCell | Lava.Internal |
| Space | Layout.Internal |
| space | Layout.Internal, Layout, Wired |
| space_ | Layout.Internal |
| spanning | Data.Hardware.Internal |
| Stack | Layout.Internal |
| stacked | Layout.Internal, Layout, Wired |
| subLayout | Layout.Internal |
| subLen | Data.Hardware.Internal, Data.Hardware, Wired |
| swap | Lava.Patterns |
| swapl | Lava.Patterns |
| Table2D | |
| 1 (Type/Class) | Data.Hardware.Internal |
| 2 (Data Constructor) | Data.Hardware.Internal |
| tableAxisX | Data.Hardware.Internal |
| tableAxisY | Data.Hardware.Internal |
| tableDelay | Analysis.Timing.Library |
| tableLengthX | Data.Hardware.Internal |
| tableLengthY | Data.Hardware.Internal |
| tableValues | Data.Hardware.Internal |
| Tag | Data.Hardware.Internal, Data.Hardware, Wired |
| tagSigDB | Lava.Internal |
| tellSigs | Lava.Internal |
| tieKnot | Data.Logical.Knot |
| tieKnotT | Data.Logical.Knot |
| Time | |
| 1 (Type/Class) | Data.Hardware.Internal, Data.Hardware, Wired |
| 2 (Data Constructor) | Data.Hardware.Internal |
| timeCast | Data.Hardware.Internal |
| Timing | |
| 1 (Type/Class) | Analysis.Timing.Library, Analysis.Timing |
| 2 (Data Constructor) | Analysis.Timing.Library, Analysis.Timing |
| TimingLibrary | Analysis.Timing.Library, Analysis.Timing |
| toDouble | Data.Hardware.Internal |
| toInt | Data.Hardware.Internal |
| toLava | Lava.Internal, Lava, Wired |
| toLava2000 | Lava.Internal, Lava, Wired |
| TopRight | Layout.Internal |
| totalLookup | Data.Hardware.Internal |
| Transformable | Layout.Internal, Layout, Wired |
| transformFloorplan | Layout.Internal |
| TransitionTime | |
| 1 (Type/Class) | Data.Hardware.Internal, Analysis.Timing |
| 2 (Data Constructor) | Data.Hardware.Internal |
| transitionTime | Analysis.Timing.Library, Analysis.Timing |
| translate | Layout.Internal, Layout, Wired |
| translateBlocks | Layout.Internal |
| tri | Lava.Patterns |
| two | Lava.Patterns |
| twoN | Lava.Patterns |
| unLava | Lava.Internal |
| unLength | Data.Hardware.Internal, Data.Hardware, Wired |
| unless | Lava, Wired |
| unlineS | Data.Hardware.Internal |
| unOne | Lava.Internal |
| unpair | Lava.Patterns |
| unplaced | Layout.Internal, Layout, Wired |
| unport | Lava.Internal |
| unriffle | Lava.Patterns |
| Unspecified | Layout.Internal |
| unwordS | Data.Hardware.Internal |
| unzipp | Lava.Patterns |
| Upwards | Data.Hardware.Internal |
| upwards | Layout.Internal, Layout, Wired |
| upwards' | Layout.Internal, Layout, Wired |
| val | Data.Logical.Let |
| Value | Data.Hardware.Internal |
| value | Data.Hardware.Internal |
| Var | Data.Logical.Let |
| verify | Lava.Internal, Lava, Wired |
| Vertical | Data.Hardware.Internal |
| void | Lava, Wired |
| when | Lava, Wired |
| white | Layout.Internal, Layout, Wired |
| Width | Data.Hardware.Internal, Data.Hardware, Wired |
| wireCap | Analysis.Timing.Library |
| Wired | Wired.Model, Wired |
| WiredLibrary | Wired.Model, Wired |
| wireE | Wired.Model, Wired |
| wireN | Wired.Model, Wired |
| wireS | Wired.Model, Wired |
| WireTimingLibrary | Analysis.Timing.Library |
| wireW | Wired.Model, Wired |
| wire_ | Wired.Model |
| wire__ | Wired.Model |
| xnor2_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| xnor2_x2 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| xor2_x1 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| xor2_x2 | |
| 1 (Function) | Libs.Nangate45.Lava |
| 2 (Function) | Libs.Nangate45.Wired |
| XPos | Data.Hardware.Internal, Data.Hardware, Wired |
| YPos | Data.Hardware.Internal, Data.Hardware, Wired |
| zipp | Lava.Patterns |
| zipWithM | Lava, Wired |
| zipWithM_ | Lava, Wired |