Adjacent_stratum_surface_embedded_physical_component_surface

Layered_interconnect_module_design_arm

ENTITY Adjacent_stratum_surface_embedded_physical_component_surface_definition;
name : STRING;
precedent_item : component_feature_or_stratum_surface;
subsequent_item : component_feature_or_stratum_surface;
UNIQUE
UR2 : precedent_item, subsequent_item;
UR1 : name;
WHERE
WR1: precedent_item <> subsequent_item;
WR2: NOT ('LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.COMPONENT_FEATURE' IN TYPEOF(precedent_item)) OR
        (SIZEOF(['LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.BARE_DIE_SURFACE',
               'LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.PACKAGE_BODY_SURFACE',
               'INTERCONNECT_MODULE_USAGE_VIEW_ARM.INTERCONNECT_MODULE_SECONDARY_SURFACE'] * TYPEOF(precedent_item.definition)) = 1);
WR3: NOT ('LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.COMPONENT_FEATURE' IN TYPEOF(subsequent_item)) OR
        (SIZEOF(['LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.BARE_DIE_SURFACE',
                 'LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.PACKAGE_BODY_SURFACE',
                 'INTERCONNECT_MODULE_USAGE_VIEW_ARM.INTERCONNECT_MODULE_PRIMARY_SURFACE'] * TYPEOF(subsequent_item.definition)) = 1);
WR4: NOT ('LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.STRATUM_SURFACE' IN TYPEOF(precedent_item)) OR
                (precedent_item.name = stratum_surface_designation.secondary_surface);
WR5: NOT ('LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.STRATUM_SURFACE' IN TYPEOF(subsequent_item)) OR
                (precedent_item.name = stratum_surface_designation.primary_surface);
END_ENTITY; -- Adjacent_stratum_surface_embedded_physical_component_surface_definition

Layered_interconnect_module_design_arm

Entity data types and their attributes

Known subtypes

Users: by entity attributes

Users: by defined types, not used by any entity attribute

Global rules for this entity data type