{des5:9} Similar to that, if the netlist has a component called "C2", the map will have a UID list pointing -to concrete symbols that built up C2 in the netlist. Again +to concrete symbols that built up C2 in the netlist. Again similar, if the netlist refers to pin C2-1, the map for "pin" "C2-1" will contain the UID of the concrete terminal that got derived into C2-1 in the export. @@ -75,7 +75,7 @@
{des5:10} (Note: it is possible to build the CMR list because each abstract model -object contains a list of the concrete model +object contains a list of the concrete model objects that created the given abstract object)