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