Task: Verify timing [Oper]
Direct and Derived timing properties are compared with the (transformed) Timing Requirements
Relationships
Inputs
Mandatory:
Analysis report [Oper]
Physical EE system
Timing properties [Oper]
Timing requirements [Impl]
Optional:
None
Outputs
Verification report [Oper]
Process Usage
Generic timing methodology with abstraction levels
>
Operation
>
Verify timing [Oper]