Transformation of graphs representing an electronic design in a high modeling system

A program storage medium, comprising:

• a processor-readable device configured with instructions for processing an electronic design in a high level modeling system (HLMS), wherein execution of the instructions by one or more processors causes the one or more processors to perform operations including,
• generating a first graph of a first type including a plurality of nodes and a plurality of edges, each node representing a respective basic element of the electronic design in the HLMS and each edge between two of the nodes representing an association between the respective basic elements of the two of the nodes, wherein one of the nodes is a shared node that represents the respective basic element that is one of a block, a port, or a network of the electronic design;
• generating a plurality of second-type graphs, each second-type graph modeling a different aspect of the electronic design in the HLMS, each second-type graph including a plurality of nodes and a plurality of edges with each member of a subset of the nodes and edges associated with at least one of the nodes of the first graph, wherein a member of the subset of the nodes and edges of one and another of the second-type graphs is associated with the shared node of the first graph;
• and
• transforming the different aspects of the electronic design of the second-type graphs, the transforming including writing to the shared node of the first graph a first attribute of the different aspect for the one of the second-type graphs and determining a second attribute of the different aspect for the another of the second-type graphs as a function of the first attribute read from the shared node of the first graph, wherein each member of the subset of the nodes and edges of each second-type graph is associated with each of the at least one node of the first graph by a respective reference, and the writing of the first attribute to the shared node includes dereferencing the respective reference that associates the first member with the shared node, and the determining of the second attribute includes reading the first attribute from the shared node and the reading of the first attribute from the shared node includes dereferencing the respective reference that associates the second member with the shared node.

A system for processing an electronic design, the system comprising:

• a memory arranged to represent a first graph of a first type and a plurality of second-type graphs, the first graph including a plurality of edges and a plurality of nodes, which include a shared node, each node representing a respective basic element of the electronic design and each edge representing an association between two of the basic elements, each second-type graph modeling a different aspect of the electronic design, each second-type graph including a plurality of nodes and a plurality of edges with each member of a subset of the nodes and edges having a respective reference to one of the nodes of the first graph, wherein a member of the subset of the nodes and edges for one and another of the second-type graphs respectively has a first and second reference to the shared node of the first graph;
• and
• a processor adapted to transform, in the memory, the different aspects of the electronic design for the second-type graphs, including writing a first attribute of the different aspect for the one of the second-type graphs to the shared node using the first reference and determining a second attribute of the different aspect for the another of the second-type graphs as a function of the first attribute read from the shared node using the second reference, wherein the edges of the first graph, which represent the associations between the basic elements, are preserved, wherein each member of the subset of the nodes and edges of each second-type graph is associated with each of the at least one node of the first graph by a respective reference, and the writing of the first attribute to the shared node includes dereferencing the respective reference that associates the first member with the shared node, and the determining of the second attribute includes reading the first attribute from the shared node and the reading of the first attribute from the shared node includes dereferencing the respective reference that associates the second member with the shared node.