LTLSPEC_Requirement (Model)

Attributes

Attribute name Description
LTLSPEC

Remarks

Aspects

All: AggregatePort, DesignContainer, DesignElement, TestBench, TestBenchType, Workflow
TBRequirementsAspect: TestBench

Containment

Children: RequirementParameter, VTC_BusPortInterface, VTC_Signal, VTC_SignalPort, VTC_SignalPort_Ref
Parents: TestBench

Formal Specification

Structural Semantics: CyPhyML.4ml