FormalRequirement (Atom)

Inheritance

Ancestors

FormalRequirementType

FormalRequirement

Attributes

Attribute name Description
AdditionalToolParameters

Remarks

A formal verification requirement to be evaluated by the PROMISE tool.

Aspects

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

Containment

Parents: Component, ComponentType, FormalRequirementContainer, TestComponent

Formal Specification

Structural Semantics: CyPhyML.4ml