|
|
Application module:
Interconnect module with macros |
ISO/TS 10303-1687:2018-11(E)
© ISO
|
This clause specifies the information requirements for the
Interconnect module with macros
application module. The information requirements are specified as the
Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information
requirements is given in
Annex C.
NOTE 2 The mapping specification is specified in
5.1. It shows how
the information requirements are met by using common resources and
constructs defined or imported in the MIM schema of this application
module.
This clause defines the information requirements to which implementations shall
conform using the EXPRESS language as defined in ISO 10303-11.
The following begins the
Interconnect_module_with_macros_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Interconnect_module_with_macros_arm;
(*
The following EXPRESS interface statement specifies the elements
imported from the ARM of another application module.
EXPRESS specification:
*)
USE FROM
Layered_interconnect_module_design_arm;
--
ISO/TS 10303-1698
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Layered_interconnect_module_design_arm |
ISO/TS 10303-1698 |
NOTE 2
See Annex C,
Figures
C.1and C.2
for a graphical representation of this schema.
This subclause specifies the ARM type
for this application module. The ARM type and
definition is specified below.
The imwm_terminal_or_inter_stratum_feature type is an extension
of the
terminal_or_inter_stratum_feature type.
It adds the data
type
Interconnect_module_macro_component_join_terminal
to the list of alternate data types.
EXPRESS specification:
*)
TYPE
imwm_terminal_or_inter_stratum_feature =
SELECT
BASED_ON
terminal_or_inter_stratum_feature
WITH
(Interconnect_module_macro_component_join_terminal);
END_TYPE;
(*
This subclause specifies the ARM entities for this
module. Each ARM application entity is an atomic element that
embodies a unique application concept and contains attributes
specifying the data elements of the entity. The ARM
entities and definitions are specified below.
An Interconnect_module_macro_component is a type of
Physical_component
and a type of
Single_instance. An Interconnect_module_macro_component is an instantiation in a design of a different design.
The identity of individual elements of the macro are omitted from down-stream data packages, as the layout process re-numbers
reference designators of all elements in a design, regardless of how the element was injested into the design.
Because the macro instantiation is a copy operation, the layout connectivity in the macro must be merged with other layout
connectivity in the new design.
Because a macro definition has unterminated traces, the Interconnect_module_macro_component_join_terminals will be
subsumed once the connectivity merger is complete, and down-stream applications will not have resolution
of the macro design definition versus the new design layout.
EXAMPLE
A data bus application uses a macro layout for consistency across multiple platforms. The macro provides stubbed traces with
specific locations of the stub ends. Once the macro is incorporated in the new design, the stub ends disappear as they are
not part of the delivered trace.
NOTE
It was not considered necessary in the defining activity model to retain the location of the stub ends of the traces for downsteam
applications. The design organization retains
the knowledge of the stubs because the design organization retains the knowledge of the location of the macro in the new design.
EXPRESS specification:
*)
ENTITY Interconnect_module_macro_component
SUBTYPE OF (Physical_component, Single_instance);
SELF\Definition_based_product_occurrence.derived_from : Layered_interconnect_module_design_view;
INVERSE
join_access_mechanisms : SET[1:?] OF Interconnect_module_macro_component_join_terminal FOR associated_component;
WHERE
WR1: SIZEOF(QUERY(immcjt <* join_access_mechanisms | immcjt\Component_feature.definition\Shape_element.associated_definition
:<>: SELF\Definition_based_product_occurrence.derived_from\Part_design_view.usage_view)) = 0;
WR2: NOT EXISTS(SELF\Product_view_definition.additional_characterization);
END_ENTITY;
(*
Attribute definitions:
derived_from:
specifies the
Layered_interconnect_module_design_view
for the Interconnect_module_macro_component.
join_access_mechanisms:
an inverse relationship that specifies that the existence of the Interconnect_module_macro_component
is dependent on the existence of the
Interconnect_module_macro_component_join_terminal
that specifies the Interconnect_module_macro_component as its
associated_component.
There shall be one or more
Interconnect_module_macro_component_join_terminals
for a particular Interconnect_module_macro_component.
Formal propositions:
WR1:
The
Interconnect_module_usage_view
referenced by the
usage_view
of derived_from shall be the same.
WR2:
The
additional_characterization
shall not be populated.
An Interconnect_module_macro_component_join_terminal is a type of
Physical_component_terminal. An Interconnect_module_macro_component_join_terminal is
a reference to an internally accessible node of a layout component in a substrate design.
EXAMPLE
A Land is included in a macro definition along with a stub trace to the Land.
When the macro is instantiated in a new design the join of the Land to the stub trace is replaced with a join of a Land to the trace that subsumes the stub in the new design.
The design organization retains knowledge that the original join terminal connected the Land in the macro definition to the
stub trace in the macro definition,
but down-stream applications only have visibility into the join of the new design Land with the new trace.
EXPRESS specification:
*)
ENTITY Interconnect_module_macro_component_join_terminal
SUBTYPE OF (Physical_component_terminal);
SELF\Component_feature.definition : Interconnect_module_macro_terminal;
SELF\Component_feature.associated_definition RENAMED associated_component : Interconnect_module_macro_component;
END_ENTITY;
(*
Attribute definitions:
definition:
specifies a role of the Interconnect_module_macro_terminal for the
Interconnect_module_macro_component_join_terminal.
associated_component:
specifies a role of the Interconnect_module_macro_component for the
Interconnect_module_macro_component_join_terminal.
*)
END_SCHEMA; -- Interconnect_module_with_macros_arm
(*
© ISO 2018 — All rights reserved
