Check options

Check options

Words that are already available stand bare after the limit. Newer options use name=value.

← Language overview

euclidean

Available · yields option

space(m1) < 0.18 um euclidean

Default metric. Distance = shortest distance of the two marker edge pieces (corners count: circular caps). Alias euclidian.

Input Result Corner distance (circle) counts

Also written as: euclidian

Notes

  • Two offset parallel edges: the distance can be the diagonal corner, not only the projection.
  • Written explicitly or omitted: the same.

projection

Available · yields option

space(m1) < 0.18 um projection

Only the distance where the edges face each other (no vertex circles). Offset ends without a shared projection: often no hit, even though Euclidean corners are close.

Input projection: empty No shared projection → no marker

Notes

  • A jog with only corner proximity: projection passes, Euclidean fails — the classic difference.
  • Fully overlapping parallel edges: distance = perpendicular distance, as in Euclidean.

square / manhattan

Available · yields option

space(m1) < 0.18 um square
space(m1) < 0.18 um manhattan

Metric inside the edge search: square = Chebyshev max(|dx|,|dy|) (Minkowski square), Manhattan = |dx|+|dy| (diamond). Not merely a re-filter after a Euclidean search.

Input Result

Notes

  • A 45° gap: square distance = Chebyshev, smaller than Euclidean — more hits possible.
  • Manhattan is larger than Euclidean — fewer hits at the same limit.
  • Only the distance filter changes; the pair geometry stays.

shielded / unshielded

Available · yields option

space(m1) < 0.18 um shielded
space(m1) < 0.18 um unshielded

shielded (default): if another edge crosses the shortest connection between the pair edges, no marker. unshielded / alias transparent turns that off.

Input shielded: no space marker The middle polygon shields the gap

Also written as: transparent

Notes

  • Metal in between on the same layer (same-layer measure) shields.
  • Two-layer space: a shield on A or B.
  • An overlap check forces unshielded.

without_touching_corners

Available · yields option

space(m1) < 0.18 um without_touching_corners

Drops pairs with distance ≈ 0 that have no collinear edge overlap (corner to corner / corner to edge).

Input Result A kiss at the corner is suppressed

Notes

  • A collinear full-edge contact (distance 0 with overlap): stays.
  • A degenerate marker edge a==b: also dropped.
  • A positive gap: unchanged.

without_touching_edges

Available · yields option

space(m1) < 0.18 um without_touching_edges

Drops every pair with distance ≈ 0 (including collinear abutting).

Input Result

Notes

  • Stricter than corners: abutting space at distance 0 disappears.
  • Useful when only a true gap > 0 should be checked.

whole_edges

Available · yields option

width(m1) < 0.14 um whole_edges

Replaces the clipped pair pieces by the full original edges from the contour.

Input Result Whole vertical edges instead of pieces

Notes

  • The marker geometry becomes longer; the distance stays that of the clip.
  • Without whole_edges: only the facing part.

angle_limit(α)

Available · yields option

space(m1) < 0.18 um angle_limit(90)

Leave the default 90° unless you know why. At exactly 90°: only facing edges. Otherwise: angle between edge directions; skip when ang < 180-α.

Input Result Skew vs. orthogonal opposite edge

Notes

  • α = 90: only opposite / facing edges.
  • α → 180: almost every direction.
  • α → 0: almost nothing survives.
  • Overlap/inside swap edge a first — that changes which pairs are “facing”.

nets=same / nets=different

Available · yields option

space(m1) < 0.18 um nets=different

After connect: only pairs of the same or of different nets. The file may also write bare connected / not_connected.

Input Result VDD VSS

Also written as: connected, not_connected

Notes

  • Without connect: geometric components of a|b (touch/overlap = one net).
  • soft_connect is not conducting for nets=.

eol=yes

Available · yields option

enc(m1, via) < 0.05 um eol=yes

Only line-end edges of the enclosing rectangle: the shorter axis. A square: all four sides count as EOL.

Input Result

Also written as: end_of_line

Notes

  • The long parallel side of a rectangle is the usual enclosure hit; with eol only the short ends remain.

projecting= / relation= / opposite= / rect_sides= / coincident=

Available · yields option

space(m1) < 0.18 um projecting=0.1 um .. inf
space(m1) < 0.18 um relation=parallel

opposite=only|waive and rect_sides=1|2|L|3|4 filter pair geometry. projecting=min .. max is the overlap length of the edges (dbu). relation= filters parallel / acute / perpendicular / obtuse. coincident=yes only collinear overlapping edges.

Input Result

Notes

  • opposite=only: only antiparallel (facing) edges; waive drops exactly those.
  • rect_sides=1|2|L|3|4 waives when only those sides of a rectangle violate.
  • projecting=0.5 um .. inf: pairs with a shorter shared sight are dropped.
  • relation=parallel includes anti-parallel. perpendicular is a zero scalar product.

severity

Available · yields report

check "M1.S" "min space" severity warn : space(m1) < 0.18 um

error (default), warn, info. The level is stored on every violation, appears as a column in .drc.rpt, and is counted as warnings / infos. The error count and exit code stay the total number of markers.

Input Result

Notes

  • An unknown word is a parse error.
  • Does not affect marker geometry, only report metadata.