FFX (Flow Fact in XML) format
Content
- 1 Introduction
- 2 Notation
- 3 Tool Usage
- 4 Top Level Elements
- 5 Control Flow Elements
- 6 Data Flow Elements
- 7 Location Attributes
- 8 Loop Bound Attributes
- 9 Time and Execution Attributes
- 10 Control Flow Properties
- 11 Control Flow Constraints
- 12 Data Flow Properties
- 13 Data Flow Constraints
- 14 Future Developments
- 15 Appendix A: FFX Grammar
- 16 Appendix B: Example – output of oRange tool
9 Time and Execution Attributes
These attributes are part of INFORMATION-ATTRIBUTES and may be put on any element.
TIME-EXECUTION-ATTR ::= | maxtime="INT"? | time="INT"? | mintime="INT"? | freq="INT"? | maxfreq="INT"? | minfreq="INT"?
| Attribute | Description |
|---|---|
| maxtime, time | maximum time, in cycle, overall executions of the block |
| mintime | minimum time, in cycle, overall executions of the block |
| maxfreq, freq | the total count of block executions in the worse case |
| minfreq | the total count of block executions in the best case |