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