aag 350 22 42 1 286
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46 1
48 32
50 18
52 534
54 36
56 536
58 559
60 598
62 20
64 600
66 619
68 42
70 625
72 2
74 30
76 12
78 4
80 38
82 626
84 635
86 638
88 640
90 44
92 34
94 644
96 655
98 8
100 656
102 6
104 28
106 660
108 668
110 676
112 688
114 698
116 10
118 147
120 24
122 40
124 26
126 22
128 700
490
130 24 3
132 28 5
134 133 131
136 34 7
138 137 134
140 38 11
142 141 138
144 118 46
146 145 142
148 98 46
150 149 8
152 148 9
154 153 151
156 1

... [truncated 24.3 kB]

ecide =  controllable_ndecide;
   reg_controllable_locked =  controllable_locked;
   reg_controllable_nhgrant0 =  controllable_nhgrant0;
   reg_controllable_hgrant1 =  controllable_hgrant1;
   reg_controllable_hgrant2 =  controllable_hgrant2;
   reg_controllable_hgrant3 =  controllable_hgrant3;
   reg_controllable_busreq =  controllable_busreq;

 end
endmodule

-------------------------------
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 7/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 2.46815 [SYNTCOMP2014-RealSeq]
#.