|
ENTITY Functional_specification; associated_definition : Functional_specification_definition; reference_signal : SET [1:?] OF Signal_specification; characterizing_functional_unit : Functional_unit; characterizing_signal : SET [1:?] OF Signal_specification; INVERSE characteristic_category : External_source_identification FOR item; WHERE WR1: characterizing_functional_unit.composed_network = associated_definition; END_ENTITY; -- Functional_specification |
Entity data types and their attributesFunctional_specificationassociated_definition: Functional_specification_definition; reference_signal: SET [1:?] OF Signal_specification; characterizing_functional_unit: Functional_unit; characterizing_signal: SET [1:?] OF Signal_specification; (INV) characteristic_category: External_source_identification FOR item; |
Global rules for this entity data type- |