# 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 # # State IDLE idles # # States LINEAR and RANDOM have additional # # # # 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 1000000000 LINEAR 100 0 134217728 64 30000 30000 0 STATE 2 1000000 IDLE STATE 3 1000000000 RANDOM 50 0 134217728 64 28000 32000 0 INIT 0 TRANSITION 0 1 1 TRANSITION 1 2 1 TRANSITION 2 3 1 TRANSITION 3 3 1