clean the codebase (#5)

Author: Abse2001

lib/solvers/GlobalDrcForceImproveSolver/GlobalDrcForceImproveSolver.ts

@@ -1 +1 @@
-export { getDrcSnapshot } from "./GlobalDrcForceImproveSolver"
+export { getDrcSnapshot } from "./solverHelpers"

lib/solvers/GlobalDrcForceImproveSolver/drc-snapshot.ts

@@ -1,15 +1,10 @@
 export { GlobalDrcForceImproveSolver } from "./GlobalDrcForceImproveSolver"
 
-import type { GlobalDrcForceImproveSolver as GlobalDrcForceImproveSolverClass } from "./GlobalDrcForceImproveSolver"
-
-export type GlobalDrcForceImproveSolverParams = ConstructorParameters<
-  typeof GlobalDrcForceImproveSolverClass
->[0]
-
 export type {
   DrcError,
   DrcEvaluator,
   DrcSnapshot,
+  GlobalDrcForceImproveSolverParams,
   SolverDeps,
   SolverOutput,
 } from "./types"

lib/solvers/GlobalDrcForceImproveSolver/index.ts

@@ -0,0 +1,36 @@
+import type { HighDensityRoute } from "../../types/high-density-types"
+
+export type Point = { x: number; y: number }
+
+export type Bounds2D = {
+  minX: number
+  minY: number
+  maxX: number
+  maxY: number
+}
+
+export type MutableRoute = HighDensityRoute & {
+  route: Array<HighDensityRoute["route"][number]>
+  vias: Array<HighDensityRoute["vias"][number]>
+}
+
+export type ViaNode = {
+  routeIndex: number
+  rootConnectionName: string
+  pointIndexes: number[]
+  x: number
+  y: number
+  radius: number
+  movable: boolean
+}
+
+export type Segment = {
+  routeIndex: number
+  rootConnectionName: string
+  startIndex: number
+  endIndex: number
+  start: Point
+  end: Point
+  z: number
+  radius: number
+}

lib/solvers/GlobalDrcForceImproveSolver/internalTypes.ts

@@ -0,0 +1,70 @@
+import type { SimpleRouteJson } from "../../types"
+import type { HighDensityRoute } from "../../types/high-density-types"
+
+const netAliasCache = new Map<string, readonly string[]>()
+const netAliasSetCache = new Map<string, ReadonlySet<string>>()
+const obstacleConnectedAliasCache = new WeakMap<
+  SimpleRouteJson["obstacles"][number],
+  ReadonlySet<string>
+>()
+
+export const getRootConnectionName = (route: HighDensityRoute) =>
+  route.rootConnectionName ?? route.connectionName
+
+const getNetAliases = (name: string | undefined) => {
+  if (!name) return []
+
+  const cachedAliases = netAliasCache.get(name)
+  if (cachedAliases) return cachedAliases
+
+  const aliases = name.includes("__")
+    ? [...new Set([name, ...name.split("__").filter(Boolean)])]
+    : [name]
+  netAliasCache.set(name, aliases)
+  return aliases
+}
+
+const getNetAliasSet = (name: string) => {
+  const cachedAliasSet = netAliasSetCache.get(name)
+  if (cachedAliasSet) return cachedAliasSet
+
+  const aliasSet = new Set(getNetAliases(name))
+  netAliasSetCache.set(name, aliasSet)
+  return aliasSet
+}
+
+export const sharesNet = (left: string, right: string | undefined) => {
+  if (!right) return false
+  if (left === right) return true
+
+  const leftAliases = getNetAliases(left)
+  if (leftAliases.length === 1 && !right.includes("__")) return false
+
+  const rightAliasSet = getNetAliasSet(right)
+  return leftAliases.some((alias) => rightAliasSet.has(alias))
+}
+
+const getObstacleConnectedAliasSet = (
+  obstacle: SimpleRouteJson["obstacles"][number],
+) => {
+  const cachedAliasSet = obstacleConnectedAliasCache.get(obstacle)
+  if (cachedAliasSet) return cachedAliasSet
+
+  const aliasSet = new Set<string>()
+  for (const connectedTo of obstacle.connectedTo ?? []) {
+    for (const alias of getNetAliases(connectedTo)) {
+      aliasSet.add(alias)
+    }
+  }
+
+  obstacleConnectedAliasCache.set(obstacle, aliasSet)
+  return aliasSet
+}
+
+export const obstacleSharesNet = (
+  rootConnectionName: string,
+  obstacle: SimpleRouteJson["obstacles"][number],
+) =>
+  getNetAliases(rootConnectionName).some((alias) =>
+    getObstacleConnectedAliasSet(obstacle).has(alias),
+  )

lib/solvers/GlobalDrcForceImproveSolver/netUtils.ts

@@ -0,0 +1,72 @@
+const BASE_MAX_TARGETED_CANDIDATE_ATTEMPTS = 2
+const BASE_MAX_ITERATIONS_PER_EFFORT = 48
+const DEEP_ERROR_FORCE_SCALES = [1, 1.75, -1] as const
+const FAST_ERROR_FORCE_SCALES = [1, 1.75] as const
+const LARGE_DRC_COUNT_IMPROVEMENT_CHECK_INTERVAL = 8
+const LOW_DRC_COUNT_IMPROVEMENT_CHECK_INTERVAL = 1
+const MAX_ITERATIONS_PER_DRC_ERROR = 8 / 3
+const MIN_MAX_ITERATIONS = 48
+const SMALL_DRC_COUNT_IMPROVEMENT_CHECK_INTERVAL = 2
+
+export const POSITION_EPSILON = 1e-6
+export const COORDINATE_EPSILON = 1e-3
+export const MAX_ERROR_MOVE = 0.14
+export const BROAD_FORCE_PASSES = 12
+export const BROAD_MAX_MOVE = 0.035
+export const BROAD_FALLBACK_SMALL_ROUTE_LIMIT = 120
+export const MIN_ITERATIONS_FOR_LARGE_BOARD_BROAD_FALLBACK = 192
+export const CLEARANCE_SLACK = 0.015
+export const VIA_PAIR_REPAIR_MAX_MOVE = 0.16
+export const TRACE_PAD_REPAIR_MAX_MOVE = 0.3
+export const PREFERRED_TRACE_TO_PAD_CLEARANCE = 0.16
+export const LARGE_DRC_COUNT_THRESHOLD = 20
+export const MAX_DRC_COUNT_PLATEAU_CHECKS = 2
+export const MAX_LARGE_BOARD_BROAD_FALLBACK_MISSES = 2
+export const BROAD_SPATIAL_CELL_SIZE_MIN = 1
+
+export const getBaseMaxIterations = (effort: number) =>
+  Math.max(
+    MIN_MAX_ITERATIONS,
+    Math.round(BASE_MAX_ITERATIONS_PER_EFFORT * Math.max(1, effort)),
+  )
+
+export const getDrcScaledMaxIterations = (
+  drcIssueCount: number,
+  effort: number,
+) =>
+  Math.max(
+    getBaseMaxIterations(effort),
+    Math.ceil(
+      drcIssueCount * MAX_ITERATIONS_PER_DRC_ERROR * Math.max(1, effort),
+    ),
+  )
+
+export const getRouteComplexityMinIterations = (
+  routeCount: number,
+  drcIssueCount: number,
+) =>
+  routeCount > BROAD_FALLBACK_SMALL_ROUTE_LIMIT && drcIssueCount > 0
+    ? MIN_ITERATIONS_FOR_LARGE_BOARD_BROAD_FALLBACK
+    : MIN_MAX_ITERATIONS
+
+export const getLargeBoardBroadFallbackCadence = (
+  centeredDrcIssueCount: number,
+) => Math.max(16, Math.min(64, centeredDrcIssueCount * 2))
+
+export const getDrcCountImprovementCheckInterval = (
+  initialDrcIssueCount: number,
+) =>
+  initialDrcIssueCount >= LARGE_DRC_COUNT_THRESHOLD
+    ? LARGE_DRC_COUNT_IMPROVEMENT_CHECK_INTERVAL
+    : initialDrcIssueCount <= 2
+      ? LOW_DRC_COUNT_IMPROVEMENT_CHECK_INTERVAL
+      : SMALL_DRC_COUNT_IMPROVEMENT_CHECK_INTERVAL
+
+export const getForceScalesForEffort = (effort: number) =>
+  effort >= 2 ? DEEP_ERROR_FORCE_SCALES : FAST_ERROR_FORCE_SCALES
+
+export const getMaxTargetedCandidateAttemptsForEffort = (effort: number) =>
+  Math.max(
+    1,
+    Math.round(BASE_MAX_TARGETED_CANDIDATE_ATTEMPTS * Math.max(1, effort)),
+  )