Example Data: tmp_hio_tu_shuffAB.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"IO shuffle AB" 

% 
%  Statistics for IO shuffle AB
% 
%  States:        37
%  Init/Marked:   1/19
%  Events:        14
%  Transitions:   106
%  StateSymbols:  0
%  Attrib. E/S/T: 14/0/0
% 

<Alphabet>
nack_A        +UE+          pack_A        +UE+          req_fl_A      +YE+         
req_tr_A      +YE+          idle_A        +YP+          l2r_A         +UP+         
stby_A        +UP+          idle_B        +YP+          l2r_B         +UP+         
stby_B        +UP+          req_fl_B      +YE+          req_tr_B      +YE+         
nack_B        +UE+          pack_B        +UE+         
</Alphabet>

<States>
<Consecutive>
1              37            
</Consecutive>
</States>

<TransRel>
2              nack_A        4             
2              pack_A        4             
2              nack_B        4             
2              pack_B        4             
3              idle_A        9             
3              idle_B        23            
4              req_fl_A      2             
4              req_tr_A      2             
4              req_fl_B      2             
4              req_tr_B      2             
5              req_tr_A      17            
6              req_fl_A      19            
7              idle_A        9             
7              idle_B        23            
8              idle_A        14            
8              idle_B        21            
9              l2r_A         6             
9              stby_A        7             
9              l2r_B         26            
9              stby_B        26            
10             idle_A        14            
10             idle_B        21            
11             nack_A        24            
11             pack_A        3             
11             nack_B        37            
11             pack_B        37            
12             req_fl_B      28            
13             req_tr_B      18            
14             l2r_A         25            
14             stby_A        25            
14             l2r_B         25            
14             stby_B        25            
15             l2r_A         34            
15             stby_A        3             
15             l2r_B         25            
15             stby_B        25            
16             l2r_A         8             
16             stby_A        8             
16             l2r_B         8             
16             stby_B        8             
17             nack_A        5             
17             pack_A        7             
17             nack_B        4             
17             pack_B        4             
18             nack_A        4             
18             pack_A        4             
18             nack_B        13            
18             pack_B        30            
19             nack_A        6             
19             pack_A        5             
19             nack_B        4             
19             pack_B        4             
20             l2r_A         26            
20             stby_A        26            
20             l2r_B         26            
20             stby_B        26            
21             l2r_A         10            
21             stby_A        10            
21             l2r_B         10            
21             stby_B        10            
22             nack_A        37            
22             pack_A        37            
22             nack_B        31            
22             pack_B        29            
23             l2r_A         8             
23             stby_A        8             
23             l2r_B         35            
23             stby_B        29            
24             req_tr_A      11            
25             idle_A        20            
25             idle_B        16            
26             idle_A        20            
26             idle_B        16            
27             l2r_A         10            
27             stby_A        10            
27             l2r_B         12            
27             stby_B        30            
28             nack_A        4             
28             pack_A        4             
28             nack_B        12            
28             pack_B        13            
1              idle_A        15            
1              idle_B        23            
29             idle_A        15            
29             idle_B        27            
30             idle_A        15            
30             idle_B        27            
31             req_tr_B      22            
32             nack_A        34            
32             pack_A        24            
32             nack_B        37            
32             pack_B        37            
33             nack_A        37            
33             pack_A        37            
33             nack_B        35            
33             pack_B        31            
34             req_fl_A      32            
35             req_fl_B      33            
36             nack_A        37            
36             pack_A        37            
36             nack_B        37            
36             pack_B        37            
37             req_fl_A      36            
37             req_tr_A      36            
37             req_fl_B      36            
37             req_tr_B      36            
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
1              3              8              11             14             15            
16             22             23             24             25             29            
<Consecutive>
31             37            
</Consecutive>
</MarkedStates>


</Generator>

 

 

libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"