PropertyTGBA_Requirement (Model)
Attributes
Attribute name
Description
Acceptance_Condition
Remarks
Aspects
All:
AggregatePort
,
DesignContainer
,
DesignElement
,
TestBench
,
TestBenchType
,
Workflow
TBRequirementsAspect:
TestBench
Containment
Children:
RequirementParameter
,
VTC_BusPortInterface
,
VTC_Signal
,
VTC_SignalPort
,
VTC_SignalPort_Ref
,
VTC_State
,
VTC_Transition
Parents:
TestBench
Formal Specification
Structural Semantics:
CyPhyML.4ml