1# Copyright (c) 2015, University of Kaiserslautern
2# All rights reserved.
3# 
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met:
7# 
8# 1. Redistributions of source code must retain the above copyright notice,
9#    this list of conditions and the following disclaimer.
10# 
11# 2. Redistributions in binary form must reproduce the above copyright
12#    notice, this list of conditions and the following disclaimer in the
13#    documentation and/or other materials provided with the distribution.
14# 
15# 3. Neither the name of the copyright holder nor the names of its
16#    contributors may be used to endorse or promote products derived from
17#    this software without specific prior written permission.
18# 
19# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
20# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22# PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER
23# OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
24# EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
25# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
26# PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
27# LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
28# NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
29# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30# 
31# Authors: Matthias Jung
32
33
34# This format supports comments using the '#' symbol as the leading
35# character of the line
36#
37# The file format contains [STATE]+ [INIT] [TRANSITION]+ in any order,
38# where the states are the nodes in the graph, init describes what
39# state to start in, and transition describes the edges of the graph.
40#
41# STATE <id> <duration (ticks)> <type>
42#
43# State IDLE idles
44#
45# States LINEAR and RANDOM have additional <percent reads> <start addr>
46# <end addr> <access size (bytes)> <min period (ticks)> <max period (ticks)>
47# <data limit (bytes)>
48#
49# State TRACE plays back a pre-recorded trace once
50#
51# Addresses are expressed as decimal numbers. The period in the linear
52# and random state is from a uniform random distribution over the
53# interval. If a specific value is desired, then the min and max can
54# be set to the same value.
55STATE 0 1000000 LINEAR 50 0 256 4 5000 5000 64
56INIT 0
57TRANSITION 0 0 1
58