Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
com.sun.electric.database.ImmutableNetSchem Maven / Gradle / Ivy
/* -*- tab-width: 4 -*-
*
* Electric(tm) VLSI Design System
*
* File: ImmutableNetSchem.java
* Written by: Dmitry Nadezhin, Sun Microsystems.
*
* Copyright (c) 2009, Oracle and/or its affiliates. All rights reserved.
*
* Electric(tm) is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 3 of the License, or
* (at your option) any later version.
*
* Electric(tm) is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with Electric(tm); see the file COPYING. If not, write to
* the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
* Boston, Mass 02111-1307, USA.
*/
package com.sun.electric.database;
import com.sun.electric.database.id.CellId;
import com.sun.electric.database.id.ExportId;
import com.sun.electric.database.id.NodeProtoId;
import com.sun.electric.database.id.PortProtoId;
import com.sun.electric.database.id.PrimitiveNodeId;
import com.sun.electric.database.id.PrimitivePortId;
import com.sun.electric.database.network.Global;
import com.sun.electric.database.prototype.PortCharacteristic;
import com.sun.electric.database.text.Name;
import com.sun.electric.technology.ArcProto;
import com.sun.electric.technology.PrimitiveNode;
import com.sun.electric.technology.PrimitivePort;
import com.sun.electric.technology.technologies.Artwork;
import com.sun.electric.technology.technologies.Generic;
import com.sun.electric.technology.technologies.Schematics;
import com.sun.electric.util.TextUtils;
import com.sun.electric.util.collections.ImmutableArrayList;
import com.sun.electric.util.math.MutableInteger;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashMap;
import java.util.HashSet;
import java.util.IdentityHashMap;
import java.util.Iterator;
import java.util.Map;
import java.util.Set;
/**
*
* @author dn146861
*/
class ImmutableNetSchem extends ImmutableNet {
private static final boolean DEBUG = false;
private class IconInst {
final ImmutableNodeInst nodeInst;
final boolean iconOfParent;
// final Nodable[] iconNodables;
final int netMapOffset;
final int numExtendedExports;
final EquivalentSchematicExports eq;
private IconInst(ImmutableNodeInst n, int nodeOffset) {
// Cell proto = (Cell) nodeInst.getProto();
assert n.protoId.isIcon() || n.protoId.isSchematic();
this.nodeInst = n;
iconOfParent = isIconOfParent(n);
// iconNodables = iconOfParent ? null : new Nodable[nodeInst.getNameKey().busWidth()];
this.netMapOffset = nodeOffset;
eq = iconOfParent ? null : getEquivExports((CellId) n.protoId);
this.numExtendedExports = iconOfParent ? -1000000 : eq.implementation.numExpandedExports;
}
// private int getNetMapOffset(Nodable proxy) {
// int arrayIndex = proxy.getNodableArrayIndex();
// assert iconNodables[arrayIndex] == proxy;
// return netMapOffset + arrayIndex * numExtendedExports;
// }
}
final Snapshot snapshot;
private final CellBackup.Memoization m;
private final int[] tailConn;
private final int[] headConn;
private final int[] drawns_;
private final ArrayList stack = new ArrayList();
private int numDrawns_;
private int numExportedDrawns_;
private int numConnectedDrawns_;
/** A map from canonic String to NetName. */
private final HashMap netNames = new HashMap();
/** Counter for enumerating NetNames. */
private int netNameCount;
/** Counter for enumerating NetNames. */
private int exportedNetNameCount;
/** */
final int[] portOffsets;
/** Node offsets. */
private final int[] drawnOffsets;
/** Info for instances of Icons */
IconInst[] iconInsts;
/** */
private final Name[] drawnNames;
/** */
private final int[] drawnWidths;
/** */
Global.Set globals;
int[] equivPortsN;
int[] equivPortsP;
int[] equivPortsA;
IdentityHashMap globalPartitions;
/* Implementation of this NetSchem. */ CellId implementationCellId;
/** IconInsts with global rebindes. */
private IdentityHashMap> iconInstExcludeGlobals;
/** */
int netNamesOffset;
ImmutableNetSchem(Snapshot snapshot, CellId cellId) {
super(snapshot.getCellTree(cellId));
assert cellId.isIcon() || cellId.isSchematic();
this.snapshot = snapshot;
// System.out.println("begin ImmutableNetSchem " + cellId);
m = cellBackup.getMemoization();
CellId implementationCellId = cellId;
if (cellId.isIcon()) {
CellId mainSchemId = snapshot.getMainSchematics(cellId);
if (mainSchemId != null) {
getEquivExports(mainSchemId);
implementationCellId = mainSchemId;
}
}
this.implementationCellId = implementationCellId;
// init connections
// ni_pi = new int[numNodes];
// int offset = numExports;
// for (int i = 0; i < numNodes; i++) {
// ImmutableNodeInst n = nodes.get(i);
// ni_pi[i] = offset;
// offset += getNumPorts(n.protoId);
// }
// arcsOffset = offset;
// offset += numArcs;
headConn = new int[arcsOffset + numArcs];
tailConn = new int[arcsOffset + numArcs];
drawns_ = new int[arcsOffset + numArcs];
for (int i = numExports; i < arcsOffset; i++) {
headConn[i] = i;
tailConn[i] = i;
}
for (int i = 0; i < numExports; i++) {
int portOffset = i;
ImmutableExport export = exports.get(i);
int orig = getPortInstOffset(export.originalNodeId, export.originalPortId);
headConn[portOffset] = headConn[orig];
headConn[orig] = portOffset;
tailConn[portOffset] = -1;
}
for (int arcIndex = 0; arcIndex < numArcs; arcIndex++) {
ImmutableArcInst a = arcs.get(arcIndex);
int arcOffset = arcsOffset + arcIndex;
int head = getPortInstOffset(a.headNodeId, a.headPortId);
headConn[arcOffset] = headConn[head];
headConn[head] = arcOffset;
int tail = getPortInstOffset(a.tailNodeId, a.tailPortId);
tailConn[arcOffset] = tailConn[tail];
tailConn[tail] = arcOffset;
}
makeDrawns();
initNetnames();
portOffsets = new int[numExports + 1];
drawnNames = new Name[numDrawns_];
drawnWidths = new int[numDrawns_];
drawnOffsets = new int[numDrawns_];
calcDrawnWidths();
initNodables();
int mapSize = netNamesOffset + netNames.size();
int[] netMapN = initMap(mapSize);
localConnections(netMapN);
int[] netMapP = netMapN.clone();
int[] netMapA = netMapN.clone();
internalConnections(netMapN, netMapP, netMapA);
closureMap(netMapN);
closureMap(netMapP);
closureMap(netMapA);
// updatePortImplementation();
updateInterface(netMapN, netMapP, netMapA);
// System.out.println("end ImmutableNetSchem " + cellId);
}
private void addToDrawn1(PortInst pi) {
int piOffset = pi.getPortInstOffset();
if (drawns_[piOffset] >= 0) {
return;
}
if (pi.portId instanceof PrimitivePortId && techPool.getPrimitivePort((PrimitivePortId) pi.portId).isIsolated()) {
return;
}
drawns_[piOffset] = numDrawns_;
if (DEBUG) {
System.out.println(numDrawns_ + ": " + pi);
}
for (int k = piOffset; headConn[k] != piOffset;) {
k = headConn[k];
if (drawns_[k] >= 0) {
continue;
}
if (k < arcsOffset) {
// This is port
drawns_[k] = numDrawns_;
if (DEBUG) {
System.out.println(numDrawns_ + ": " + exports.get(k));
}
continue;
}
ImmutableArcInst a = arcs.get(k - arcsOffset);
ArcProto ap = techPool.getArcProto(a.protoId);
if (ap.getFunction() == ArcProto.Function.NONELEC) {
continue;
}
if (pi.portId == busPinPortId && ap != busArc) {
continue;
}
drawns_[k] = numDrawns_;
if (DEBUG) {
System.out.println(numDrawns_ + ": " + a.name);
}
PortInst tpi = new PortInst(a, ImmutableArcInst.TAILEND);
if (tpi.portId == busPinPortId && ap != busArc) {
continue;
}
stack.add(tpi);
}
for (int k = piOffset; tailConn[k] != piOffset;) {
k = tailConn[k];
if (drawns_[k] >= 0) {
continue;
}
ImmutableArcInst a = arcs.get(k - arcsOffset);
ArcProto ap = techPool.getArcProto(a.protoId);
if (ap.getFunction() == ArcProto.Function.NONELEC) {
continue;
}
if (pi.portId == busPinPortId && ap != busArc) {
continue;
}
drawns_[k] = numDrawns_;
if (DEBUG) {
System.out.println(numDrawns_ + ": " + a.name);
}
PortInst hpi = new PortInst(a, ImmutableArcInst.HEADEND);
if (hpi.portId == busPinPortId && ap != busArc) {
continue;
}
stack.add(hpi);
}
}
private void addToDrawn(PortInst pi) {
assert stack.isEmpty();
stack.add(pi);
while (!stack.isEmpty()) {
pi = stack.remove(stack.size() - 1);
PortProtoId ppId = pi.portId;
int numPorts = getNumPorts(ppId.getParentId());
if (numPorts == 1 || ppId instanceof ExportId) {
addToDrawn1(pi);
continue;
}
PrimitivePort pp = techPool.getPrimitivePort((PrimitivePortId) ppId);
PrimitiveNode pn = pp.getParent();
int topology = pp.getTopology();
for (int i = 0; i < numPorts; i++) {
PrimitivePort pp2 = pn.getPort(i);
if (pp2.getTopology() != topology) {
continue;
}
addToDrawn1(new PortInst(pi.n.nodeId, pp2.getId()));
}
}
}
void makeDrawns() {
Arrays.fill(drawns_, -1);
numDrawns_ = 0;
for (int i = 0; i < numExports; i++) {
if (drawns_[i] >= 0) {
continue;
}
drawns_[i] = numDrawns_;
ImmutableExport export = exports.get(i);
addToDrawn(new PortInst(export));
numDrawns_++;
}
numExportedDrawns_ = numDrawns_;
for (int i = 0; i < numArcs; i++) {
if (drawns_[arcsOffset + i] >= 0) {
continue;
}
ImmutableArcInst a = arcs.get(i);
ArcProto ap = techPool.getArcProto(a.protoId);
if (ap.getFunction() == ArcProto.Function.NONELEC) {
continue;
}
drawns_[arcsOffset + i] = numDrawns_;
if (DEBUG) {
System.out.println(numDrawns_ + ": " + a.name);
}
PortInst hpi = new PortInst(a, ImmutableArcInst.HEADEND);
if (hpi.portId != busPinPortId || ap == busArc) {
addToDrawn(hpi);
}
PortInst tpi = new PortInst(a, ImmutableArcInst.TAILEND);
if (tpi.portId != busPinPortId || ap == busArc) {
addToDrawn(tpi);
}
numDrawns_++;
}
numConnectedDrawns_ = numDrawns_;
for (int i = 0; i < numNodes; i++) {
ImmutableNodeInst n = nodes.get(i);
if (n.protoId instanceof CellId) {
if (isIconOfParent(n)) {
continue;
}
} else {
PrimitiveNode pn = techPool.getPrimitiveNode((PrimitiveNodeId) n.protoId);
if (pn.getFunction() == PrimitiveNode.Function.ART && pn != Generic.tech().simProbeNode
|| pn == Artwork.tech().pinNode
|| pn == Generic.tech().invisiblePinNode) {
continue;
}
}
// NodeProto np = ni.getProto();
int numPortInsts = getNumPorts(n.protoId);
for (int j = 0; j < numPortInsts; j++) {
PortInst pi = new PortInst(n.nodeId, getPortIdByIndex(n.protoId, j));
int piOffset = pi.getPortInstOffset();
if (drawns_[piOffset] >= 0) {
continue;
}
if (n.protoId instanceof PrimitiveNodeId && techPool.getPrimitivePort((PrimitivePortId) pi.portId).isIsolated()) {
continue;
}
addToDrawn(pi);
numDrawns_++;
}
}
assert numExportedDrawns == numExportedDrawns_;
assert numConnectedDrawns == numConnectedDrawns;
assert numDrawns == numDrawns_;
assert Arrays.equals(drawns, drawns_);
}
private void initNetnames() {
netNameCount = 0;
for (ImmutableExport e : exports) {
addNetNames(e.name);
}
exportedNetNameCount = netNameCount;
for (ImmutableArcInst a : arcs) {
ArcProto ap = techPool.getArcProto(a.protoId);
if (ap.getFunction() == ArcProto.Function.NONELEC) {
continue;
}
assert !a.name.isBus() || ap == busArc;
if (a.isUsernamed()) {
addNetNames(a.name);
}
}
if (DEBUG) {
for (Iterator> it = netNames.entrySet().iterator(); it.hasNext();) {
Map.Entry e = it.next();
Name name = e.getKey();
int index = e.getValue().intValue();
System.out.println("NetName " + name + " " + index);
}
}
assert netNameCount == netNames.size();
}
private void addNetNames(Name name) {
for (int i = 0; i < name.busWidth(); i++) {
addNetName(name.subname(i));
}
}
private void addNetName(Name name) {
MutableInteger nn = netNames.get(name);
if (nn == null) {
nn = new MutableInteger(-1);
netNames.put(name, nn);
}
if (nn.intValue() < 0) {
nn.setValue(netNameCount++);
}
}
void calcDrawnWidths() {
Arrays.fill(drawnNames, null);
Arrays.fill(drawnWidths, -1);
for (int i = 0; i < numExports; i++) {
int drawn = drawns_[i];
Name name = exports.get(i).name;
int newWidth = name.busWidth();
int oldWidth = drawnWidths[drawn];
if (oldWidth < 0) {
drawnNames[drawn] = name;
drawnWidths[drawn] = newWidth;
continue;
}
if (oldWidth != newWidth) {
reportDrawnWidthError(/*cell.getPort(i), null,*/drawnNames[drawn].toString(), name.toString());
if (oldWidth < newWidth) {
drawnNames[drawn] = name;
drawnWidths[drawn] = newWidth;
}
}
}
for (int arcIndex = 0; arcIndex < numArcs; arcIndex++) {
ImmutableArcInst a = arcs.get(arcIndex);
int drawn = drawns_[arcsOffset + arcIndex];
if (drawn < 0) {
continue;
}
Name name = a.name;
if (name.isTempname()) {
continue;
}
int newWidth = name.busWidth();
int oldWidth = drawnWidths[drawn];
if (oldWidth < 0) {
drawnNames[drawn] = name;
drawnWidths[drawn] = newWidth;
continue;
}
if (oldWidth != newWidth) {
reportDrawnWidthError(/*null, ai,*/drawnNames[drawn].toString(), name.toString());
if (oldWidth < newWidth) {
drawnNames[drawn] = name;
drawnWidths[drawn] = newWidth;
}
}
}
for (int arcIndex = 0; arcIndex < numArcs; arcIndex++) {
int drawn = drawns_[arcsOffset + arcIndex];
if (drawn < 0) {
continue;
}
ImmutableArcInst a = arcs.get(arcIndex);
Name name = a.name;
if (!name.isTempname()) {
continue;
}
int oldWidth = drawnWidths[drawn];
if (oldWidth < 0) {
drawnNames[drawn] = name;
if (a.protoId != busArc.getId()) {
drawnWidths[drawn] = 1;
}
}
}
for (int i = 0; i < numNodes; i++) {
ImmutableNodeInst n = nodes.get(i);
// NodeProto np = ni.getProto();
if (n.protoId instanceof PrimitiveNodeId) {
PrimitiveNode pn = techPool.getPrimitiveNode((PrimitiveNodeId) n.protoId);
if (pn.getFunction().isPin()) {
continue;
}
if (pn.getTechnology() == schemTech && pn == schemTech.offpageNode) {
continue;
}
}
int numPortInsts = getNumPorts(n.protoId);
for (int j = 0; j < numPortInsts; j++) {
PortInst pi = new PortInst(n.nodeId, getPortIdByIndex(n.protoId, j));
int drawn = drawns_[pi.getPortInstOffset()];
if (drawn < 0) {
continue;
}
int oldWidth = drawnWidths[drawn];
int newWidth = 1;
if (n.protoId instanceof CellId) {
CellBackup subCell = snapshot.getCell((CellId) n.protoId);
CellId subCellId = subCell.cellRevision.d.cellId;
if (subCellId.isIcon() || subCellId.isSchematic()) {
int arraySize = subCellId.isIcon() ? n.name.busWidth() : 1;
int portWidth = subCell.cellRevision.exports.get(j).name.busWidth();
if (oldWidth == portWidth) {
continue;
}
newWidth = arraySize * portWidth;
}
}
if (oldWidth < 0) {
drawnWidths[drawn] = newWidth;
continue;
}
if (oldWidth != newWidth) {
String msg = "Network: Schematic " + cellId + " has net <"
+ drawnNames[drawn] + "> with width conflict in connection " + pi.n.name + " " + pi.portId;
System.out.println(msg);
// networkManager.pushHighlight(pi);
// networkManager.logError(msg, NetworkTool.errorSortNetworks);
}
}
}
for (int i = 0; i < drawnWidths.length; i++) {
if (drawnWidths[i] < 1) {
drawnWidths[i] = 1;
}
if (DEBUG) {
System.out.println("Drawn " + i + " " + (drawnNames[i] != null ? drawnNames[i].toString() : "") + " has width " + drawnWidths[i]);
}
}
}
// this method will not be called often because user will fix error, so it's not
// very efficient.
private void reportDrawnWidthError(/*Export pp, ArcInst ai,*/String firstname, String badname) {
String msg = "Network: Schematic " + cellId + " has net with conflict width of names <"
+ firstname + "> and <" + badname + ">";
System.out.println(msg);
//
// boolean originalFound = false;
// for (int i = 0; i < numPorts; i++) {
// String name = cell.getPort(i).getName();
// if (name.equals(firstname)) {
// networkManager.pushHighlight(cell.getPort(i));
// originalFound = true;
// break;
// }
// }
// if (!originalFound) {
// for (Iterator it = cell.getArcs(); it.hasNext();) {
// ArcInst oai = it.next();
// String name = oai.getName();
// if (name.equals(firstname)) {
// networkManager.pushHighlight(oai);
// break;
// }
// }
// }
// if (ai != null) {
// networkManager.pushHighlight(ai);
// }
// if (pp != null) {
// networkManager.pushHighlight(pp);
// }
// networkManager.logError(msg, NetworkTool.errorSortNetworks);
}
private void initNodables() {
Global.Buf globalBuf = new Global.Buf();
Map> nodeInstExcludeGlobal = null;
for (int i = 0; i < numNodes; i++) {
ImmutableNodeInst n = nodes.get(i);
// NodeProto np = ni.getProto();
// NetCell netCell = null;
// if (ni.isCellInstance()) {
// netCell = networkManager.getNetCell((Cell) np);
// }
if (n.protoId instanceof CellId && (((CellId) n.protoId).isIcon() || ((CellId) n.protoId).isSchematic())) {
if (n.name.hasDuplicates()) {
String msg = cellId + ": Node name <" + n.name + "> has duplicate subnames";
System.out.println(msg);
// networkManager.pushHighlight(ni);
// networkManager.logError(msg, NetworkTool.errorSortNodes);
}
} else {
if (n.name.isBus()) {
String msg = cellId + ": Array name <" + n.name + "> can be assigned only to icon nodes";
System.out.println(msg);
// networkManager.pushHighlight(ni);
// networkManager.logError(msg, NetworkTool.errorSortNodes);
}
}
if (n.protoId instanceof CellId) {
CellId subCellId = (CellId) n.protoId;
if (!(subCellId.isIcon() || subCellId.isSchematic())) {
continue;
}
if (isIconOfParent(n)) {
continue;
}
EquivalentSchematicExports netEq = getEquivExports((CellId) n.protoId);
EquivalentSchematicExports schemEq = netEq.implementation;
assert schemEq != null && schemEq.getCellId() != cellId;
Global.Set gs = schemEq.getGlobals();
// Check for rebinding globals
if (schemEq.implementation.globalPartitions != null) {
int numPortInsts = getNumPorts(n.protoId);
Set gb = null;
for (int j = 0; j < numPortInsts; j++) {
PortInst pi = new PortInst(n.nodeId, getPortIdByIndex(n.protoId, j));
int piOffset = pi.getPortInstOffset();
int drawn = drawns_[piOffset];
if (drawn < 0 || drawn >= numConnectedDrawns_) {
continue;
}
ImmutableExport e = netEq.exports.get(j);
assert e.exportId == pi.portId;
Name busName = e.name;
for (int busIndex = 0; busIndex < busName.busWidth(); busIndex++) {
Name exportName = busName.subname(busIndex);
Global.Set globalsOnElement = schemEq.globalPartitions.get(exportName);
if (globalsOnElement == null) {
continue;
}
if (gb == null) {
gb = new HashSet();
}
for (int l = 0; l < globalsOnElement.size(); l++) {
Global g = globalsOnElement.get(l);
gb.add(g);
}
}
}
if (gb != null) {
// remember excluded globals for this NodeInst
if (nodeInstExcludeGlobal == null) {
nodeInstExcludeGlobal = new HashMap>();
}
nodeInstExcludeGlobal.put(n, gb);
// fix Set of globals
gs = gs.remove(gb.iterator());
}
}
String errorMsg = globalBuf.addToBuf(gs);
if (errorMsg != null) {
String msg = "Network: " + cellId + " has globals with conflicting characteristic " + errorMsg;
System.out.println(msg);
// networkManager.logError(msg, NetworkTool.errorSortNetworks);
// TODO: what to highlight?
// log.addGeom(shared[i].nodeInst, true, 0, null);
}
} else {
Global g = globalInst(n);
if (g != null) {
PortCharacteristic characteristic;
if (g == Global.ground) {
characteristic = PortCharacteristic.GND;
} else if (g == Global.power) {
characteristic = PortCharacteristic.PWR;
} else {
characteristic = PortCharacteristic.findCharacteristic(n.techBits);
if (characteristic == null) {
String msg = "Network: " + cellId + " has global " + g.getName()
+ " with unknown characteristic bits";
System.out.println(msg);
// networkManager.pushHighlight(ni);
// networkManager.logError(msg, NetworkTool.errorSortNetworks);
characteristic = PortCharacteristic.UNKNOWN;
}
}
String errorMsg = globalBuf.addToBuf(g, characteristic);
if (errorMsg != null) {
String msg = "Network: " + cellId + " has global with conflicting characteristic " + errorMsg;
System.out.println(msg);
// networkManager.logError(msg, NetworkTool.errorSortNetworks);
//log.addGeom(shared[i].nodeInst, true, 0, null);
}
}
}
}
globals = globalBuf.getBuf();
// boolean changed = false;
// if (globals != newGlobals) {
// changed = true;
// globals = newGlobals;
// if (NetworkTool.debug) {
// System.out.println(cell + " has " + globals);
// }
// }
int mapOffset = portOffsets[0] = globals.size();
for (int i = 1; i <= numExports; i++) {
ImmutableExport export = exports.get(i - 1);
if (DEBUG) {
System.out.println(export + " " + portOffsets[i - 1]);
}
mapOffset += export.name.busWidth();
// if (portOffsets[i] != mapOffset) {
// changed = true;
portOffsets[i] = mapOffset;
// }
}
equivPortsN = new int[mapOffset];
equivPortsP = new int[mapOffset];
equivPortsA = new int[mapOffset];
for (int i = 0; i < numDrawns_; i++) {
drawnOffsets[i] = mapOffset;
mapOffset += drawnWidths[i];
if (DEBUG) {
System.out.println("Drawn " + i + " has offset " + drawnOffsets[i]);
}
}
iconInsts = new IconInst[numNodes];
iconInstExcludeGlobals = null;
for (int nodeIndex = 0; nodeIndex < numNodes; nodeIndex++) {
ImmutableNodeInst n = nodes.get(nodeIndex);
if (!(n.protoId instanceof CellId)) {
continue;
}
CellId subCellId = (CellId) n.protoId;
if (!subCellId.isIcon() && !subCellId.isSchematic()) {
continue;
}
IconInst iconInst = new IconInst(n, mapOffset);
iconInsts[nodeIndex] = iconInst;
if (isIconOfParent(n)) {
continue;
}
EquivalentSchematicExports netEq = iconInst.eq;
EquivalentSchematicExports schemEq = netEq.implementation;
assert schemEq != null;
Set gs = nodeInstExcludeGlobal != null ? nodeInstExcludeGlobal.get(n) : null; // exclude set of globals
if (gs != null) {
if (iconInstExcludeGlobals == null) {
iconInstExcludeGlobals = new IdentityHashMap>();
}
iconInstExcludeGlobals.put(iconInst, gs);
}
assert iconInst.numExtendedExports == schemEq.equivPortsN.length;
mapOffset += iconInst.numExtendedExports * n.name.busWidth();
}
netNamesOffset = mapOffset;
if (DEBUG) {
System.out.println("netNamesOffset=" + netNamesOffset);
}
}
private Global globalInst(ImmutableNodeInst n) {
if (!(n.protoId instanceof PrimitiveNodeId)) {
return null;
}
PrimitiveNode pn = techPool.getPrimitiveNode((PrimitiveNodeId) n.protoId);
if (pn.getTechnology() != schemTech) {
return null;
}
if (pn == schemTech.groundNode) {
return Global.ground;
}
if (pn == schemTech.powerNode) {
return Global.power;
}
if (pn == schemTech.globalNode) {
String globalName = n.getVarValue(Schematics.SCHEM_GLOBAL_NAME, String.class);
if (globalName != null) {
return Global.newGlobal(globalName);
}
}
return null;
}
private void localConnections(int netMap[]) {
// Exports
for (int k = 0; k < numExports; k++) {
ImmutableExport e = exports.get(k);
int portOffset = portOffsets[k];
Name expNm = e.name;
int busWidth = expNm.busWidth();
int drawn = drawns_[k];
int drawnOffset = drawnOffsets[drawn];
for (int i = 0; i < busWidth; i++) {
connectMap(netMap, portOffset + i, drawnOffset + (busWidth == drawnWidths[drawn] ? i : i % drawnWidths[drawn]));
MutableInteger nn = netNames.get(expNm.subname(i));
connectMap(netMap, portOffset + i, netNamesOffset + nn.intValue());
}
}
// PortInsts
for (int k = 0; k < numNodes; k++) {
ImmutableNodeInst n = nodes.get(k);
if (isIconOfParent(n)) {
continue;
}
// NodeProto np = ni.getProto();
if (n.protoId instanceof PrimitiveNodeId) {
// Connect global primitives
Global g = globalInst(n);
if (g != null) {
int drawn = drawns_[ni_pi[nodeIndexByNodeId(n.nodeId)]];
connectMap(netMap, globals.indexOf(g), drawnOffsets[drawn]);
}
if (schemTech != null && n.protoId == schemTech.wireConNode.getId()) {
connectWireCon(netMap, n);
}
continue;
}
IconInst iconInst = iconInsts[k];
if (iconInst == null || iconInst.iconOfParent) {
continue;
}
assert iconInst.nodeInst == n;
CellId subCellId = (CellId) n.protoId;
assert subCellId.isIcon() || subCellId.isSchematic();
EquivalentSchematicExports iconEq = iconInst.eq;
EquivalentSchematicExports schemEq = iconEq.implementation;
assert schemEq != null;
Name nodeName = n.name;
int arraySize = nodeName.busWidth();
int numPorts = getNumPorts(n.protoId);
CellBackup subCell = snapshot.getCell(subCellId);
for (int m = 0; m < numPorts; m++) {
ImmutableExport e = subCell.cellRevision.exports.get(m);
Name busExportName = e.name;
int busWidth = busExportName.busWidth();
int drawn = drawns_[ni_pi[nodeIndexByNodeId(n.nodeId)] + m];
if (drawn < 0) {
continue;
}
int width = drawnWidths[drawn];
if (width != busWidth && width != busWidth * arraySize) {
continue;
}
for (int arrayIndex = 0; arrayIndex < arraySize; arrayIndex++) {
int nodeOffset = iconInst.netMapOffset + arrayIndex * iconInst.numExtendedExports;
int busOffset = drawnOffsets[drawn];
if (width != busWidth) {
busOffset += busWidth * arrayIndex;
}
for (int j = 0; j < busWidth; j++) {
Name exportName = busExportName.subname(j);
int portOffset = schemEq.getExportNameMapOffset(exportName);
if (portOffset < 0) {
continue;
}
connectMap(netMap, busOffset + j, nodeOffset + portOffset);
}
}
}
}
// Arcs
for (int arcIndex = 0; arcIndex < numArcs; arcIndex++) {
ImmutableArcInst a = arcs.get(arcIndex);
int drawn = drawns_[arcsOffset + arcIndex];
if (drawn < 0) {
continue;
}
if (!a.isUsernamed()) {
continue;
}
int busWidth = drawnWidths[drawn];
Name arcNm = a.name;
if (arcNm.busWidth() != busWidth) {
continue;
}
int drawnOffset = drawnOffsets[drawn];
for (int i = 0; i < busWidth; i++) {
MutableInteger nn = netNames.get(arcNm.subname(i));
connectMap(netMap, drawnOffset + i, netNamesOffset + nn.intValue());
}
}
// Globals of proxies
for (IconInst iconInst : iconInsts) {
if (iconInst == null || iconInst.iconOfParent) {
continue;
}
Set excludeGlobals = null;
if (iconInstExcludeGlobals != null) {
excludeGlobals = iconInstExcludeGlobals.get(iconInst);
}
for (int k = 0; k < iconInst.nodeInst.name.busWidth(); k++) {
EquivalentSchematicExports eq = iconInst.eq.implementation;
assert eq.implementation == eq;
int numGlobals = eq.portOffsets[0];
if (numGlobals == 0) {
continue;
}
int nodableOffset = iconInst.netMapOffset + k * iconInst.numExtendedExports;
for (int i = 0; i < numGlobals; i++) {
Global g = eq.globals.get(i);
if (excludeGlobals != null && excludeGlobals.contains(g)) {
continue;
}
connectMap(netMap, this.globals.indexOf(g), nodableOffset + i);
}
}
}
closureMap(netMap);
}
private void connectWireCon(int[] netMap, ImmutableNodeInst n) {
ImmutableArcInst a1 = null;
ImmutableArcInst a2 = null;
for (ImmutableArcInst a : m.getConnections(null, n, null)) {
if (a1 == null) {
a1 = a;
} else if (a2 == null) {
a2 = a;
} else {
String msg = "Network: Schematic " + cellId + " has connector " + n.name
+ " which merges more than two arcs";
System.out.println(msg);
// networkManager.pushHighlight(ni);
// networkManager.logError(msg, NetworkTool.errorSortNetworks);
return;
}
}
if (a2 == null || a1 == a2) {
return;
}
int large = getArcDrawn(a1);
int small = getArcDrawn(a2);
if (large < 0 || small < 0) {
return;
}
if (drawnWidths[small] > drawnWidths[large]) {
int temp = small;
small = large;
large = temp;
}
for (int i = 0; i < drawnWidths[large]; i++) {
connectMap(netMap, drawnOffsets[large] + i, drawnOffsets[small] + (i % drawnWidths[small]));
}
}
private void internalConnections(int[] netMapF, int[] netMapP, int[] netMapA) {
for (int k = 0; k < numNodes; k++) {
ImmutableNodeInst n = nodes.get(k);
int nodeOffset = ni_pi[nodeIndexByNodeId(n.nodeId)];
if (n.protoId instanceof PrimitiveNodeId) {
PrimitiveNode.Function fun = getFunction(n);
if (fun == PrimitiveNode.Function.RESIST) {
connectMap(netMapP, drawnOffsets[drawns_[nodeOffset]], drawnOffsets[drawns_[nodeOffset + 1]]);
connectMap(netMapA, drawnOffsets[drawns_[nodeOffset]], drawnOffsets[drawns_[nodeOffset + 1]]);
} else if (fun.isComplexResistor()) {
connectMap(netMapA, drawnOffsets[drawns_[nodeOffset]], drawnOffsets[drawns_[nodeOffset + 1]]);
}
continue;
}
IconInst iconInst = iconInsts[k];
if (iconInst != null) {
continue;
}
CellId subCellId = (CellId) n.protoId;
assert !subCellId.isIcon() && !subCellId.isSchematic();
EquivPorts eq = snapshot.getCellTree(subCellId).getEquivPorts();
int[] eqN = eq.getEquivPortsN();
int[] eqP = eq.getEquivPortsP();
int[] eqA = eq.getEquivPortsA();
int numPorts = eq.getNumExports();
assert eqN.length == numPorts && eqP.length == numPorts && eqA.length == numPorts;
for (int i = 0; i < numPorts; i++) {
int di = drawns_[nodeOffset + i];
if (di < 0) {
continue;
}
int jN = eqN[i];
if (i != jN) {
int dj = drawns_[nodeOffset + jN];
if (dj >= 0) {
connectMap(netMapF, drawnOffsets[di], drawnOffsets[dj]);
}
}
int jP = eqP[i];
if (i != jP) {
int dj = drawns_[nodeOffset + jP];
if (dj >= 0) {
connectMap(netMapP, drawnOffsets[di], drawnOffsets[dj]);
}
}
int jA = eqA[i];
if (i != jA) {
int dj = drawns_[nodeOffset + jA];
if (dj >= 0) {
connectMap(netMapA, drawnOffsets[di], drawnOffsets[dj]);
}
}
}
}
for (IconInst iconInst : iconInsts) {
if (iconInst == null || iconInst.iconOfParent) {
continue;
}
for (int k = 0; k < iconInst.nodeInst.name.busWidth(); k++) {
EquivalentSchematicExports eq = iconInst.eq.implementation;
assert eq.implementation == eq;
int[] eqN = eq.getEquivPortsN();
int[] eqP = eq.getEquivPortsP();
int[] eqA = eq.getEquivPortsA();
int nodableOffset = iconInst.netMapOffset + k * iconInst.numExtendedExports;
for (int i = 0; i < eqN.length; i++) {
int io = nodableOffset + i;
int jF = eqN[i];
if (i != jF) {
connectMap(netMapF, io, nodableOffset + jF);
}
int jP = eqP[i];
if (i != jP) {
connectMap(netMapP, io, nodableOffset + jP);
}
int jA = eqA[i];
if (i != jA) {
connectMap(netMapA, io, nodableOffset + jA);
}
}
}
}
}
// private void updatePortImplementation() {
// portImplementation = new int[numExports];
// CellRevision c = snapshot.getCellRevision(implementationCellId);
// for (int i = 0; i < numExports; i++) {
// ImmutableExport e = exports.get(i);
// int equivIndex = -1;
// if (c != null) {
// ImmutableExport equiv = getEquivalentPort(c, e);
// if (equiv != null) {
// equivIndex = c.getExportIndexByExportId(equiv.exportId);
// }
// }
// portImplementation[i] = equivIndex;
// if (equivIndex < 0) {
// String msg = cellId + ": Icon port <" + e.name + "> has no equivalent port";
// System.out.println(msg);
//// networkManager.pushHighlight(e);
//// networkManager.logError(msg, NetworkTool.errorSortPorts);
// }
// }
// if (c != null && numExports != c.exports.size()) {
// for (int i = 0; i < c.exports.size(); i++) {
// ImmutableExport e = c.exports.get(i);
// if (getEquivalentPort(cellRevision, e) == null) {
// String msg = c + ": Schematic port <" + e.name + "> has no equivalent port in " + cellId;
// System.out.println(msg);
//// networkManager.pushHighlight(e);
//// networkManager.logError(msg, NetworkTool.errorSortPorts);
// }
// }
// }
//// return changed;
// }
/**
* Update map of equivalent ports newEquivPort.
*/
private void updateInterface(int[] netMapN, int[] netMapP, int[] netMapA) {
for (int i = 0; i < equivPortsN.length; i++) {
equivPortsN[i] = netMapN[i];
equivPortsP[i] = netMapP[i];
equivPortsA[i] = netMapA[i];
}
for (int exportIndex = 0; exportIndex < numExports; exportIndex++) {
ImmutableExport e = exports.get(exportIndex);
if (!isGlobalPartition(e)) {
continue;
}
if (globalPartitions == null) {
globalPartitions = new IdentityHashMap();
}
for (int k = 0, busWidth = e.name.busWidth(); k < busWidth; k++) {
Global.Buf globalBuf = null;
int q = equivPortsN[portOffsets[exportIndex] + k];
for (int l = 0; l < globals.size(); l++) {
if (equivPortsN[l] == q) {
Global g = globals.get(l);
if (globalBuf == null) {
globalBuf = new Global.Buf();
}
globalBuf.addToBuf(g, globals.getCharacteristic(g));
}
}
if (globalBuf == null) {
continue;
}
Name n = e.name.subname(k);
Global.Set globs = globalPartitions.get(n);
if (globs != null) {
globalBuf.addToBuf(globs);
}
globalPartitions.put(n, globalBuf.getBuf());
}
}
}
/**
* Returns true if this export has its original port on Global-Partition schematics
* primitive.
* @return true if this export is Global-Partition export.
*/
private boolean isGlobalPartition(ImmutableExport e) {
return schemTech != null && e.originalPortId.parentId == schemTech.globalPartitionNode.getId();
}
// /**
// * Method to tell whether this NodeInst is an icon of its parent.
// * Electric does not allow recursive circuit hierarchies (instances of Cells inside of themselves).
// * However, it does allow one exception: a schematic may contain its own icon for documentation purposes.
// * This method determines whether this NodeInst is such an icon.
// * @return true if this NodeInst is an icon of its parent.
// */
// private boolean isIconOfParent(ImmutableNodeInst n) {
// if (!(n.protoId instanceof CellId)) {
// return false;
// }
// CellBackup subCell = snapshot.getCell((CellId) n.protoId);
// CellId subCellId = subCell.cellRevision.d.cellId;
// return subCellId.isIcon() && cellId.isSchematic() && subCellId.libId == cellId.libId
// && subCell.cellRevision.d.groupName.equals(cellRevision.d.groupName);
// }
/**
* Method to find the Export on another Cell that is equivalent to this Export.
* @param otherCell the other cell to equate.
* @return the Export on that other Cell which matches this Export.
* Returns null if none can be found.
*/
private ImmutableExport getEquivalentPort(CellRevision otherCell, ImmutableExport e) {
/* don't waste time searching if the two views are the same */
if (cellRevision == otherCell) {
return e;
}
// this is the non-cached way to do it
return findExport(otherCell, e.name);
}
/**
* Method to find the PortProto that has a particular Name.
* @return the PortProto, or null if there is no PortProto with that name.
*/
public ImmutableExport findExport(CellRevision cell, Name name) {
int portIndex = searchExport(cell, name.toString());
if (portIndex >= 0) {
return cell.exports.get(portIndex);
}
return null;
}
/**
* Searches the exports for the specified name using the binary
* search algorithm.
* @param name the name to be searched.
* @return index of the search name, if it is contained in the exports;
* otherwise, (-(insertion point ) - 1) . The
* insertion point is defined as the point at which the
* Export would be inserted into the list: the index of the first
* element greater than the name, or exports.length() , if all
* elements in the list are less than the specified name. Note
* that this guarantees that the return value will be >= 0 if
* and only if the Export is found.
*/
private int searchExport(CellRevision cellRevision, String name) {
ImmutableArrayList exports = cellRevision.exports;
int low = 0;
int high = exports.size() - 1;
while (low <= high) {
int mid = (low + high) >> 1;
ImmutableExport e = exports.get(mid);
int cmp = TextUtils.STRING_NUMBER_ORDER.compare(e.name.toString(), name);
if (cmp < 0) {
low = mid + 1;
} else if (cmp > 0) {
high = mid - 1;
} else {
return mid; // Export found
}
}
return -(low + 1); // Export not found.
}
/**
* Method to return the function of this NodeProto.
* The Function is a technology-independent description of the behavior of this NodeProto.
* @return function the function of this NodeProto.
*/
public PrimitiveNode.Function getFunction(ImmutableNodeInst n) {
if (n.protoId instanceof CellId) {
return PrimitiveNode.Function.UNKNOWN;
}
PrimitiveNode np = techPool.getPrimitiveNode((PrimitiveNodeId) n.protoId);
return np.getPrimitiveFunction(n.techBits);
}
private EquivalentSchematicExports getEquivExports(CellId cellId) {
if (!(cellId.isIcon() || cellId.isSchematic())) {
throw new IllegalArgumentException();
}
EquivalentSchematicExports eq = snapshot.equivSchemExports[cellId.cellIndex];
if (eq == null) {
ImmutableNetSchem netSchem = new ImmutableNetSchem(snapshot, cellId);
eq = new EquivalentSchematicExports(netSchem);
snapshot.equivSchemExports[cellId.cellIndex] = eq;
}
return eq;
}
private int getArcDrawn(ImmutableArcInst a) {
int arcIndex = cellRevision.getArcIndexByArcId(a.arcId);
return drawns_[arcsOffset + arcIndex];
}
private int getPortInstOffset(int nodeId, PortProtoId portId) {
return ni_pi[nodeIndexByNodeId(nodeId)] + getPortIndex(portId);
}
private class PortInst {
private final ImmutableNodeInst n;
private final int nodeIndex;
private final PortProtoId portId;
private final int portIndex;
private PortInst(int nodeId, PortProtoId portId) {
nodeIndex = nodeIndexByNodeId(nodeId);
n = nodes.get(nodeIndex);
this.portId = portId;
portIndex = getPortIndex(portId);
}
private PortInst(ImmutableExport e) {
this(e.originalNodeId, e.originalPortId);
}
private PortInst(ImmutableArcInst a, int end) {
this(end != 0 ? a.headNodeId : a.tailNodeId, end != 0 ? a.headPortId : a.tailPortId);
}
private int getPortInstOffset() {
return ni_pi[nodeIndex] + portIndex;
}
}
// private int getNumPorts(NodeProtoId nodeProtoId) {
// if (nodeProtoId instanceof CellId) {
// return snapshot.getCell((CellId) nodeProtoId).cellRevision.exports.size();
// } else {
// return techPool.getPrimitiveNode((PrimitiveNodeId) nodeProtoId).getNumPorts();
// }
// }
private PortProtoId getPortIdByIndex(NodeProtoId nodeProtoId, int portIndex) {
if (nodeProtoId instanceof CellId) {
return snapshot.getCell((CellId) nodeProtoId).cellRevision.exports.get(portIndex).exportId;
} else {
return techPool.getPrimitiveNode((PrimitiveNodeId) nodeProtoId).getPort(portIndex).getId();
}
}
// private int getPortIndex(PortProtoId portId) {
// if (portId instanceof ExportId) {
// ExportId exportId = (ExportId) portId;
// return snapshot.getCell(exportId.getParentId()).cellRevision.getExportIndexByExportId(exportId);
// } else {
// return techPool.getPrimitivePort((PrimitivePortId) portId).getPortIndex();
// }
// }
}
