InputRangeGuarantee (Atom)

	Attribute name	Description
	Maximum	Maximum value of the input signal.

In a test bench, constrain an input signal to lie within given bounds to support formal verification.

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

• Parents: InputRangeGuarantee_BusPortMap_Container, TestBench

• From node: RangeGuarantee

• Structural Semantics: CyPhyML.4ml