| # This format supports comments using the '#' symbol as the leading |
| # character of the line |
| # |
| # The file format contains [STATE]+ [INIT] [TRANSITION]+ in any order, |
| # where the states are the nodes in the graph, init describes what |
| # state to start in, and transition describes the edges of the graph. |
| # |
| # STATE <id> <duration (ticks)> <type> |
| # |
| # State IDLE idles |
| # |
| # States LINEAR and RANDOM have additional: |
| # STATE = [LINEAR, RANDOM] |
| # <id> |
| # <duration (ticks)> |
| # <type> |
| # <percent reads> |
| # <start addr> |
| # <end addr> |
| # <access size (bytes)> |
| # <min period (ticks)> |
| # <max period (ticks)> |
| # <data limit (bytes)> |
| # |
| # State TRACE plays back a pre-recorded trace once |
| # |
| # Addresses are expressed as decimal numbers, both in the |
| # configuration and the trace file. The period in the linear and |
| # random state is from a uniform random distribution over the |
| # interval. If a specific value is desired, then the min and max can |
| # be set to the same value. |
| STATE 0 100 IDLE |
| STATE 1 10000000 LINEAR 100 2147483648 2181038080 64 30000 30000 0 |
| INIT 0 |
| TRANSITION 0 1 1 |
| TRANSITION 1 0 1 |
