|
ENTITY Inter_stratum_join_relationship SUBTYPE OF (Routed_join_relationship); points_to_be_connected : SET [2:?] OF Layer_connection_point; DERIVE associated_stratum : BAG [0:?] OF Design_layer_stratum := limd_get_lcp_resident_stratum(points_to_be_connected); WHERE WR1: SIZEOF(associated_stratum) = SIZEOF(bag_to_set(associated_stratum)); END_ENTITY; -- Inter_stratum_join_relationship |
Entity data types and their attributesJoin_relationshipassociated_layout: Layered_interconnect_module_design_view; Routed_join_relationship (INV) network_topology: Routed_physical_network FOR routed_connectivity_requirement_element; Inter_stratum_join_relationship points_to_be_connected: SET [2:?] OF Layer_connection_point; (DER) associated_stratum: BAG [0:?] OF Design_layer_stratum; |
Global rules for this entity data type- |