ViaFlatness.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Giordano Bruno Beretta, January 21, 1986 2:54:32 pm PST
gbb February 17, 1986 7:30:50 pm PST
Checks that vias are are on flat topology. The following flat topologies are accepted: diffusion (may be partial), poly, and field oxide. For the moment this implementation is "flat".
DIRECTORY
CD USING [Design, Instance, Number, Rect],
Rope USING [ROPE];
ViaFlatness: CEDAR DEFINITIONS ~ BEGIN
externalKey: ATOM ~ $GismoVF; -- used in traffic with external packages
errorKey: ATOM ~ $GismoVFError;
Rule: TYPE ~ RECORD [extent: CD.Number, msg: Rope.ROPE];
ErrorList: TYPE ~ LIST OF RECORD [rule: Rule, where: CD.Rect];
Verify:
PROC [c:
CD.Instance, d:
CD.Design ←
NIL, abort:
REF
BOOL ←
NIL]
RETURNS [errors: ErrorList, errorTotal:
INT]
If a design is not provided, the error messages are displayed in the terminal viewer.
END.