DesignEntityRef (Reference to
DesignEntity
)
Inheritance
Ancestors
ImpliesEnd
DesignEntityRef
Remarks
This is a refence to any design entity and is used for specifying impies constraints.
Aspects
DesignSpaceAspect:
DesignContainer
TestBenchCompositionAspect:
Driver
,
ParametricExploration
,
TestBenchSuite
Containment
Parents:
And_Or
,
CWC
,
DecisionGroup
,
TestBenchSuite
,
VisualConstraint
Connections
From node:
Built
Formal Specification
Structural Semantics:
CyPhyML.4ml
Ancestors