ChannelDataRec:
TYPE =
RECORD [
inX: BOOL, -- Channel in X is used with an AbutX
extend: BOOL ← FALSE, -- provokes automatic stretch to match the height (resp. width)
extendTopOrRight: BOOL ← TRUE, -- when extension takes place, precise side of the extension
bottomOrLeftWires, topOrRightWires: LIST OF Wire ← NIL, -- Indicate the order in which those wires appear at the bottom and top. Might be structured, but then only atomic wires are taken into account. All atomic wires must be part of the internal of the cell.
trunkLayer: ROPE, -- from side to side, vertical for a channel in X, "poly", "metal" or "metal2"
branchLayer: ROPE, -- from ct to ct, horizontal for a channel in X
wireWidthProc: PWRoute.WireWidthProc ← NIL -- allows specifying the size of nets
];
Channel: PWCore.LayoutProc;
Assumes that parameters (of type ChannelData) are given under the property $ChannelData. Supposes that the cellType is a recordCell with 2 instances, that are considered to be left and right if the channel is in X, bottom or top otherwise.