vlsi-eda

43 entries in Formal Languages & Compilers.

• Quine-McCluskeyPrime implicant tabulationstandardvlsi-eda
• Espresso minimizerExpand-reduce-irredundant loopstandardvlsi-eda
• Karnaugh mappingVisual adjacency groupingspecialistvlsi-eda
• Binary decision diagramReduced ordered canonical formcanonvlsi-eda
• And-inverter graph rewritingCut-based local rewritingstandardvlsi-eda
• Technology mappingTree covering by dynamic programmingstandardvlsi-eda
• Cut enumeration mappingK-feasible cut selectionspecialistvlsi-eda
• RetimingRegister movement across logicspecialistvlsi-eda
• Slicing tree floorplanningPolish expression searchspecialistvlsi-eda
• Sequence pair floorplanningTwo-permutation topology encodingspecialistvlsi-eda
• B*-tree floorplanningCompacted admissible placementspecialistvlsi-eda
• Simulated annealing placementTimberWolf cost schedulestandardvlsi-eda
• Min-cut placementRecursive bipartitionstandardvlsi-eda
• Analytical placementQuadratic wirelength minimizationcanonvlsi-eda
• Force-directed placementSpreading force equilibriumspecialistvlsi-eda
• LegalizationAbacus row packingspecialistvlsi-eda
• Lee maze routingBreadth-first wave expansioncanonvlsi-eda
• Line-probe routingEscape-line intersectionspecialistvlsi-eda
• Left-edge channel routingInterval-graph track assignmentspecialistvlsi-eda
• Rip-up and rerouteCongestion-driven reorderingstandardvlsi-eda
• Pathfinder negotiated routingHistory-based congestion coststandardvlsi-eda
• Rectilinear Steiner minimal treeFLUTE lookup tablesstandardvlsi-eda
• Steiner tree routingHanan grid candidate pointsspecialistvlsi-eda
• H-tree clock distributionRecursive symmetric branchingstandardvlsi-eda
• Deferred-merge embeddingZero-skew merging segmentsspecialistvlsi-eda
• Useful skew schedulingSlack-borrowing clock arrivalspecialistvlsi-eda
• Static timing analysisLongest-path arrival propagationcanonvlsi-eda
• Statistical static timingVariation-aware distributionsspecialistvlsi-eda
• Gate sizingLagrangian relaxation on delayspecialistvlsi-eda
• Buffer insertionVan Ginneken dynamic programmingstandardvlsi-eda
• D-algorithmD-cube fault propagationstandardvlsi-eda
• PODEMPath-oriented decision makingstandardvlsi-eda
• FAN algorithmFanout-point backtracingspecialistvlsi-eda
• Fault simulationParallel-pattern single-fault propagationspecialistvlsi-eda
• Scan chain insertionSerial shift test accessspecialistvlsi-eda
• Built-in self-testLFSR pattern and signature compactionspecialistvlsi-eda
• Equivalence checkingMiter plus SAT sweepingstandardvlsi-eda
• Optical proximity correctionModel-based edge biasingspecialistvlsi-eda
• Power grid analysisSparse IR-drop solvingspecialistvlsi-eda
• Clock gating insertionEnable-condition extractionspecialistvlsi-eda
• Multi-voltage partitioningLevel-shifter aware domainsspecialistvlsi-eda
• High-level synthesis schedulingForce-directed operation schedulingspecialistvlsi-eda
• Resource bindingLeft-edge register allocationspecialistvlsi-eda