projects / OpenSPARC-T2-DV / blame
? search:
summary | tags | clone url | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Initial commit of OpenSPARC T2 design and verification files.
[OpenSPARC-T2-DV] / verif / env / common / coverage / dmu / dmu_int_controller.vrhpal
CommitLineData
86530b38
AT		 1// ========== Copyright Header Begin ==========================================
2//
3// OpenSPARC T2 Processor File: dmu_int_controller.vrhpal
4// Copyright (C) 1995-2007 Sun Microsystems, Inc. All Rights Reserved
5// 4150 Network Circle, Santa Clara, California 95054, U.S.A.
6//
7// * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
8//
9// This program is free software; you can redistribute it and/or modify
10// it under the terms of the GNU General Public License as published by
11// the Free Software Foundation; version 2 of the License.
12//
13// This program is distributed in the hope that it will be useful,
14// but WITHOUT ANY WARRANTY; without even the implied warranty of
15// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16// GNU General Public License for more details.
17//
18// You should have received a copy of the GNU General Public License
19// along with this program; if not, write to the Free Software
20// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21//
22// For the avoidance of doubt, and except that if any non-GPL license
23// choice is available it will apply instead, Sun elects to use only
24// the General Public License version 2 (GPLv2) at this time for any
25// software where a choice of GPL license versions is made
26// available with the language indicating that GPLv2 or any later version
27// may be used, or where a choice of which version of the GPL is applied is
28// otherwise unspecified.
29//
30// Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
31// CA 95054 USA or visit www.sun.com if you need additional information or
32// have any questions.
33//
34// ========== Copyright Header End ============================================
35sample dmu_intctl_fsm_bind.\$dmu_intcnt_fsm_state
36{
37
38// dmu int controller 0 changing state independent of others
39//1
40 trans t_IDLE_IDLE_IDLE_IDLEtoARRQ (8'b00_00_00_00 -> 8'b00_00_00_01);
41 trans t_IDLE_IDLE_IDLE_ARRQtoW4RP (8'b00_00_00_01 -> 8'b00_00_00_10);
42 trans t_IDLE_IDLE_IDLE_W4RPtoIDLE (8'b00_00_00_10 -> 8'b00_00_00_00);
43 trans t_IDLE_IDLE_IDLE_W4RPtoARRQ (8'b00_00_00_10 -> 8'b00_00_00_01);
44 trans t_IDLE_IDLE_IDLE_W4RPtoRETY (8'b00_00_00_10 -> 8'b00_00_00_11);
45 trans t_IDLE_IDLE_IDLE_RETYtoIDLE (8'b00_00_00_11 -> 8'b00_00_00_00);
46
47 trans t_IDLE_IDLE_ARRQ_IDLEtoARRQ (8'b00_00_01_00 -> 8'b00_00_01_01);
48 trans t_IDLE_IDLE_ARRQ_ARRQtoW4RP (8'b00_00_01_01 -> 8'b00_00_01_10);
49 trans t_IDLE_IDLE_ARRQ_W4RPtoIDLE (8'b00_00_01_10 -> 8'b00_00_01_00);
50 trans t_IDLE_IDLE_ARRQ_W4RPtoARRQ (8'b00_00_01_10 -> 8'b00_00_01_01);
51 trans t_IDLE_IDLE_ARRQ_W4RPtoRETY (8'b00_00_01_10 -> 8'b00_00_01_11);
52 trans t_IDLE_IDLE_ARRQ_RETYtoIDLE (8'b00_00_01_11 -> 8'b00_00_01_00);
53
54 trans t_IDLE_IDLE_W4RP_IDLEtoARRQ (8'b00_00_10_00 -> 8'b00_00_10_01);
55 trans t_IDLE_IDLE_W4RP_ARRQtoW4RP (8'b00_00_10_01 -> 8'b00_00_10_10);
56 trans t_IDLE_IDLE_W4RP_W4RPtoIDLE (8'b00_00_10_10 -> 8'b00_00_10_00);
57 trans t_IDLE_IDLE_W4RP_W4RPtoARRQ (8'b00_00_10_10 -> 8'b00_00_10_01);
58 trans t_IDLE_IDLE_W4RP_W4RPtoRETY (8'b00_00_10_10 -> 8'b00_00_10_11);
59 trans t_IDLE_IDLE_W4RP_RETYtoIDLE (8'b00_00_10_11 -> 8'b00_00_10_00);
60
61 trans t_IDLE_IDLE_RETY_IDLEtoARRQ (8'b00_00_11_00 -> 8'b00_00_11_01);
62 trans t_IDLE_IDLE_RETY_ARRQtoW4RP (8'b00_00_11_01 -> 8'b00_00_11_10);
63 trans t_IDLE_IDLE_RETY_W4RPtoIDLE (8'b00_00_11_10 -> 8'b00_00_11_00);
64 trans t_IDLE_IDLE_RETY_W4RPtoARRQ (8'b00_00_11_10 -> 8'b00_00_11_01);
65 trans t_IDLE_IDLE_RETY_W4RPtoRETY (8'b00_00_11_10 -> 8'b00_00_11_11);
66 trans t_IDLE_IDLE_RETY_RETYtoIDLE (8'b00_00_11_11 -> 8'b00_00_11_00);
67
68//2
69 trans t_IDLE_ARRQ_IDLE_IDLEtoARRQ (8'b00_01_00_00 -> 8'b00_01_00_01);
70 trans t_IDLE_ARRQ_IDLE_ARRQtoW4RP (8'b00_01_00_01 -> 8'b00_01_00_10);
71 trans t_IDLE_ARRQ_IDLE_W4RPtoIDLE (8'b00_01_00_10 -> 8'b00_01_00_00);
72 trans t_IDLE_ARRQ_IDLE_W4RPtoARRQ (8'b00_01_00_10 -> 8'b00_01_00_01);
73 trans t_IDLE_ARRQ_IDLE_W4RPtoRETY (8'b00_01_00_10 -> 8'b00_01_00_11);
74 trans t_IDLE_ARRQ_IDLE_RETYtoIDLE (8'b00_01_00_11 -> 8'b00_01_00_00);
75
76 trans t_IDLE_ARRQ_ARRQ_IDLEtoARRQ (8'b00_01_01_00 -> 8'b00_01_01_01);
77 trans t_IDLE_ARRQ_ARRQ_ARRQtoW4RP (8'b00_01_01_01 -> 8'b00_01_01_10);
78 trans t_IDLE_ARRQ_ARRQ_W4RPtoIDLE (8'b00_01_01_10 -> 8'b00_01_01_00);
79 trans t_IDLE_ARRQ_ARRQ_W4RPtoARRQ (8'b00_01_01_10 -> 8'b00_01_01_01);
80 trans t_IDLE_ARRQ_ARRQ_W4RPtoRETY (8'b00_01_01_10 -> 8'b00_01_01_11);
81 trans t_IDLE_ARRQ_ARRQ_RETYtoIDLE (8'b00_01_01_11 -> 8'b00_01_01_00);
82
83 trans t_IDLE_ARRQ_W4RP_IDLEtoARRQ (8'b00_01_10_00 -> 8'b00_01_10_01);
84 trans t_IDLE_ARRQ_W4RP_ARRQtoW4RP (8'b00_01_10_01 -> 8'b00_01_10_10);
85 trans t_IDLE_ARRQ_W4RP_W4RPtoIDLE (8'b00_01_10_10 -> 8'b00_01_10_00);
86 trans t_IDLE_ARRQ_W4RP_W4RPtoARRQ (8'b00_01_10_10 -> 8'b00_01_10_01);
87 trans t_IDLE_ARRQ_W4RP_W4RPtoRETY (8'b00_01_10_10 -> 8'b00_01_10_11);
88 trans t_IDLE_ARRQ_W4RP_RETYtoIDLE (8'b00_01_10_11 -> 8'b00_01_10_00);
89
90 trans t_IDLE_ARRQ_RETY_IDLEtoARRQ (8'b00_01_11_00 -> 8'b00_01_11_01);
91 trans t_IDLE_ARRQ_RETY_ARRQtoW4RP (8'b00_01_11_01 -> 8'b00_01_11_10);
92 trans t_IDLE_ARRQ_RETY_W4RPtoIDLE (8'b00_01_11_10 -> 8'b00_01_11_00);
93 trans t_IDLE_ARRQ_RETY_W4RPtoARRQ (8'b00_01_11_10 -> 8'b00_01_11_01);
94 trans t_IDLE_ARRQ_RETY_W4RPtoRETY (8'b00_01_11_10 -> 8'b00_01_11_11);
95 trans t_IDLE_ARRQ_RETY_RETYtoIDLE (8'b00_01_11_11 -> 8'b00_01_11_00);
96
97//3
98 trans t_IDLE_W4RP_IDLE_IDLEtoARRQ (8'b00_10_00_00 -> 8'b00_10_00_01);
99 trans t_IDLE_W4RP_IDLE_ARRQtoW4RP (8'b00_10_00_01 -> 8'b00_10_00_10);
100 trans t_IDLE_W4RP_IDLE_W4RPtoIDLE (8'b00_10_00_10 -> 8'b00_10_00_00);
101 trans t_IDLE_W4RP_IDLE_W4RPtoARRQ (8'b00_10_00_10 -> 8'b00_10_00_01);
102 trans t_IDLE_W4RP_IDLE_W4RPtoRETY (8'b00_10_00_10 -> 8'b00_10_00_11);
103 trans t_IDLE_W4RP_IDLE_RETYtoIDLE (8'b00_10_00_11 -> 8'b00_10_00_00);
104
105 trans t_IDLE_W4RP_ARRQ_IDLEtoARRQ (8'b00_10_01_00 -> 8'b00_10_01_01);
106 trans t_IDLE_W4RP_ARRQ_ARRQtoW4RP (8'b00_10_01_01 -> 8'b00_10_01_10);
107 trans t_IDLE_W4RP_ARRQ_W4RPtoIDLE (8'b00_10_01_10 -> 8'b00_10_01_00);
108 trans t_IDLE_W4RP_ARRQ_W4RPtoARRQ (8'b00_10_01_10 -> 8'b00_10_01_01);
109 trans t_IDLE_W4RP_ARRQ_W4RPtoRETY (8'b00_10_01_10 -> 8'b00_10_01_11);
110 trans t_IDLE_W4RP_ARRQ_RETYtoIDLE (8'b00_10_01_11 -> 8'b00_10_01_00);
111
112 trans t_IDLE_W4RP_W4RP_IDLEtoARRQ (8'b00_10_10_00 -> 8'b00_10_10_01);
113 trans t_IDLE_W4RP_W4RP_ARRQtoW4RP (8'b00_10_10_01 -> 8'b00_10_10_10);
114 trans t_IDLE_W4RP_W4RP_W4RPtoIDLE (8'b00_10_10_10 -> 8'b00_10_10_00);
115 trans t_IDLE_W4RP_W4RP_W4RPtoARRQ (8'b00_10_10_10 -> 8'b00_10_10_01);
116 trans t_IDLE_W4RP_W4RP_W4RPtoRETY (8'b00_10_10_10 -> 8'b00_10_10_11);
117 trans t_IDLE_W4RP_W4RP_RETYtoIDLE (8'b00_10_10_11 -> 8'b00_10_10_00);
118
119 trans t_IDLE_W4RP_RETY_IDLEtoARRQ (8'b00_10_11_00 -> 8'b00_10_11_01);
120 trans t_IDLE_W4RP_RETY_ARRQtoW4RP (8'b00_10_11_01 -> 8'b00_10_11_10);
121 trans t_IDLE_W4RP_RETY_W4RPtoIDLE (8'b00_10_11_10 -> 8'b00_10_11_00);
122 trans t_IDLE_W4RP_RETY_W4RPtoARRQ (8'b00_10_11_10 -> 8'b00_10_11_01);
123 trans t_IDLE_W4RP_RETY_W4RPtoRETY (8'b00_10_11_10 -> 8'b00_10_11_11);
124 trans t_IDLE_W4RP_RETY_RETYtoIDLE (8'b00_10_11_11 -> 8'b00_10_11_00);
125
126//4
127 trans t_IDLE_RETY_IDLE_IDLEtoARRQ (8'b00_11_00_00 -> 8'b00_11_00_01);
128 trans t_IDLE_RETY_IDLE_ARRQtoW4RP (8'b00_11_00_01 -> 8'b00_11_00_10);
129 trans t_IDLE_RETY_IDLE_W4RPtoIDLE (8'b00_11_00_10 -> 8'b00_11_00_00);
130 trans t_IDLE_RETY_IDLE_W4RPtoARRQ (8'b00_11_00_10 -> 8'b00_11_00_01);
131 trans t_IDLE_RETY_IDLE_W4RPtoRETY (8'b00_11_00_10 -> 8'b00_11_00_11);
132 trans t_IDLE_RETY_IDLE_RETYtoIDLE (8'b00_11_00_11 -> 8'b00_11_00_00);
133
134 trans t_IDLE_RETY_ARRQ_IDLEtoARRQ (8'b00_11_01_00 -> 8'b00_11_01_01);
135 trans t_IDLE_RETY_ARRQ_ARRQtoW4RP (8'b00_11_01_01 -> 8'b00_11_01_10);
136 trans t_IDLE_RETY_ARRQ_W4RPtoIDLE (8'b00_11_01_10 -> 8'b00_11_01_00);
137 trans t_IDLE_RETY_ARRQ_W4RPtoARRQ (8'b00_11_01_10 -> 8'b00_11_01_01);
138 trans t_IDLE_RETY_ARRQ_W4RPtoRETY (8'b00_11_01_10 -> 8'b00_11_01_11);
139 trans t_IDLE_RETY_ARRQ_RETYtoIDLE (8'b00_11_01_11 -> 8'b00_11_01_00);
140
141 trans t_IDLE_RETY_W4RP_IDLEtoARRQ (8'b00_11_10_00 -> 8'b00_11_10_01);
142 trans t_IDLE_RETY_W4RP_ARRQtoW4RP (8'b00_11_10_01 -> 8'b00_11_10_10);
143 trans t_IDLE_RETY_W4RP_W4RPtoIDLE (8'b00_11_10_10 -> 8'b00_11_10_00);
144 trans t_IDLE_RETY_W4RP_W4RPtoARRQ (8'b00_11_10_10 -> 8'b00_11_10_01);
145 trans t_IDLE_RETY_W4RP_W4RPtoRETY (8'b00_11_10_10 -> 8'b00_11_10_11);
146 trans t_IDLE_RETY_W4RP_RETYtoIDLE (8'b00_11_10_11 -> 8'b00_11_10_00);
147
148 trans t_IDLE_RETY_RETY_IDLEtoARRQ (8'b00_11_11_00 -> 8'b00_11_11_01);
149 trans t_IDLE_RETY_RETY_ARRQtoW4RP (8'b00_11_11_01 -> 8'b00_11_11_10);
150 trans t_IDLE_RETY_RETY_W4RPtoIDLE (8'b00_11_11_10 -> 8'b00_11_11_00);
151 trans t_IDLE_RETY_RETY_W4RPtoARRQ (8'b00_11_11_10 -> 8'b00_11_11_01);
152 trans t_IDLE_RETY_RETY_W4RPtoRETY (8'b00_11_11_10 -> 8'b00_11_11_11);
153 trans t_IDLE_RETY_RETY_RETYtoIDLE (8'b00_11_11_11 -> 8'b00_11_11_00);
154
155//5
156 trans t_ARRQ_IDLE_IDLE_IDLEtoARRQ (8'b01_00_00_00 -> 8'b01_00_00_01);
157 trans t_ARRQ_IDLE_IDLE_ARRQtoW4RP (8'b01_00_00_01 -> 8'b01_00_00_10);
158 trans t_ARRQ_IDLE_IDLE_W4RPtoIDLE (8'b01_00_00_10 -> 8'b01_00_00_00);
159 trans t_ARRQ_IDLE_IDLE_W4RPtoARRQ (8'b01_00_00_10 -> 8'b01_00_00_01);
160 trans t_ARRQ_IDLE_IDLE_W4RPtoRETY (8'b01_00_00_10 -> 8'b01_00_00_11);
161 trans t_ARRQ_IDLE_IDLE_RETYtoIDLE (8'b01_00_00_11 -> 8'b01_00_00_00);
162
163 trans t_ARRQ_IDLE_ARRQ_IDLEtoARRQ (8'b01_00_01_00 -> 8'b01_00_01_01);
164 trans t_ARRQ_IDLE_ARRQ_ARRQtoW4RP (8'b01_00_01_01 -> 8'b01_00_01_10);
165 trans t_ARRQ_IDLE_ARRQ_W4RPtoIDLE (8'b01_00_01_10 -> 8'b01_00_01_00);
166 trans t_ARRQ_IDLE_ARRQ_W4RPtoARRQ (8'b01_00_01_10 -> 8'b01_00_01_01);
167 trans t_ARRQ_IDLE_ARRQ_W4RPtoRETY (8'b01_00_01_10 -> 8'b01_00_01_11);
168 trans t_ARRQ_IDLE_ARRQ_RETYtoIDLE (8'b01_00_01_11 -> 8'b01_00_01_00);
169
170 trans t_ARRQ_IDLE_W4RP_IDLEtoARRQ (8'b01_00_10_00 -> 8'b01_00_10_01);
171 trans t_ARRQ_IDLE_W4RP_ARRQtoW4RP (8'b01_00_10_01 -> 8'b01_00_10_10);
172 trans t_ARRQ_IDLE_W4RP_W4RPtoIDLE (8'b01_00_10_10 -> 8'b01_00_10_00);
173 trans t_ARRQ_IDLE_W4RP_W4RPtoARRQ (8'b01_00_10_10 -> 8'b01_00_10_01);
174 trans t_ARRQ_IDLE_W4RP_W4RPtoRETY (8'b01_00_10_10 -> 8'b01_00_10_11);
175 trans t_ARRQ_IDLE_W4RP_RETYtoIDLE (8'b01_00_10_11 -> 8'b01_00_10_00);
176
177 trans t_ARRQ_IDLE_RETY_IDLEtoARRQ (8'b01_00_11_00 -> 8'b01_00_11_01);
178 trans t_ARRQ_IDLE_RETY_ARRQtoW4RP (8'b01_00_11_01 -> 8'b01_00_11_10);
179 trans t_ARRQ_IDLE_RETY_W4RPtoIDLE (8'b01_00_11_10 -> 8'b01_00_11_00);
180 trans t_ARRQ_IDLE_RETY_W4RPtoARRQ (8'b01_00_11_10 -> 8'b01_00_11_01);
181 trans t_ARRQ_IDLE_RETY_W4RPtoRETY (8'b01_00_11_10 -> 8'b01_00_11_11);
182 trans t_ARRQ_IDLE_RETY_RETYtoIDLE (8'b01_00_11_11 -> 8'b01_00_11_00);
183
184//6
185 trans t_ARRQ_ARRQ_IDLE_IDLEtoARRQ (8'b01_01_00_00 -> 8'b01_01_00_01);
186 trans t_ARRQ_ARRQ_IDLE_ARRQtoW4RP (8'b01_01_00_01 -> 8'b01_01_00_10);
187 trans t_ARRQ_ARRQ_IDLE_W4RPtoIDLE (8'b01_01_00_10 -> 8'b01_01_00_00);
188 trans t_ARRQ_ARRQ_IDLE_W4RPtoARRQ (8'b01_01_00_10 -> 8'b01_01_00_01);
189 trans t_ARRQ_ARRQ_IDLE_W4RPtoRETY (8'b01_01_00_10 -> 8'b01_01_00_11);
190 trans t_ARRQ_ARRQ_IDLE_RETYtoIDLE (8'b01_01_00_11 -> 8'b01_01_00_00);
191
192 trans t_ARRQ_ARRQ_ARRQ_IDLEtoARRQ (8'b01_01_01_00 -> 8'b01_01_01_01);
193 trans t_ARRQ_ARRQ_ARRQ_ARRQtoW4RP (8'b01_01_01_01 -> 8'b01_01_01_10);
194 trans t_ARRQ_ARRQ_ARRQ_W4RPtoIDLE (8'b01_01_01_10 -> 8'b01_01_01_00);
195 trans t_ARRQ_ARRQ_ARRQ_W4RPtoARRQ (8'b01_01_01_10 -> 8'b01_01_01_01);
196 trans t_ARRQ_ARRQ_ARRQ_W4RPtoRETY (8'b01_01_01_10 -> 8'b01_01_01_11);
197 trans t_ARRQ_ARRQ_ARRQ_RETYtoIDLE (8'b01_01_01_11 -> 8'b01_01_01_00);
198
199 trans t_ARRQ_ARRQ_W4RP_IDLEtoARRQ (8'b01_01_10_00 -> 8'b01_01_10_01);
200 trans t_ARRQ_ARRQ_W4RP_ARRQtoW4RP (8'b01_01_10_01 -> 8'b01_01_10_10);
201 trans t_ARRQ_ARRQ_W4RP_W4RPtoIDLE (8'b01_01_10_10 -> 8'b01_01_10_00);
202 trans t_ARRQ_ARRQ_W4RP_W4RPtoARRQ (8'b01_01_10_10 -> 8'b01_01_10_01);
203 trans t_ARRQ_ARRQ_W4RP_W4RPtoRETY (8'b01_01_10_10 -> 8'b01_01_10_11);
204 trans t_ARRQ_ARRQ_W4RP_RETYtoIDLE (8'b01_01_10_11 -> 8'b01_01_10_00);
205
206 trans t_ARRQ_ARRQ_RETY_IDLEtoARRQ (8'b01_01_11_00 -> 8'b01_01_11_01);
207 trans t_ARRQ_ARRQ_RETY_ARRQtoW4RP (8'b01_01_11_01 -> 8'b01_01_11_10);
208 trans t_ARRQ_ARRQ_RETY_W4RPtoIDLE (8'b01_01_11_10 -> 8'b01_01_11_00);
209 trans t_ARRQ_ARRQ_RETY_W4RPtoARRQ (8'b01_01_11_10 -> 8'b01_01_11_01);
210 trans t_ARRQ_ARRQ_RETY_W4RPtoRETY (8'b01_01_11_10 -> 8'b01_01_11_11);
211 trans t_ARRQ_ARRQ_RETY_RETYtoIDLE (8'b01_01_11_11 -> 8'b01_01_11_00);
212
213//7
214 trans t_ARRQ_W4RP_IDLE_IDLEtoARRQ (8'b01_10_00_00 -> 8'b01_10_00_01);
215 trans t_ARRQ_W4RP_IDLE_ARRQtoW4RP (8'b01_10_00_01 -> 8'b01_10_00_10);
216 trans t_ARRQ_W4RP_IDLE_W4RPtoIDLE (8'b01_10_00_10 -> 8'b01_10_00_00);
217 trans t_ARRQ_W4RP_IDLE_W4RPtoARRQ (8'b01_10_00_10 -> 8'b01_10_00_01);
218 trans t_ARRQ_W4RP_IDLE_W4RPtoRETY (8'b01_10_00_10 -> 8'b01_10_00_11);
219 trans t_ARRQ_W4RP_IDLE_RETYtoIDLE (8'b01_10_00_11 -> 8'b01_10_00_00);
220
221 trans t_ARRQ_W4RP_ARRQ_IDLEtoARRQ (8'b01_10_01_00 -> 8'b01_10_01_01);
222 trans t_ARRQ_W4RP_ARRQ_ARRQtoW4RP (8'b01_10_01_01 -> 8'b01_10_01_10);
223 trans t_ARRQ_W4RP_ARRQ_W4RPtoIDLE (8'b01_10_01_10 -> 8'b01_10_01_00);
224 trans t_ARRQ_W4RP_ARRQ_W4RPtoARRQ (8'b01_10_01_10 -> 8'b01_10_01_01);
225 trans t_ARRQ_W4RP_ARRQ_W4RPtoRETY (8'b01_10_01_10 -> 8'b01_10_01_11);
226 trans t_ARRQ_W4RP_ARRQ_RETYtoIDLE (8'b01_10_01_11 -> 8'b01_10_01_00);
227
228 trans t_ARRQ_W4RP_W4RP_IDLEtoARRQ (8'b01_10_10_00 -> 8'b01_10_10_01);
229 trans t_ARRQ_W4RP_W4RP_ARRQtoW4RP (8'b01_10_10_01 -> 8'b01_10_10_10);
230 trans t_ARRQ_W4RP_W4RP_W4RPtoIDLE (8'b01_10_10_10 -> 8'b01_10_10_00);
231 trans t_ARRQ_W4RP_W4RP_W4RPtoARRQ (8'b01_10_10_10 -> 8'b01_10_10_01);
232 trans t_ARRQ_W4RP_W4RP_W4RPtoRETY (8'b01_10_10_10 -> 8'b01_10_10_11);
233 trans t_ARRQ_W4RP_W4RP_RETYtoIDLE (8'b01_10_10_11 -> 8'b01_10_10_00);
234
235 trans t_ARRQ_W4RP_RETY_IDLEtoARRQ (8'b01_10_11_00 -> 8'b01_10_11_01);
236 trans t_ARRQ_W4RP_RETY_ARRQtoW4RP (8'b01_10_11_01 -> 8'b01_10_11_10);
237 trans t_ARRQ_W4RP_RETY_W4RPtoIDLE (8'b01_10_11_10 -> 8'b01_10_11_00);
238 trans t_ARRQ_W4RP_RETY_W4RPtoARRQ (8'b01_10_11_10 -> 8'b01_10_11_01);
239 trans t_ARRQ_W4RP_RETY_W4RPtoRETY (8'b01_10_11_10 -> 8'b01_10_11_11);
240 trans t_ARRQ_W4RP_RETY_RETYtoIDLE (8'b01_10_11_11 -> 8'b01_10_11_00);
241
242//8
243 trans t_ARRQ_RETY_IDLE_IDLEtoARRQ (8'b01_11_00_00 -> 8'b01_11_00_01);
244 trans t_ARRQ_RETY_IDLE_ARRQtoW4RP (8'b01_11_00_01 -> 8'b01_11_00_10);
245 trans t_ARRQ_RETY_IDLE_W4RPtoIDLE (8'b01_11_00_10 -> 8'b01_11_00_00);
246 trans t_ARRQ_RETY_IDLE_W4RPtoARRQ (8'b01_11_00_10 -> 8'b01_11_00_01);
247 trans t_ARRQ_RETY_IDLE_W4RPtoRETY (8'b01_11_00_10 -> 8'b01_11_00_11);
248 trans t_ARRQ_RETY_IDLE_RETYtoIDLE (8'b01_11_00_11 -> 8'b01_11_00_00);
249
250 trans t_ARRQ_RETY_ARRQ_IDLEtoARRQ (8'b01_11_01_00 -> 8'b01_11_01_01);
251 trans t_ARRQ_RETY_ARRQ_ARRQtoW4RP (8'b01_11_01_01 -> 8'b01_11_01_10);
252 trans t_ARRQ_RETY_ARRQ_W4RPtoIDLE (8'b01_11_01_10 -> 8'b01_11_01_00);
253 trans t_ARRQ_RETY_ARRQ_W4RPtoARRQ (8'b01_11_01_10 -> 8'b01_11_01_01);
254 trans t_ARRQ_RETY_ARRQ_W4RPtoRETY (8'b01_11_01_10 -> 8'b01_11_01_11);
255 trans t_ARRQ_RETY_ARRQ_RETYtoIDLE (8'b01_11_01_11 -> 8'b01_11_01_00);
256
257 trans t_ARRQ_RETY_W4RP_IDLEtoARRQ (8'b01_11_10_00 -> 8'b01_11_10_01);
258 trans t_ARRQ_RETY_W4RP_ARRQtoW4RP (8'b01_11_10_01 -> 8'b01_11_10_10);
259 trans t_ARRQ_RETY_W4RP_W4RPtoIDLE (8'b01_11_10_10 -> 8'b01_11_10_00);
260 trans t_ARRQ_RETY_W4RP_W4RPtoARRQ (8'b01_11_10_10 -> 8'b01_11_10_01);
261 trans t_ARRQ_RETY_W4RP_W4RPtoRETY (8'b01_11_10_10 -> 8'b01_11_10_11);
262 trans t_ARRQ_RETY_W4RP_RETYtoIDLE (8'b01_11_10_11 -> 8'b01_11_10_00);
263
264 trans t_ARRQ_RETY_RETY_IDLEtoARRQ (8'b01_11_11_00 -> 8'b01_11_11_01);
265 trans t_ARRQ_RETY_RETY_ARRQtoW4RP (8'b01_11_11_01 -> 8'b01_11_11_10);
266 trans t_ARRQ_RETY_RETY_W4RPtoIDLE (8'b01_11_11_10 -> 8'b01_11_11_00);
267 trans t_ARRQ_RETY_RETY_W4RPtoARRQ (8'b01_11_11_10 -> 8'b01_11_11_01);
268 trans t_ARRQ_RETY_RETY_W4RPtoRETY (8'b01_11_11_10 -> 8'b01_11_11_11);
269 trans t_ARRQ_RETY_RETY_RETYtoIDLE (8'b01_11_11_11 -> 8'b01_11_11_00);
270
271//9
272 trans t_W4RP_IDLE_IDLE_IDLEtoARRQ (8'b10_00_00_00 -> 8'b10_00_00_01);
273 trans t_W4RP_IDLE_IDLE_ARRQtoW4RP (8'b10_00_00_01 -> 8'b10_00_00_10);
274 trans t_W4RP_IDLE_IDLE_W4RPtoIDLE (8'b10_00_00_10 -> 8'b10_00_00_00);
275 trans t_W4RP_IDLE_IDLE_W4RPtoARRQ (8'b10_00_00_10 -> 8'b10_00_00_01);
276 trans t_W4RP_IDLE_IDLE_W4RPtoRETY (8'b10_00_00_10 -> 8'b10_00_00_11);
277 trans t_W4RP_IDLE_IDLE_RETYtoIDLE (8'b10_00_00_11 -> 8'b10_00_00_00);
278
279 trans t_W4RP_IDLE_ARRQ_IDLEtoARRQ (8'b10_00_01_00 -> 8'b10_00_01_01);
280 trans t_W4RP_IDLE_ARRQ_ARRQtoW4RP (8'b10_00_01_01 -> 8'b10_00_01_10);
281 trans t_W4RP_IDLE_ARRQ_W4RPtoIDLE (8'b10_00_01_10 -> 8'b10_00_01_00);
282 trans t_W4RP_IDLE_ARRQ_W4RPtoARRQ (8'b10_00_01_10 -> 8'b10_00_01_01);
283 trans t_W4RP_IDLE_ARRQ_W4RPtoRETY (8'b10_00_01_10 -> 8'b10_00_01_11);
284 trans t_W4RP_IDLE_ARRQ_RETYtoIDLE (8'b10_00_01_11 -> 8'b10_00_01_00);
285
286 trans t_W4RP_IDLE_W4RP_IDLEtoARRQ (8'b10_00_10_00 -> 8'b10_00_10_01);
287 trans t_W4RP_IDLE_W4RP_ARRQtoW4RP (8'b10_00_10_01 -> 8'b10_00_10_10);
288 trans t_W4RP_IDLE_W4RP_W4RPtoIDLE (8'b10_00_10_10 -> 8'b10_00_10_00);
289 trans t_W4RP_IDLE_W4RP_W4RPtoARRQ (8'b10_00_10_10 -> 8'b10_00_10_01);
290 trans t_W4RP_IDLE_W4RP_W4RPtoRETY (8'b10_00_10_10 -> 8'b10_00_10_11);
291 trans t_W4RP_IDLE_W4RP_RETYtoIDLE (8'b10_00_10_11 -> 8'b10_00_10_00);
292
293 trans t_W4RP_IDLE_RETY_IDLEtoARRQ (8'b10_00_11_00 -> 8'b10_00_11_01);
294 trans t_W4RP_IDLE_RETY_ARRQtoW4RP (8'b10_00_11_01 -> 8'b10_00_11_10);
295 trans t_W4RP_IDLE_RETY_W4RPtoIDLE (8'b10_00_11_10 -> 8'b10_00_11_00);
296 trans t_W4RP_IDLE_RETY_W4RPtoARRQ (8'b10_00_11_10 -> 8'b10_00_11_01);
297 trans t_W4RP_IDLE_RETY_W4RPtoRETY (8'b10_00_11_10 -> 8'b10_00_11_11);
298 trans t_W4RP_IDLE_RETY_RETYtoIDLE (8'b10_00_11_11 -> 8'b10_00_11_00);
299
300//10
301 trans t_W4RP_ARRQ_IDLE_IDLEtoARRQ (8'b10_01_00_00 -> 8'b10_01_00_01);
302 trans t_W4RP_ARRQ_IDLE_ARRQtoW4RP (8'b10_01_00_01 -> 8'b10_01_00_10);
303 trans t_W4RP_ARRQ_IDLE_W4RPtoIDLE (8'b10_01_00_10 -> 8'b10_01_00_00);
304 trans t_W4RP_ARRQ_IDLE_W4RPtoARRQ (8'b10_01_00_10 -> 8'b10_01_00_01);
305 trans t_W4RP_ARRQ_IDLE_W4RPtoRETY (8'b10_01_00_10 -> 8'b10_01_00_11);
306 trans t_W4RP_ARRQ_IDLE_RETYtoIDLE (8'b10_01_00_11 -> 8'b10_01_00_00);
307
308 trans t_W4RP_ARRQ_ARRQ_IDLEtoARRQ (8'b10_01_01_00 -> 8'b10_01_01_01);
309 trans t_W4RP_ARRQ_ARRQ_ARRQtoW4RP (8'b10_01_01_01 -> 8'b10_01_01_10);
310 trans t_W4RP_ARRQ_ARRQ_W4RPtoIDLE (8'b10_01_01_10 -> 8'b10_01_01_00);
311 trans t_W4RP_ARRQ_ARRQ_W4RPtoARRQ (8'b10_01_01_10 -> 8'b10_01_01_01);
312 trans t_W4RP_ARRQ_ARRQ_W4RPtoRETY (8'b10_01_01_10 -> 8'b10_01_01_11);
313 trans t_W4RP_ARRQ_ARRQ_RETYtoIDLE (8'b10_01_01_11 -> 8'b10_01_01_00);
314
315 trans t_W4RP_ARRQ_W4RP_IDLEtoARRQ (8'b10_01_10_00 -> 8'b10_01_10_01);
316 trans t_W4RP_ARRQ_W4RP_ARRQtoW4RP (8'b10_01_10_01 -> 8'b10_01_10_10);
317 trans t_W4RP_ARRQ_W4RP_W4RPtoIDLE (8'b10_01_10_10 -> 8'b10_01_10_00);
318 trans t_W4RP_ARRQ_W4RP_W4RPtoARRQ (8'b10_01_10_10 -> 8'b10_01_10_01);
319 trans t_W4RP_ARRQ_W4RP_W4RPtoRETY (8'b10_01_10_10 -> 8'b10_01_10_11);
320 trans t_W4RP_ARRQ_W4RP_RETYtoIDLE (8'b10_01_10_11 -> 8'b10_01_10_00);
321
322 trans t_W4RP_ARRQ_RETY_IDLEtoARRQ (8'b10_01_11_00 -> 8'b10_01_11_01);
323 trans t_W4RP_ARRQ_RETY_ARRQtoW4RP (8'b10_01_11_01 -> 8'b10_01_11_10);
324 trans t_W4RP_ARRQ_RETY_W4RPtoIDLE (8'b10_01_11_10 -> 8'b10_01_11_00);
325 trans t_W4RP_ARRQ_RETY_W4RPtoARRQ (8'b10_01_11_10 -> 8'b10_01_11_01);
326 trans t_W4RP_ARRQ_RETY_W4RPtoRETY (8'b10_01_11_10 -> 8'b10_01_11_11);
327 trans t_W4RP_ARRQ_RETY_RETYtoIDLE (8'b10_01_11_11 -> 8'b10_01_11_00);
328
329//11
330 trans t_W4RP_W4RP_IDLE_IDLEtoARRQ (8'b10_10_00_00 -> 8'b10_10_00_01);
331 trans t_W4RP_W4RP_IDLE_ARRQtoW4RP (8'b10_10_00_01 -> 8'b10_10_00_10);
332 trans t_W4RP_W4RP_IDLE_W4RPtoIDLE (8'b10_10_00_10 -> 8'b10_10_00_00);
333 trans t_W4RP_W4RP_IDLE_W4RPtoARRQ (8'b10_10_00_10 -> 8'b10_10_00_01);
334 trans t_W4RP_W4RP_IDLE_W4RPtoRETY (8'b10_10_00_10 -> 8'b10_10_00_11);
335 trans t_W4RP_W4RP_IDLE_RETYtoIDLE (8'b10_10_00_11 -> 8'b10_10_00_00);
336
337 trans t_W4RP_W4RP_ARRQ_IDLEtoARRQ (8'b10_10_01_00 -> 8'b10_10_01_01);
338 trans t_W4RP_W4RP_ARRQ_ARRQtoW4RP (8'b10_10_01_01 -> 8'b10_10_01_10);
339 trans t_W4RP_W4RP_ARRQ_W4RPtoIDLE (8'b10_10_01_10 -> 8'b10_10_01_00);
340 trans t_W4RP_W4RP_ARRQ_W4RPtoARRQ (8'b10_10_01_10 -> 8'b10_10_01_01);
341 trans t_W4RP_W4RP_ARRQ_W4RPtoRETY (8'b10_10_01_10 -> 8'b10_10_01_11);
342 trans t_W4RP_W4RP_ARRQ_RETYtoIDLE (8'b10_10_01_11 -> 8'b10_10_01_00);
343
344 trans t_W4RP_W4RP_W4RP_IDLEtoARRQ (8'b10_10_10_00 -> 8'b10_10_10_01);
345 trans t_W4RP_W4RP_W4RP_ARRQtoW4RP (8'b10_10_10_01 -> 8'b10_10_10_10);
346 trans t_W4RP_W4RP_W4RP_W4RPtoIDLE (8'b10_10_10_10 -> 8'b10_10_10_00);
347 trans t_W4RP_W4RP_W4RP_W4RPtoARRQ (8'b10_10_10_10 -> 8'b10_10_10_01);
348 trans t_W4RP_W4RP_W4RP_W4RPtoRETY (8'b10_10_10_10 -> 8'b10_10_10_11);
349 trans t_W4RP_W4RP_W4RP_RETYtoIDLE (8'b10_10_10_11 -> 8'b10_10_10_00);
350
351 trans t_W4RP_W4RP_RETY_IDLEtoARRQ (8'b10_10_11_00 -> 8'b10_10_11_01);
352 trans t_W4RP_W4RP_RETY_ARRQtoW4RP (8'b10_10_11_01 -> 8'b10_10_11_10);
353 trans t_W4RP_W4RP_RETY_W4RPtoIDLE (8'b10_10_11_10 -> 8'b10_10_11_00);
354 trans t_W4RP_W4RP_RETY_W4RPtoARRQ (8'b10_10_11_10 -> 8'b10_10_11_01);
355 trans t_W4RP_W4RP_RETY_W4RPtoRETY (8'b10_10_11_10 -> 8'b10_10_11_11);
356 trans t_W4RP_W4RP_RETY_RETYtoIDLE (8'b10_10_11_11 -> 8'b10_10_11_00);
357
358//12
359 trans t_W4RP_RETY_IDLE_IDLEtoARRQ (8'b10_11_00_00 -> 8'b10_11_00_01);
360 trans t_W4RP_RETY_IDLE_ARRQtoW4RP (8'b10_11_00_01 -> 8'b10_11_00_10);
361 trans t_W4RP_RETY_IDLE_W4RPtoIDLE (8'b10_11_00_10 -> 8'b10_11_00_00);
362 trans t_W4RP_RETY_IDLE_W4RPtoARRQ (8'b10_11_00_10 -> 8'b10_11_00_01);
363 trans t_W4RP_RETY_IDLE_W4RPtoRETY (8'b10_11_00_10 -> 8'b10_11_00_11);
364 trans t_W4RP_RETY_IDLE_RETYtoIDLE (8'b10_11_00_11 -> 8'b10_11_00_00);
365
366 trans t_W4RP_RETY_ARRQ_IDLEtoARRQ (8'b10_11_01_00 -> 8'b10_11_01_01);
367 trans t_W4RP_RETY_ARRQ_ARRQtoW4RP (8'b10_11_01_01 -> 8'b10_11_01_10);
368 trans t_W4RP_RETY_ARRQ_W4RPtoIDLE (8'b10_11_01_10 -> 8'b10_11_01_00);
369 trans t_W4RP_RETY_ARRQ_W4RPtoARRQ (8'b10_11_01_10 -> 8'b10_11_01_01);
370 trans t_W4RP_RETY_ARRQ_W4RPtoRETY (8'b10_11_01_10 -> 8'b10_11_01_11);
371 trans t_W4RP_RETY_ARRQ_RETYtoIDLE (8'b10_11_01_11 -> 8'b10_11_01_00);
372
373 trans t_W4RP_RETY_W4RP_IDLEtoARRQ (8'b10_11_10_00 -> 8'b10_11_10_01);
374 trans t_W4RP_RETY_W4RP_ARRQtoW4RP (8'b10_11_10_01 -> 8'b10_11_10_10);
375 trans t_W4RP_RETY_W4RP_W4RPtoIDLE (8'b10_11_10_10 -> 8'b10_11_10_00);
376 trans t_W4RP_RETY_W4RP_W4RPtoARRQ (8'b10_11_10_10 -> 8'b10_11_10_01);
377 trans t_W4RP_RETY_W4RP_W4RPtoRETY (8'b10_11_10_10 -> 8'b10_11_10_11);
378 trans t_W4RP_RETY_W4RP_RETYtoIDLE (8'b10_11_10_11 -> 8'b10_11_10_00);
379
380 trans t_W4RP_RETY_RETY_IDLEtoARRQ (8'b10_11_11_00 -> 8'b10_11_11_01);
381 trans t_W4RP_RETY_RETY_ARRQtoW4RP (8'b10_11_11_01 -> 8'b10_11_11_10);
382 trans t_W4RP_RETY_RETY_W4RPtoIDLE (8'b10_11_11_10 -> 8'b10_11_11_00);
383 trans t_W4RP_RETY_RETY_W4RPtoARRQ (8'b10_11_11_10 -> 8'b10_11_11_01);
384 trans t_W4RP_RETY_RETY_W4RPtoRETY (8'b10_11_11_10 -> 8'b10_11_11_11);
385 trans t_W4RP_RETY_RETY_RETYtoIDLE (8'b10_11_11_11 -> 8'b10_11_11_00);
386//13
387 trans t_RETY_IDLE_IDLE_IDLEtoARRQ (8'b11_00_00_00 -> 8'b11_00_00_01);
388 trans t_RETY_IDLE_IDLE_ARRQtoW4RP (8'b11_00_00_01 -> 8'b11_00_00_10);
389 trans t_RETY_IDLE_IDLE_W4RPtoIDLE (8'b11_00_00_10 -> 8'b11_00_00_00);
390 trans t_RETY_IDLE_IDLE_W4RPtoARRQ (8'b11_00_00_10 -> 8'b11_00_00_01);
391 trans t_RETY_IDLE_IDLE_W4RPtoRETY (8'b11_00_00_10 -> 8'b11_00_00_11);
392 trans t_RETY_IDLE_IDLE_RETYtoIDLE (8'b11_00_00_11 -> 8'b11_00_00_00);
393
394 trans t_RETY_IDLE_ARRQ_IDLEtoARRQ (8'b11_00_01_00 -> 8'b11_00_01_01);
395 trans t_RETY_IDLE_ARRQ_ARRQtoW4RP (8'b11_00_01_01 -> 8'b11_00_01_10);
396 trans t_RETY_IDLE_ARRQ_W4RPtoIDLE (8'b11_00_01_10 -> 8'b11_00_01_00);
397 trans t_RETY_IDLE_ARRQ_W4RPtoARRQ (8'b11_00_01_10 -> 8'b11_00_01_01);
398 trans t_RETY_IDLE_ARRQ_W4RPtoRETY (8'b11_00_01_10 -> 8'b11_00_01_11);
399 trans t_RETY_IDLE_ARRQ_RETYtoIDLE (8'b11_00_01_11 -> 8'b11_00_01_00);
400
401 trans t_RETY_IDLE_W4RP_IDLEtoARRQ (8'b11_00_10_00 -> 8'b11_00_10_01);
402 trans t_RETY_IDLE_W4RP_ARRQtoW4RP (8'b11_00_10_01 -> 8'b11_00_10_10);
403 trans t_RETY_IDLE_W4RP_W4RPtoIDLE (8'b11_00_10_10 -> 8'b11_00_10_00);
404 trans t_RETY_IDLE_W4RP_W4RPtoARRQ (8'b11_00_10_10 -> 8'b11_00_10_01);
405 trans t_RETY_IDLE_W4RP_W4RPtoRETY (8'b11_00_10_10 -> 8'b11_00_10_11);
406 trans t_RETY_IDLE_W4RP_RETYtoIDLE (8'b11_00_10_11 -> 8'b11_00_10_00);
407
408 trans t_RETY_IDLE_RETY_IDLEtoARRQ (8'b11_00_11_00 -> 8'b11_00_11_01);
409 trans t_RETY_IDLE_RETY_ARRQtoW4RP (8'b11_00_11_01 -> 8'b11_00_11_10);
410 trans t_RETY_IDLE_RETY_W4RPtoIDLE (8'b11_00_11_10 -> 8'b11_00_11_00);
411 trans t_RETY_IDLE_RETY_W4RPtoARRQ (8'b11_00_11_10 -> 8'b11_00_11_01);
412 trans t_RETY_IDLE_RETY_W4RPtoRETY (8'b11_00_11_10 -> 8'b11_00_11_11);
413 trans t_RETY_IDLE_RETY_RETYtoIDLE (8'b11_00_11_11 -> 8'b11_00_11_00);
414
415//14
416 trans t_RETY_ARRQ_IDLE_IDLEtoARRQ (8'b11_01_00_00 -> 8'b11_01_00_01);
417 trans t_RETY_ARRQ_IDLE_ARRQtoW4RP (8'b11_01_00_01 -> 8'b11_01_00_10);
418 trans t_RETY_ARRQ_IDLE_W4RPtoIDLE (8'b11_01_00_10 -> 8'b11_01_00_00);
419 trans t_RETY_ARRQ_IDLE_W4RPtoARRQ (8'b11_01_00_10 -> 8'b11_01_00_01);
420 trans t_RETY_ARRQ_IDLE_W4RPtoRETY (8'b11_01_00_10 -> 8'b11_01_00_11);
421 trans t_RETY_ARRQ_IDLE_RETYtoIDLE (8'b11_01_00_11 -> 8'b11_01_00_00);
422
423 trans t_RETY_ARRQ_ARRQ_IDLEtoARRQ (8'b11_01_01_00 -> 8'b11_01_01_01);
424 trans t_RETY_ARRQ_ARRQ_ARRQtoW4RP (8'b11_01_01_01 -> 8'b11_01_01_10);
425 trans t_RETY_ARRQ_ARRQ_W4RPtoIDLE (8'b11_01_01_10 -> 8'b11_01_01_00);
426 trans t_RETY_ARRQ_ARRQ_W4RPtoARRQ (8'b11_01_01_10 -> 8'b11_01_01_01);
427 trans t_RETY_ARRQ_ARRQ_W4RPtoRETY (8'b11_01_01_10 -> 8'b11_01_01_11);
428 trans t_RETY_ARRQ_ARRQ_RETYtoIDLE (8'b11_01_01_11 -> 8'b11_01_01_00);
429
430 trans t_RETY_ARRQ_W4RP_IDLEtoARRQ (8'b11_01_10_00 -> 8'b11_01_10_01);
431 trans t_RETY_ARRQ_W4RP_ARRQtoW4RP (8'b11_01_10_01 -> 8'b11_01_10_10);
432 trans t_RETY_ARRQ_W4RP_W4RPtoIDLE (8'b11_01_10_10 -> 8'b11_01_10_00);
433 trans t_RETY_ARRQ_W4RP_W4RPtoARRQ (8'b11_01_10_10 -> 8'b11_01_10_01);
434 trans t_RETY_ARRQ_W4RP_W4RPtoRETY (8'b11_01_10_10 -> 8'b11_01_10_11);
435 trans t_RETY_ARRQ_W4RP_RETYtoIDLE (8'b11_01_10_11 -> 8'b11_01_10_00);
436
437 trans t_RETY_ARRQ_RETY_IDLEtoARRQ (8'b11_01_11_00 -> 8'b11_01_11_01);
438 trans t_RETY_ARRQ_RETY_ARRQtoW4RP (8'b11_01_11_01 -> 8'b11_01_11_10);
439 trans t_RETY_ARRQ_RETY_W4RPtoIDLE (8'b11_01_11_10 -> 8'b11_01_11_00);
440 trans t_RETY_ARRQ_RETY_W4RPtoARRQ (8'b11_01_11_10 -> 8'b11_01_11_01);
441 trans t_RETY_ARRQ_RETY_W4RPtoRETY (8'b11_01_11_10 -> 8'b11_01_11_11);
442 trans t_RETY_ARRQ_RETY_RETYtoIDLE (8'b11_01_11_11 -> 8'b11_01_11_00);
443
444//15
445 trans t_RETY_W4RP_IDLE_IDLEtoARRQ (8'b11_10_00_00 -> 8'b11_10_00_01);
446 trans t_RETY_W4RP_IDLE_ARRQtoW4RP (8'b11_10_00_01 -> 8'b11_10_00_10);
447 trans t_RETY_W4RP_IDLE_W4RPtoIDLE (8'b11_10_00_10 -> 8'b11_10_00_00);
448 trans t_RETY_W4RP_IDLE_W4RPtoARRQ (8'b11_10_00_10 -> 8'b11_10_00_01);
449 trans t_RETY_W4RP_IDLE_W4RPtoRETY (8'b11_10_00_10 -> 8'b11_10_00_11);
450 trans t_RETY_W4RP_IDLE_RETYtoIDLE (8'b11_10_00_11 -> 8'b11_10_00_00);
451
452 trans t_RETY_W4RP_ARRQ_IDLEtoARRQ (8'b11_10_01_00 -> 8'b11_10_01_01);
453 trans t_RETY_W4RP_ARRQ_ARRQtoW4RP (8'b11_10_01_01 -> 8'b11_10_01_10);
454 trans t_RETY_W4RP_ARRQ_W4RPtoIDLE (8'b11_10_01_10 -> 8'b11_10_01_00);
455 trans t_RETY_W4RP_ARRQ_W4RPtoARRQ (8'b11_10_01_10 -> 8'b11_10_01_01);
456 trans t_RETY_W4RP_ARRQ_W4RPtoRETY (8'b11_10_01_10 -> 8'b11_10_01_11);
457 trans t_RETY_W4RP_ARRQ_RETYtoIDLE (8'b11_10_01_11 -> 8'b11_10_01_00);
458
459 trans t_RETY_W4RP_W4RP_IDLEtoARRQ (8'b11_10_10_00 -> 8'b11_10_10_01);
460 trans t_RETY_W4RP_W4RP_ARRQtoW4RP (8'b11_10_10_01 -> 8'b11_10_10_10);
461 trans t_RETY_W4RP_W4RP_W4RPtoIDLE (8'b11_10_10_10 -> 8'b11_10_10_00);
462 trans t_RETY_W4RP_W4RP_W4RPtoARRQ (8'b11_10_10_10 -> 8'b11_10_10_01);
463 trans t_RETY_W4RP_W4RP_W4RPtoRETY (8'b11_10_10_10 -> 8'b11_10_10_11);
464 trans t_RETY_W4RP_W4RP_RETYtoIDLE (8'b11_10_10_11 -> 8'b11_10_10_00);
465
466 trans t_RETY_W4RP_RETY_IDLEtoARRQ (8'b11_10_11_00 -> 8'b11_10_11_01);
467 trans t_RETY_W4RP_RETY_ARRQtoW4RP (8'b11_10_11_01 -> 8'b11_10_11_10);
468 trans t_RETY_W4RP_RETY_W4RPtoIDLE (8'b11_10_11_10 -> 8'b11_10_11_00);
469 trans t_RETY_W4RP_RETY_W4RPtoARRQ (8'b11_10_11_10 -> 8'b11_10_11_01);
470 trans t_RETY_W4RP_RETY_W4RPtoRETY (8'b11_10_11_10 -> 8'b11_10_11_11);
471 trans t_RETY_W4RP_RETY_RETYtoIDLE (8'b11_10_11_11 -> 8'b11_10_11_00);
472
473//16
474 trans t_RETY_RETY_IDLE_IDLEtoARRQ (8'b11_11_00_00 -> 8'b11_11_00_01);
475 trans t_RETY_RETY_IDLE_ARRQtoW4RP (8'b11_11_00_01 -> 8'b11_11_00_10);
476 trans t_RETY_RETY_IDLE_W4RPtoIDLE (8'b11_11_00_10 -> 8'b11_11_00_00);
477 trans t_RETY_RETY_IDLE_W4RPtoARRQ (8'b11_11_00_10 -> 8'b11_11_00_01);
478 trans t_RETY_RETY_IDLE_W4RPtoRETY (8'b11_11_00_10 -> 8'b11_11_00_11);
479 trans t_RETY_RETY_IDLE_RETYtoIDLE (8'b11_11_00_11 -> 8'b11_11_00_00);
480
481 trans t_RETY_RETY_ARRQ_IDLEtoARRQ (8'b11_11_01_00 -> 8'b11_11_01_01);
482 trans t_RETY_RETY_ARRQ_ARRQtoW4RP (8'b11_11_01_01 -> 8'b11_11_01_10);
483 trans t_RETY_RETY_ARRQ_W4RPtoIDLE (8'b11_11_01_10 -> 8'b11_11_01_00);
484 trans t_RETY_RETY_ARRQ_W4RPtoARRQ (8'b11_11_01_10 -> 8'b11_11_01_01);
485 trans t_RETY_RETY_ARRQ_W4RPtoRETY (8'b11_11_01_10 -> 8'b11_11_01_11);
486 trans t_RETY_RETY_ARRQ_RETYtoIDLE (8'b11_11_01_11 -> 8'b11_11_01_00);
487
488 trans t_RETY_RETY_W4RP_IDLEtoARRQ (8'b11_11_10_00 -> 8'b11_11_10_01);
489 trans t_RETY_RETY_W4RP_ARRQtoW4RP (8'b11_11_10_01 -> 8'b11_11_10_10);
490 trans t_RETY_RETY_W4RP_W4RPtoIDLE (8'b11_11_10_10 -> 8'b11_11_10_00);
491 trans t_RETY_RETY_W4RP_W4RPtoARRQ (8'b11_11_10_10 -> 8'b11_11_10_01);
492 trans t_RETY_RETY_W4RP_W4RPtoRETY (8'b11_11_10_10 -> 8'b11_11_10_11);
493 trans t_RETY_RETY_W4RP_RETYtoIDLE (8'b11_11_10_11 -> 8'b11_11_10_00);
494
495 trans t_RETY_RETY_RETY_IDLEtoARRQ (8'b11_11_11_00 -> 8'b11_11_11_01);
496 trans t_RETY_RETY_RETY_ARRQtoW4RP (8'b11_11_11_01 -> 8'b11_11_11_10);
497 trans t_RETY_RETY_RETY_W4RPtoIDLE (8'b11_11_11_10 -> 8'b11_11_11_00);
498 trans t_RETY_RETY_RETY_W4RPtoARRQ (8'b11_11_11_10 -> 8'b11_11_11_01);
499 trans t_RETY_RETY_RETY_W4RPtoRETY (8'b11_11_11_10 -> 8'b11_11_11_11);
500 trans t_RETY_RETY_RETY_RETYtoIDLE (8'b11_11_11_11 -> 8'b11_11_11_00);
501
502// dmu int controller 1 changing state independent of others
503//1
504 trans t_IDLE_IDLE_IDLEtoARRQ_IDLE (8'b00_00_00_00 -> 8'b00_00_01_00);
505 trans t_IDLE_IDLE_ARRQtoW4RP_IDLE (8'b00_00_01_00 -> 8'b00_00_10_00);
506 trans t_IDLE_IDLE_W4RPtoIDLE_IDLE (8'b00_00_10_00 -> 8'b00_00_00_00);
507 trans t_IDLE_IDLE_W4RPtoARRQ_IDLE (8'b00_00_10_00 -> 8'b00_00_01_00);
508 trans t_IDLE_IDLE_W4RPtoRETY_IDLE (8'b00_00_10_00 -> 8'b00_00_11_00);
509 trans t_IDLE_IDLE_RETYtoIDLE_IDLE (8'b00_00_11_00 -> 8'b00_00_00_00);
510
511 trans t_IDLE_IDLE_IDLEtoARRQ_ARRQ (8'b00_00_00_01 -> 8'b00_00_01_01);
512 trans t_IDLE_IDLE_ARRQtoW4RP_ARRQ (8'b00_00_01_01 -> 8'b00_00_10_01);
513 trans t_IDLE_IDLE_W4RPtoIDLE_ARRQ (8'b00_00_10_01 -> 8'b00_00_00_01);
514 trans t_IDLE_IDLE_W4RPtoARRQ_ARRQ (8'b00_00_10_01 -> 8'b00_00_01_01);
515 trans t_IDLE_IDLE_W4RPtoRETY_ARRQ (8'b00_00_10_01 -> 8'b00_00_11_01);
516 trans t_IDLE_IDLE_RETYtoIDLE_ARRQ (8'b00_00_11_01 -> 8'b00_00_00_01);
517
518 trans t_IDLE_IDLE_IDLEtoARRQ_W4RP (8'b00_00_00_10 -> 8'b00_00_01_10);
519 trans t_IDLE_IDLE_ARRQtoW4RP_W4RP (8'b00_00_01_10 -> 8'b00_00_10_10);
520 trans t_IDLE_IDLE_W4RPtoIDLE_W4RP (8'b00_00_10_10 -> 8'b00_00_00_10);
521 trans t_IDLE_IDLE_W4RPtoARRQ_W4RP (8'b00_00_10_10 -> 8'b00_00_01_10);
522 trans t_IDLE_IDLE_W4RPtoRETY_W4RP (8'b00_00_10_10 -> 8'b00_00_11_10);
523 trans t_IDLE_IDLE_RETYtoIDLE_W4RP (8'b00_00_11_10 -> 8'b00_00_00_10);
524
525 trans t_IDLE_IDLE_IDLEtoARRQ_RETY (8'b00_00_00_11 -> 8'b00_00_01_11);
526 trans t_IDLE_IDLE_ARRQtoW4RP_RETY (8'b00_00_01_11 -> 8'b00_00_10_11);
527 trans t_IDLE_IDLE_W4RPtoIDLE_RETY (8'b00_00_10_11 -> 8'b00_00_00_11);
528 trans t_IDLE_IDLE_W4RPtoARRQ_RETY (8'b00_00_10_11 -> 8'b00_00_01_11);
529 trans t_IDLE_IDLE_W4RPtoRETY_RETY (8'b00_00_10_11 -> 8'b00_00_11_11);
530 trans t_IDLE_IDLE_RETYtoIDLE_RETY (8'b00_00_11_11 -> 8'b00_00_00_11);
531
532//2
533 trans t_IDLE_ARRQ_IDLEtoARRQ_IDLE (8'b00_01_00_00 -> 8'b00_01_01_00);
534 trans t_IDLE_ARRQ_ARRQtoW4RP_IDLE (8'b00_01_01_00 -> 8'b00_01_10_00);
535 trans t_IDLE_ARRQ_W4RPtoIDLE_IDLE (8'b00_01_10_00 -> 8'b00_01_00_00);
536 trans t_IDLE_ARRQ_W4RPtoARRQ_IDLE (8'b00_01_10_00 -> 8'b00_01_01_00);
537 trans t_IDLE_ARRQ_W4RPtoRETY_IDLE (8'b00_01_10_00 -> 8'b00_01_11_00);
538 trans t_IDLE_ARRQ_RETYtoIDLE_IDLE (8'b00_01_11_00 -> 8'b00_01_00_00);
539
540 trans t_IDLE_ARRQ_IDLEtoARRQ_ARRQ (8'b00_01_00_01 -> 8'b00_01_01_01);
541 trans t_IDLE_ARRQ_ARRQtoW4RP_ARRQ (8'b00_01_01_01 -> 8'b00_01_10_01);
542 trans t_IDLE_ARRQ_W4RPtoIDLE_ARRQ (8'b00_01_10_01 -> 8'b00_01_00_01);
543 trans t_IDLE_ARRQ_W4RPtoARRQ_ARRQ (8'b00_01_10_01 -> 8'b00_01_01_01);
544 trans t_IDLE_ARRQ_W4RPtoRETY_ARRQ (8'b00_01_10_01 -> 8'b00_01_11_01);
545 trans t_IDLE_ARRQ_RETYtoIDLE_ARRQ (8'b00_01_11_01 -> 8'b00_01_00_01);
546
547 trans t_IDLE_ARRQ_IDLEtoARRQ_W4RP (8'b00_01_00_10 -> 8'b00_01_01_10);
548 trans t_IDLE_ARRQ_ARRQtoW4RP_W4RP (8'b00_01_01_10 -> 8'b00_01_10_10);
549 trans t_IDLE_ARRQ_W4RPtoIDLE_W4RP (8'b00_01_10_10 -> 8'b00_01_00_10);
550 trans t_IDLE_ARRQ_W4RPtoARRQ_W4RP (8'b00_01_10_10 -> 8'b00_01_01_10);
551 trans t_IDLE_ARRQ_W4RPtoRETY_W4RP (8'b00_01_10_10 -> 8'b00_01_11_10);
552 trans t_IDLE_ARRQ_RETYtoIDLE_W4RP (8'b00_01_11_10 -> 8'b00_01_00_10);
553
554 trans t_IDLE_ARRQ_IDLEtoARRQ_RETY (8'b00_01_00_11 -> 8'b00_01_01_11);
555 trans t_IDLE_ARRQ_ARRQtoW4RP_RETY (8'b00_01_01_11 -> 8'b00_01_10_11);
556 trans t_IDLE_ARRQ_W4RPtoIDLE_RETY (8'b00_01_10_11 -> 8'b00_01_00_11);
557 trans t_IDLE_ARRQ_W4RPtoARRQ_RETY (8'b00_01_10_11 -> 8'b00_01_01_11);
558 trans t_IDLE_ARRQ_W4RPtoRETY_RETY (8'b00_01_10_11 -> 8'b00_01_11_11);
559 trans t_IDLE_ARRQ_RETYtoIDLE_RETY (8'b00_01_11_11 -> 8'b00_01_00_11);
560
561//3
562 trans t_IDLE_W4RP_IDLEtoARRQ_IDLE (8'b00_10_00_00 -> 8'b00_10_01_00);
563 trans t_IDLE_W4RP_ARRQtoW4RP_IDLE (8'b00_10_01_00 -> 8'b00_10_10_00);
564 trans t_IDLE_W4RP_W4RPtoIDLE_IDLE (8'b00_10_10_00 -> 8'b00_10_00_00);
565 trans t_IDLE_W4RP_W4RPtoARRQ_IDLE (8'b00_10_10_00 -> 8'b00_10_01_00);
566 trans t_IDLE_W4RP_W4RPtoRETY_IDLE (8'b00_10_10_00 -> 8'b00_10_11_00);
567 trans t_IDLE_W4RP_RETYtoIDLE_IDLE (8'b00_10_11_00 -> 8'b00_10_00_00);
568
569 trans t_IDLE_W4RP_IDLEtoARRQ_ARRQ (8'b00_10_00_01 -> 8'b00_10_01_01);
570 trans t_IDLE_W4RP_ARRQtoW4RP_ARRQ (8'b00_10_01_01 -> 8'b00_10_10_01);
571 trans t_IDLE_W4RP_W4RPtoIDLE_ARRQ (8'b00_10_10_01 -> 8'b00_10_00_01);
572 trans t_IDLE_W4RP_W4RPtoARRQ_ARRQ (8'b00_10_10_01 -> 8'b00_10_01_01);
573 trans t_IDLE_W4RP_W4RPtoRETY_ARRQ (8'b00_10_10_01 -> 8'b00_10_11_01);
574 trans t_IDLE_W4RP_RETYtoIDLE_ARRQ (8'b00_10_11_01 -> 8'b00_10_00_01);
575
576 trans t_IDLE_W4RP_IDLEtoARRQ_W4RP (8'b00_10_00_10 -> 8'b00_10_01_10);
577 trans t_IDLE_W4RP_ARRQtoW4RP_W4RP (8'b00_10_01_10 -> 8'b00_10_10_10);
578 trans t_IDLE_W4RP_W4RPtoIDLE_W4RP (8'b00_10_10_10 -> 8'b00_10_00_10);
579 trans t_IDLE_W4RP_W4RPtoARRQ_W4RP (8'b00_10_10_10 -> 8'b00_10_01_10);
580 trans t_IDLE_W4RP_W4RPtoRETY_W4RP (8'b00_10_10_10 -> 8'b00_10_11_10);
581 trans t_IDLE_W4RP_RETYtoIDLE_W4RP (8'b00_10_11_10 -> 8'b00_10_00_10);
582
583 trans t_IDLE_W4RP_IDLEtoARRQ_RETY (8'b00_10_00_11 -> 8'b00_10_01_11);
584 trans t_IDLE_W4RP_ARRQtoW4RP_RETY (8'b00_10_01_11 -> 8'b00_10_10_11);
585 trans t_IDLE_W4RP_W4RPtoIDLE_RETY (8'b00_10_10_11 -> 8'b00_10_00_11);
586 trans t_IDLE_W4RP_W4RPtoARRQ_RETY (8'b00_10_10_11 -> 8'b00_10_01_11);
587 trans t_IDLE_W4RP_W4RPtoRETY_RETY (8'b00_10_10_11 -> 8'b00_10_11_11);
588 trans t_IDLE_W4RP_RETYtoIDLE_RETY (8'b00_10_11_11 -> 8'b00_10_00_11);
589
590//4
591 trans t_IDLE_RETY_IDLEtoARRQ_IDLE (8'b00_11_00_00 -> 8'b00_11_01_00);
592 trans t_IDLE_RETY_ARRQtoW4RP_IDLE (8'b00_11_01_00 -> 8'b00_11_10_00);
593 trans t_IDLE_RETY_W4RPtoIDLE_IDLE (8'b00_11_10_00 -> 8'b00_11_00_00);
594 trans t_IDLE_RETY_W4RPtoARRQ_IDLE (8'b00_11_10_00 -> 8'b00_11_01_00);
595 trans t_IDLE_RETY_W4RPtoRETY_IDLE (8'b00_11_10_00 -> 8'b00_11_11_00);
596 trans t_IDLE_RETY_RETYtoIDLE_IDLE (8'b00_11_11_00 -> 8'b00_11_00_00);
597
598 trans t_IDLE_RETY_IDLEtoARRQ_ARRQ (8'b00_11_00_01 -> 8'b00_11_01_01);
599 trans t_IDLE_RETY_ARRQtoW4RP_ARRQ (8'b00_11_01_01 -> 8'b00_11_10_01);
600 trans t_IDLE_RETY_W4RPtoIDLE_ARRQ (8'b00_11_10_01 -> 8'b00_11_00_01);
601 trans t_IDLE_RETY_W4RPtoARRQ_ARRQ (8'b00_11_10_01 -> 8'b00_11_01_01);
602 trans t_IDLE_RETY_W4RPtoRETY_ARRQ (8'b00_11_10_01 -> 8'b00_11_11_01);
603 trans t_IDLE_RETY_RETYtoIDLE_ARRQ (8'b00_11_11_01 -> 8'b00_11_00_01);
604
605 trans t_IDLE_RETY_IDLEtoARRQ_W4RP (8'b00_11_00_10 -> 8'b00_11_01_10);
606 trans t_IDLE_RETY_ARRQtoW4RP_W4RP (8'b00_11_01_10 -> 8'b00_11_10_10);
607 trans t_IDLE_RETY_W4RPtoIDLE_W4RP (8'b00_11_10_10 -> 8'b00_11_00_10);
608 trans t_IDLE_RETY_W4RPtoARRQ_W4RP (8'b00_11_10_10 -> 8'b00_11_01_10);
609 trans t_IDLE_RETY_W4RPtoRETY_W4RP (8'b00_11_10_10 -> 8'b00_11_11_10);
610 trans t_IDLE_RETY_RETYtoIDLE_W4RP (8'b00_11_11_10 -> 8'b00_11_00_10);
611
612 trans t_IDLE_RETY_IDLEtoARRQ_RETY (8'b00_11_00_11 -> 8'b00_11_01_11);
613 trans t_IDLE_RETY_ARRQtoW4RP_RETY (8'b00_11_01_11 -> 8'b00_11_10_11);
614 trans t_IDLE_RETY_W4RPtoIDLE_RETY (8'b00_11_10_11 -> 8'b00_11_00_11);
615 trans t_IDLE_RETY_W4RPtoARRQ_RETY (8'b00_11_10_11 -> 8'b00_11_01_11);
616 trans t_IDLE_RETY_W4RPtoRETY_RETY (8'b00_11_10_11 -> 8'b00_11_11_11);
617 trans t_IDLE_RETY_RETYtoIDLE_RETY (8'b00_11_11_11 -> 8'b00_11_00_11);
618
619
620//5
621 trans t_ARRQ_IDLE_IDLEtoARRQ_IDLE (8'b01_00_00_00 -> 8'b01_00_01_00);
622 trans t_ARRQ_IDLE_ARRQtoW4RP_IDLE (8'b01_00_01_00 -> 8'b01_00_10_00);
623 trans t_ARRQ_IDLE_W4RPtoIDLE_IDLE (8'b01_00_10_00 -> 8'b01_00_00_00);
624 trans t_ARRQ_IDLE_W4RPtoARRQ_IDLE (8'b01_00_10_00 -> 8'b01_00_01_00);
625 trans t_ARRQ_IDLE_W4RPtoRETY_IDLE (8'b01_00_10_00 -> 8'b01_00_11_00);
626 trans t_ARRQ_IDLE_RETYtoIDLE_IDLE (8'b01_00_11_00 -> 8'b01_00_00_00);
627
628 trans t_ARRQ_IDLE_IDLEtoARRQ_ARRQ (8'b01_00_00_01 -> 8'b01_00_01_01);
629 trans t_ARRQ_IDLE_ARRQtoW4RP_ARRQ (8'b01_00_01_01 -> 8'b01_00_10_01);
630 trans t_ARRQ_IDLE_W4RPtoIDLE_ARRQ (8'b01_00_10_01 -> 8'b01_00_00_01);
631 trans t_ARRQ_IDLE_W4RPtoARRQ_ARRQ (8'b01_00_10_01 -> 8'b01_00_01_01);
632 trans t_ARRQ_IDLE_W4RPtoRETY_ARRQ (8'b01_00_10_01 -> 8'b01_00_11_01);
633 trans t_ARRQ_IDLE_RETYtoIDLE_ARRQ (8'b01_00_11_01 -> 8'b01_00_00_01);
634
635 trans t_ARRQ_IDLE_IDLEtoARRQ_W4RP (8'b01_00_00_10 -> 8'b01_00_01_10);
636 trans t_ARRQ_IDLE_ARRQtoW4RP_W4RP (8'b01_00_01_10 -> 8'b01_00_10_10);
637 trans t_ARRQ_IDLE_W4RPtoIDLE_W4RP (8'b01_00_10_10 -> 8'b01_00_00_10);
638 trans t_ARRQ_IDLE_W4RPtoARRQ_W4RP (8'b01_00_10_10 -> 8'b01_00_01_10);
639 trans t_ARRQ_IDLE_W4RPtoRETY_W4RP (8'b01_00_10_10 -> 8'b01_00_11_10);
640 trans t_ARRQ_IDLE_RETYtoIDLE_W4RP (8'b01_00_11_10 -> 8'b01_00_00_10);
641
642 trans t_ARRQ_IDLE_IDLEtoARRQ_RETY (8'b01_00_00_11 -> 8'b01_00_01_11);
643 trans t_ARRQ_IDLE_ARRQtoW4RP_RETY (8'b01_00_01_11 -> 8'b01_00_10_11);
644 trans t_ARRQ_IDLE_W4RPtoIDLE_RETY (8'b01_00_10_11 -> 8'b01_00_00_11);
645 trans t_ARRQ_IDLE_W4RPtoARRQ_RETY (8'b01_00_10_11 -> 8'b01_00_01_11);
646 trans t_ARRQ_IDLE_W4RPtoRETY_RETY (8'b01_00_10_11 -> 8'b01_00_11_11);
647 trans t_ARRQ_IDLE_RETYtoIDLE_RETY (8'b01_00_11_11 -> 8'b01_00_00_11);
648
649//6
650 trans t_ARRQ_ARRQ_IDLEtoARRQ_IDLE (8'b01_01_00_00 -> 8'b01_01_01_00);
651 trans t_ARRQ_ARRQ_ARRQtoW4RP_IDLE (8'b01_01_01_00 -> 8'b01_01_10_00);
652 trans t_ARRQ_ARRQ_W4RPtoIDLE_IDLE (8'b01_01_10_00 -> 8'b01_01_00_00);
653 trans t_ARRQ_ARRQ_W4RPtoARRQ_IDLE (8'b01_01_10_00 -> 8'b01_01_01_00);
654 trans t_ARRQ_ARRQ_W4RPtoRETY_IDLE (8'b01_01_10_00 -> 8'b01_01_11_00);
655 trans t_ARRQ_ARRQ_RETYtoIDLE_IDLE (8'b01_01_11_00 -> 8'b01_01_00_00);
656
657 trans t_ARRQ_ARRQ_IDLEtoARRQ_ARRQ (8'b01_01_00_01 -> 8'b01_01_01_01);
658 trans t_ARRQ_ARRQ_ARRQtoW4RP_ARRQ (8'b01_01_01_01 -> 8'b01_01_10_01);
659 trans t_ARRQ_ARRQ_W4RPtoIDLE_ARRQ (8'b01_01_10_01 -> 8'b01_01_00_01);
660 trans t_ARRQ_ARRQ_W4RPtoARRQ_ARRQ (8'b01_01_10_01 -> 8'b01_01_01_01);
661 trans t_ARRQ_ARRQ_W4RPtoRETY_ARRQ (8'b01_01_10_01 -> 8'b01_01_11_01);
662 trans t_ARRQ_ARRQ_RETYtoIDLE_ARRQ (8'b01_01_11_01 -> 8'b01_01_00_01);
663
664 trans t_ARRQ_ARRQ_IDLEtoARRQ_W4RP (8'b01_01_00_10 -> 8'b01_01_01_10);
665 trans t_ARRQ_ARRQ_ARRQtoW4RP_W4RP (8'b01_01_01_10 -> 8'b01_01_10_10);
666 trans t_ARRQ_ARRQ_W4RPtoIDLE_W4RP (8'b01_01_10_10 -> 8'b01_01_00_10);
667 trans t_ARRQ_ARRQ_W4RPtoARRQ_W4RP (8'b01_01_10_10 -> 8'b01_01_01_10);
668 trans t_ARRQ_ARRQ_W4RPtoRETY_W4RP (8'b01_01_10_10 -> 8'b01_01_11_10);
669 trans t_ARRQ_ARRQ_RETYtoIDLE_W4RP (8'b01_01_11_10 -> 8'b01_01_00_10);
670
671 trans t_ARRQ_ARRQ_IDLEtoARRQ_RETY (8'b01_01_00_11 -> 8'b01_01_01_11);
672 trans t_ARRQ_ARRQ_ARRQtoW4RP_RETY (8'b01_01_01_11 -> 8'b01_01_10_11);
673 trans t_ARRQ_ARRQ_W4RPtoIDLE_RETY (8'b01_01_10_11 -> 8'b01_01_00_11);
674 trans t_ARRQ_ARRQ_W4RPtoARRQ_RETY (8'b01_01_10_11 -> 8'b01_01_01_11);
675 trans t_ARRQ_ARRQ_W4RPtoRETY_RETY (8'b01_01_10_11 -> 8'b01_01_11_11);
676 trans t_ARRQ_ARRQ_RETYtoIDLE_RETY (8'b01_01_11_11 -> 8'b01_01_00_11);
677
678//7
679 trans t_ARRQ_W4RP_IDLEtoARRQ_IDLE (8'b01_10_00_00 -> 8'b01_10_01_00);
680 trans t_ARRQ_W4RP_ARRQtoW4RP_IDLE (8'b01_10_01_00 -> 8'b01_10_10_00);
681 trans t_ARRQ_W4RP_W4RPtoIDLE_IDLE (8'b01_10_10_00 -> 8'b01_10_00_00);
682 trans t_ARRQ_W4RP_W4RPtoARRQ_IDLE (8'b01_10_10_00 -> 8'b01_10_01_00);
683 trans t_ARRQ_W4RP_W4RPtoRETY_IDLE (8'b01_10_10_00 -> 8'b01_10_11_00);
684 trans t_ARRQ_W4RP_RETYtoIDLE_IDLE (8'b01_10_11_00 -> 8'b01_10_00_00);
685
686 trans t_ARRQ_W4RP_IDLEtoARRQ_ARRQ (8'b01_10_00_01 -> 8'b01_10_01_01);
687 trans t_ARRQ_W4RP_ARRQtoW4RP_ARRQ (8'b01_10_01_01 -> 8'b01_10_10_01);
688 trans t_ARRQ_W4RP_W4RPtoIDLE_ARRQ (8'b01_10_10_01 -> 8'b01_10_00_01);
689 trans t_ARRQ_W4RP_W4RPtoARRQ_ARRQ (8'b01_10_10_01 -> 8'b01_10_01_01);
690 trans t_ARRQ_W4RP_W4RPtoRETY_ARRQ (8'b01_10_10_01 -> 8'b01_10_11_01);
691 trans t_ARRQ_W4RP_RETYtoIDLE_ARRQ (8'b01_10_11_01 -> 8'b01_10_00_01);
692
693 trans t_ARRQ_W4RP_IDLEtoARRQ_W4RP (8'b01_10_00_10 -> 8'b01_10_01_10);
694 trans t_ARRQ_W4RP_ARRQtoW4RP_W4RP (8'b01_10_01_10 -> 8'b01_10_10_10);
695 trans t_ARRQ_W4RP_W4RPtoIDLE_W4RP (8'b01_10_10_10 -> 8'b01_10_00_10);
696 trans t_ARRQ_W4RP_W4RPtoARRQ_W4RP (8'b01_10_10_10 -> 8'b01_10_01_10);
697 trans t_ARRQ_W4RP_W4RPtoRETY_W4RP (8'b01_10_10_10 -> 8'b01_10_11_10);
698 trans t_ARRQ_W4RP_RETYtoIDLE_W4RP (8'b01_10_11_10 -> 8'b01_10_00_10);
699
700 trans t_ARRQ_W4RP_IDLEtoARRQ_RETY (8'b01_10_00_11 -> 8'b01_10_01_11);
701 trans t_ARRQ_W4RP_ARRQtoW4RP_RETY (8'b01_10_01_11 -> 8'b01_10_10_11);
702 trans t_ARRQ_W4RP_W4RPtoIDLE_RETY (8'b01_10_10_11 -> 8'b01_10_00_11);
703 trans t_ARRQ_W4RP_W4RPtoARRQ_RETY (8'b01_10_10_11 -> 8'b01_10_01_11);
704 trans t_ARRQ_W4RP_W4RPtoRETY_RETY (8'b01_10_10_11 -> 8'b01_10_11_11);
705 trans t_ARRQ_W4RP_RETYtoIDLE_RETY (8'b01_10_11_11 -> 8'b01_10_00_11);
706
707//8
708 trans t_ARRQ_RETY_IDLEtoARRQ_IDLE (8'b01_11_00_00 -> 8'b01_11_01_00);
709 trans t_ARRQ_RETY_ARRQtoW4RP_IDLE (8'b01_11_01_00 -> 8'b01_11_10_00);
710 trans t_ARRQ_RETY_W4RPtoIDLE_IDLE (8'b01_11_10_00 -> 8'b01_11_00_00);
711 trans t_ARRQ_RETY_W4RPtoARRQ_IDLE (8'b01_11_10_00 -> 8'b01_11_01_00);
712 trans t_ARRQ_RETY_W4RPtoRETY_IDLE (8'b01_11_10_00 -> 8'b01_11_11_00);
713 trans t_ARRQ_RETY_RETYtoIDLE_IDLE (8'b01_11_11_00 -> 8'b01_11_00_00);
714
715 trans t_ARRQ_RETY_IDLEtoARRQ_ARRQ (8'b01_11_00_01 -> 8'b01_11_01_01);
716 trans t_ARRQ_RETY_ARRQtoW4RP_ARRQ (8'b01_11_01_01 -> 8'b01_11_10_01);
717 trans t_ARRQ_RETY_W4RPtoIDLE_ARRQ (8'b01_11_10_01 -> 8'b01_11_00_01);
718 trans t_ARRQ_RETY_W4RPtoARRQ_ARRQ (8'b01_11_10_01 -> 8'b01_11_01_01);
719 trans t_ARRQ_RETY_W4RPtoRETY_ARRQ (8'b01_11_10_01 -> 8'b01_11_11_01);
720 trans t_ARRQ_RETY_RETYtoIDLE_ARRQ (8'b01_11_11_01 -> 8'b01_11_00_01);
721
722 trans t_ARRQ_RETY_IDLEtoARRQ_W4RP (8'b01_11_00_10 -> 8'b01_11_01_10);
723 trans t_ARRQ_RETY_ARRQtoW4RP_W4RP (8'b01_11_01_10 -> 8'b01_11_10_10);
724 trans t_ARRQ_RETY_W4RPtoIDLE_W4RP (8'b01_11_10_10 -> 8'b01_11_00_10);
725 trans t_ARRQ_RETY_W4RPtoARRQ_W4RP (8'b01_11_10_10 -> 8'b01_11_01_10);
726 trans t_ARRQ_RETY_W4RPtoRETY_W4RP (8'b01_11_10_10 -> 8'b01_11_11_10);
727 trans t_ARRQ_RETY_RETYtoIDLE_W4RP (8'b01_11_11_10 -> 8'b01_11_00_10);
728
729 trans t_ARRQ_RETY_IDLEtoARRQ_RETY (8'b01_11_00_11 -> 8'b01_11_01_11);
730 trans t_ARRQ_RETY_ARRQtoW4RP_RETY (8'b01_11_01_11 -> 8'b01_11_10_11);
731 trans t_ARRQ_RETY_W4RPtoIDLE_RETY (8'b01_11_10_11 -> 8'b01_11_00_11);
732 trans t_ARRQ_RETY_W4RPtoARRQ_RETY (8'b01_11_10_11 -> 8'b01_11_01_11);
733 trans t_ARRQ_RETY_W4RPtoRETY_RETY (8'b01_11_10_11 -> 8'b01_11_11_11);
734 trans t_ARRQ_RETY_RETYtoIDLE_RETY (8'b01_11_11_11 -> 8'b01_11_00_11);
735//9
736 trans t_W4RP_IDLE_IDLEtoARRQ_IDLE (8'b10_00_00_00 -> 8'b10_00_01_00);
737 trans t_W4RP_IDLE_ARRQtoW4RP_IDLE (8'b10_00_01_00 -> 8'b10_00_10_00);
738 trans t_W4RP_IDLE_W4RPtoIDLE_IDLE (8'b10_00_10_00 -> 8'b10_00_00_00);
739 trans t_W4RP_IDLE_W4RPtoARRQ_IDLE (8'b10_00_10_00 -> 8'b10_00_01_00);
740 trans t_W4RP_IDLE_W4RPtoRETY_IDLE (8'b10_00_10_00 -> 8'b10_00_11_00);
741 trans t_W4RP_IDLE_RETYtoIDLE_IDLE (8'b10_00_11_00 -> 8'b10_00_00_00);
742
743 trans t_W4RP_IDLE_IDLEtoARRQ_ARRQ (8'b10_00_00_01 -> 8'b10_00_01_01);
744 trans t_W4RP_IDLE_ARRQtoW4RP_ARRQ (8'b10_00_01_01 -> 8'b10_00_10_01);
745 trans t_W4RP_IDLE_W4RPtoIDLE_ARRQ (8'b10_00_10_01 -> 8'b10_00_00_01);
746 trans t_W4RP_IDLE_W4RPtoARRQ_ARRQ (8'b10_00_10_01 -> 8'b10_00_01_01);
747 trans t_W4RP_IDLE_W4RPtoRETY_ARRQ (8'b10_00_10_01 -> 8'b10_00_11_01);
748 trans t_W4RP_IDLE_RETYtoIDLE_ARRQ (8'b10_00_11_01 -> 8'b10_00_00_01);
749
750 trans t_W4RP_IDLE_IDLEtoARRQ_W4RP (8'b10_00_00_10 -> 8'b10_00_01_10);
751 trans t_W4RP_IDLE_ARRQtoW4RP_W4RP (8'b10_00_01_10 -> 8'b10_00_10_10);
752 trans t_W4RP_IDLE_W4RPtoIDLE_W4RP (8'b10_00_10_10 -> 8'b10_00_00_10);
753 trans t_W4RP_IDLE_W4RPtoARRQ_W4RP (8'b10_00_10_10 -> 8'b10_00_01_10);
754 trans t_W4RP_IDLE_W4RPtoRETY_W4RP (8'b10_00_10_10 -> 8'b10_00_11_10);
755 trans t_W4RP_IDLE_RETYtoIDLE_W4RP (8'b10_00_11_10 -> 8'b10_00_00_10);
756
757 trans t_W4RP_IDLE_IDLEtoARRQ_RETY (8'b10_00_00_11 -> 8'b10_00_01_11);
758 trans t_W4RP_IDLE_ARRQtoW4RP_RETY (8'b10_00_01_11 -> 8'b10_00_10_11);
759 trans t_W4RP_IDLE_W4RPtoIDLE_RETY (8'b10_00_10_11 -> 8'b10_00_00_11);
760 trans t_W4RP_IDLE_W4RPtoARRQ_RETY (8'b10_00_10_11 -> 8'b10_00_01_11);
761 trans t_W4RP_IDLE_W4RPtoRETY_RETY (8'b10_00_10_11 -> 8'b10_00_11_11);
762 trans t_W4RP_IDLE_RETYtoIDLE_RETY (8'b10_00_11_11 -> 8'b10_00_00_11);
763
764//10
765 trans t_W4RP_ARRQ_IDLEtoARRQ_IDLE (8'b10_01_00_00 -> 8'b10_01_01_00);
766 trans t_W4RP_ARRQ_ARRQtoW4RP_IDLE (8'b10_01_01_00 -> 8'b10_01_10_00);
767 trans t_W4RP_ARRQ_W4RPtoIDLE_IDLE (8'b10_01_10_00 -> 8'b10_01_00_00);
768 trans t_W4RP_ARRQ_W4RPtoARRQ_IDLE (8'b10_01_10_00 -> 8'b10_01_01_00);
769 trans t_W4RP_ARRQ_W4RPtoRETY_IDLE (8'b10_01_10_00 -> 8'b10_01_11_00);
770 trans t_W4RP_ARRQ_RETYtoIDLE_IDLE (8'b10_01_11_00 -> 8'b10_01_00_00);
771
772 trans t_W4RP_ARRQ_IDLEtoARRQ_ARRQ (8'b10_01_00_01 -> 8'b10_01_01_01);
773 trans t_W4RP_ARRQ_ARRQtoW4RP_ARRQ (8'b10_01_01_01 -> 8'b10_01_10_01);
774 trans t_W4RP_ARRQ_W4RPtoIDLE_ARRQ (8'b10_01_10_01 -> 8'b10_01_00_01);
775 trans t_W4RP_ARRQ_W4RPtoARRQ_ARRQ (8'b10_01_10_01 -> 8'b10_01_01_01);
776 trans t_W4RP_ARRQ_W4RPtoRETY_ARRQ (8'b10_01_10_01 -> 8'b10_01_11_01);
777 trans t_W4RP_ARRQ_RETYtoIDLE_ARRQ (8'b10_01_11_01 -> 8'b10_01_00_01);
778
779 trans t_W4RP_ARRQ_IDLEtoARRQ_W4RP (8'b10_01_00_10 -> 8'b10_01_01_10);
780 trans t_W4RP_ARRQ_ARRQtoW4RP_W4RP (8'b10_01_01_10 -> 8'b10_01_10_10);
781 trans t_W4RP_ARRQ_W4RPtoIDLE_W4RP (8'b10_01_10_10 -> 8'b10_01_00_10);
782 trans t_W4RP_ARRQ_W4RPtoARRQ_W4RP (8'b10_01_10_10 -> 8'b10_01_01_10);
783 trans t_W4RP_ARRQ_W4RPtoRETY_W4RP (8'b10_01_10_10 -> 8'b10_01_11_10);
784 trans t_W4RP_ARRQ_RETYtoIDLE_W4RP (8'b10_01_11_10 -> 8'b10_01_00_10);
785
786 trans t_W4RP_ARRQ_IDLEtoARRQ_RETY (8'b10_01_00_11 -> 8'b10_01_01_11);
787 trans t_W4RP_ARRQ_ARRQtoW4RP_RETY (8'b10_01_01_11 -> 8'b10_01_10_11);
788 trans t_W4RP_ARRQ_W4RPtoIDLE_RETY (8'b10_01_10_11 -> 8'b10_01_00_11);
789 trans t_W4RP_ARRQ_W4RPtoARRQ_RETY (8'b10_01_10_11 -> 8'b10_01_01_11);
790 trans t_W4RP_ARRQ_W4RPtoRETY_RETY (8'b10_01_10_11 -> 8'b10_01_11_11);
791 trans t_W4RP_ARRQ_RETYtoIDLE_RETY (8'b10_01_11_11 -> 8'b10_01_00_11);
792
793//11
794 trans t_W4RP_W4RP_IDLEtoARRQ_IDLE (8'b10_10_00_00 -> 8'b10_10_01_00);
795 trans t_W4RP_W4RP_ARRQtoW4RP_IDLE (8'b10_10_01_00 -> 8'b10_10_10_00);
796 trans t_W4RP_W4RP_W4RPtoIDLE_IDLE (8'b10_10_10_00 -> 8'b10_10_00_00);
797 trans t_W4RP_W4RP_W4RPtoARRQ_IDLE (8'b10_10_10_00 -> 8'b10_10_01_00);
798 trans t_W4RP_W4RP_W4RPtoRETY_IDLE (8'b10_10_10_00 -> 8'b10_10_11_00);
799 trans t_W4RP_W4RP_RETYtoIDLE_IDLE (8'b10_10_11_00 -> 8'b10_10_00_00);
800
801 trans t_W4RP_W4RP_IDLEtoARRQ_ARRQ (8'b10_10_00_01 -> 8'b10_10_01_01);
802 trans t_W4RP_W4RP_ARRQtoW4RP_ARRQ (8'b10_10_01_01 -> 8'b10_10_10_01);
803 trans t_W4RP_W4RP_W4RPtoIDLE_ARRQ (8'b10_10_10_01 -> 8'b10_10_00_01);
804 trans t_W4RP_W4RP_W4RPtoARRQ_ARRQ (8'b10_10_10_01 -> 8'b10_10_01_01);
805 trans t_W4RP_W4RP_W4RPtoRETY_ARRQ (8'b10_10_10_01 -> 8'b10_10_11_01);
806 trans t_W4RP_W4RP_RETYtoIDLE_ARRQ (8'b10_10_11_01 -> 8'b10_10_00_01);
807
808 trans t_W4RP_W4RP_IDLEtoARRQ_W4RP (8'b10_10_00_10 -> 8'b10_10_01_10);
809 trans t_W4RP_W4RP_ARRQtoW4RP_W4RP (8'b10_10_01_10 -> 8'b10_10_10_10);
810 trans t_W4RP_W4RP_W4RPtoIDLE_W4RP (8'b10_10_10_10 -> 8'b10_10_00_10);
811 trans t_W4RP_W4RP_W4RPtoARRQ_W4RP (8'b10_10_10_10 -> 8'b10_10_01_10);
812 trans t_W4RP_W4RP_W4RPtoRETY_W4RP (8'b10_10_10_10 -> 8'b10_10_11_10);
813 trans t_W4RP_W4RP_RETYtoIDLE_W4RP (8'b10_10_11_10 -> 8'b10_10_00_10);
814
815 trans t_W4RP_W4RP_IDLEtoARRQ_RETY (8'b10_10_00_11 -> 8'b10_10_01_11);
816 trans t_W4RP_W4RP_ARRQtoW4RP_RETY (8'b10_10_01_11 -> 8'b10_10_10_11);
817 trans t_W4RP_W4RP_W4RPtoIDLE_RETY (8'b10_10_10_11 -> 8'b10_10_00_11);
818 trans t_W4RP_W4RP_W4RPtoARRQ_RETY (8'b10_10_10_11 -> 8'b10_10_01_11);
819 trans t_W4RP_W4RP_W4RPtoRETY_RETY (8'b10_10_10_11 -> 8'b10_10_11_11);
820 trans t_W4RP_W4RP_RETYtoIDLE_RETY (8'b10_10_11_11 -> 8'b10_10_00_11);
821
822//12
823 trans t_W4RP_RETY_IDLEtoARRQ_IDLE (8'b10_11_00_00 -> 8'b10_11_01_00);
824 trans t_W4RP_RETY_ARRQtoW4RP_IDLE (8'b10_11_01_00 -> 8'b10_11_10_00);
825 trans t_W4RP_RETY_W4RPtoIDLE_IDLE (8'b10_11_10_00 -> 8'b10_11_00_00);
826 trans t_W4RP_RETY_W4RPtoARRQ_IDLE (8'b10_11_10_00 -> 8'b10_11_01_00);
827 trans t_W4RP_RETY_W4RPtoRETY_IDLE (8'b10_11_10_00 -> 8'b10_11_11_00);
828 trans t_W4RP_RETY_RETYtoIDLE_IDLE (8'b10_11_11_00 -> 8'b10_11_00_00);
829
830 trans t_W4RP_RETY_IDLEtoARRQ_ARRQ (8'b10_11_00_01 -> 8'b10_11_01_01);
831 trans t_W4RP_RETY_ARRQtoW4RP_ARRQ (8'b10_11_01_01 -> 8'b10_11_10_01);
832 trans t_W4RP_RETY_W4RPtoIDLE_ARRQ (8'b10_11_10_01 -> 8'b10_11_00_01);
833 trans t_W4RP_RETY_W4RPtoARRQ_ARRQ (8'b10_11_10_01 -> 8'b10_11_01_01);
834 trans t_W4RP_RETY_W4RPtoRETY_ARRQ (8'b10_11_10_01 -> 8'b10_11_11_01);
835 trans t_W4RP_RETY_RETYtoIDLE_ARRQ (8'b10_11_11_01 -> 8'b10_11_00_01);
836
837 trans t_W4RP_RETY_IDLEtoARRQ_W4RP (8'b10_11_00_10 -> 8'b10_11_01_10);
838 trans t_W4RP_RETY_ARRQtoW4RP_W4RP (8'b10_11_01_10 -> 8'b10_11_10_10);
839 trans t_W4RP_RETY_W4RPtoIDLE_W4RP (8'b10_11_10_10 -> 8'b10_11_00_10);
840 trans t_W4RP_RETY_W4RPtoARRQ_W4RP (8'b10_11_10_10 -> 8'b10_11_01_10);
841 trans t_W4RP_RETY_W4RPtoRETY_W4RP (8'b10_11_10_10 -> 8'b10_11_11_10);
842 trans t_W4RP_RETY_RETYtoIDLE_W4RP (8'b10_11_11_10 -> 8'b10_11_00_10);
843
844 trans t_W4RP_RETY_IDLEtoARRQ_RETY (8'b10_11_00_11 -> 8'b10_11_01_11);
845 trans t_W4RP_RETY_ARRQtoW4RP_RETY (8'b10_11_01_11 -> 8'b10_11_10_11);
846 trans t_W4RP_RETY_W4RPtoIDLE_RETY (8'b10_11_10_11 -> 8'b10_11_00_11);
847 trans t_W4RP_RETY_W4RPtoARRQ_RETY (8'b10_11_10_11 -> 8'b10_11_01_11);
848 trans t_W4RP_RETY_W4RPtoRETY_RETY (8'b10_11_10_11 -> 8'b10_11_11_11);
849 trans t_W4RP_RETY_RETYtoIDLE_RETY (8'b10_11_11_11 -> 8'b10_11_00_11);
850
851//13
852 trans t_RETY_IDLE_IDLEtoARRQ_IDLE (8'b11_00_00_00 -> 8'b11_00_01_00);
853 trans t_RETY_IDLE_ARRQtoW4RP_IDLE (8'b11_00_01_00 -> 8'b11_00_10_00);
854 trans t_RETY_IDLE_W4RPtoIDLE_IDLE (8'b11_00_10_00 -> 8'b11_00_00_00);
855 trans t_RETY_IDLE_W4RPtoARRQ_IDLE (8'b11_00_10_00 -> 8'b11_00_01_00);
856 trans t_RETY_IDLE_W4RPtoRETY_IDLE (8'b11_00_10_00 -> 8'b11_00_11_00);
857 trans t_RETY_IDLE_RETYtoIDLE_IDLE (8'b11_00_11_00 -> 8'b11_00_00_00);
858
859 trans t_RETY_IDLE_IDLEtoARRQ_ARRQ (8'b11_00_00_01 -> 8'b11_00_01_01);
860 trans t_RETY_IDLE_ARRQtoW4RP_ARRQ (8'b11_00_01_01 -> 8'b11_00_10_01);
861 trans t_RETY_IDLE_W4RPtoIDLE_ARRQ (8'b11_00_10_01 -> 8'b11_00_00_01);
862 trans t_RETY_IDLE_W4RPtoARRQ_ARRQ (8'b11_00_10_01 -> 8'b11_00_01_01);
863 trans t_RETY_IDLE_W4RPtoRETY_ARRQ (8'b11_00_10_01 -> 8'b11_00_11_01);
864 trans t_RETY_IDLE_RETYtoIDLE_ARRQ (8'b11_00_11_01 -> 8'b11_00_00_01);
865
866 trans t_RETY_IDLE_IDLEtoARRQ_W4RP (8'b11_00_00_10 -> 8'b11_00_01_10);
867 trans t_RETY_IDLE_ARRQtoW4RP_W4RP (8'b11_00_01_10 -> 8'b11_00_10_10);
868 trans t_RETY_IDLE_W4RPtoIDLE_W4RP (8'b11_00_10_10 -> 8'b11_00_00_10);
869 trans t_RETY_IDLE_W4RPtoARRQ_W4RP (8'b11_00_10_10 -> 8'b11_00_01_10);
870 trans t_RETY_IDLE_W4RPtoRETY_W4RP (8'b11_00_10_10 -> 8'b11_00_11_10);
871 trans t_RETY_IDLE_RETYtoIDLE_W4RP (8'b11_00_11_10 -> 8'b11_00_00_10);
872
873 trans t_RETY_IDLE_IDLEtoARRQ_RETY (8'b11_00_00_11 -> 8'b11_00_01_11);
874 trans t_RETY_IDLE_ARRQtoW4RP_RETY (8'b11_00_01_11 -> 8'b11_00_10_11);
875 trans t_RETY_IDLE_W4RPtoIDLE_RETY (8'b11_00_10_11 -> 8'b11_00_00_11);
876 trans t_RETY_IDLE_W4RPtoARRQ_RETY (8'b11_00_10_11 -> 8'b11_00_01_11);
877 trans t_RETY_IDLE_W4RPtoRETY_RETY (8'b11_00_10_11 -> 8'b11_00_11_11);
878 trans t_RETY_IDLE_RETYtoIDLE_RETY (8'b11_00_11_11 -> 8'b11_00_00_11);
879
880//14
881 trans t_RETY_ARRQ_IDLEtoARRQ_IDLE (8'b11_01_00_00 -> 8'b11_01_01_00);
882 trans t_RETY_ARRQ_ARRQtoW4RP_IDLE (8'b11_01_01_00 -> 8'b11_01_10_00);
883 trans t_RETY_ARRQ_W4RPtoIDLE_IDLE (8'b11_01_10_00 -> 8'b11_01_00_00);
884 trans t_RETY_ARRQ_W4RPtoARRQ_IDLE (8'b11_01_10_00 -> 8'b11_01_01_00);
885 trans t_RETY_ARRQ_W4RPtoRETY_IDLE (8'b11_01_10_00 -> 8'b11_01_11_00);
886 trans t_RETY_ARRQ_RETYtoIDLE_IDLE (8'b11_01_11_00 -> 8'b11_01_00_00);
887
888 trans t_RETY_ARRQ_IDLEtoARRQ_ARRQ (8'b11_01_00_01 -> 8'b11_01_01_01);
889 trans t_RETY_ARRQ_ARRQtoW4RP_ARRQ (8'b11_01_01_01 -> 8'b11_01_10_01);
890 trans t_RETY_ARRQ_W4RPtoIDLE_ARRQ (8'b11_01_10_01 -> 8'b11_01_00_01);
891 trans t_RETY_ARRQ_W4RPtoARRQ_ARRQ (8'b11_01_10_01 -> 8'b11_01_01_01);
892 trans t_RETY_ARRQ_W4RPtoRETY_ARRQ (8'b11_01_10_01 -> 8'b11_01_11_01);
893 trans t_RETY_ARRQ_RETYtoIDLE_ARRQ (8'b11_01_11_01 -> 8'b11_01_00_01);
894
895 trans t_RETY_ARRQ_IDLEtoARRQ_W4RP (8'b11_01_00_10 -> 8'b11_01_01_10);
896 trans t_RETY_ARRQ_ARRQtoW4RP_W4RP (8'b11_01_01_10 -> 8'b11_01_10_10);
897 trans t_RETY_ARRQ_W4RPtoIDLE_W4RP (8'b11_01_10_10 -> 8'b11_01_00_10);
898 trans t_RETY_ARRQ_W4RPtoARRQ_W4RP (8'b11_01_10_10 -> 8'b11_01_01_10);
899 trans t_RETY_ARRQ_W4RPtoRETY_W4RP (8'b11_01_10_10 -> 8'b11_01_11_10);
900 trans t_RETY_ARRQ_RETYtoIDLE_W4RP (8'b11_01_11_10 -> 8'b11_01_00_10);
901
902 trans t_RETY_ARRQ_IDLEtoARRQ_RETY (8'b11_01_00_11 -> 8'b11_01_01_11);
903 trans t_RETY_ARRQ_ARRQtoW4RP_RETY (8'b11_01_01_11 -> 8'b11_01_10_11);
904 trans t_RETY_ARRQ_W4RPtoIDLE_RETY (8'b11_01_10_11 -> 8'b11_01_00_11);
905 trans t_RETY_ARRQ_W4RPtoARRQ_RETY (8'b11_01_10_11 -> 8'b11_01_01_11);
906 trans t_RETY_ARRQ_W4RPtoRETY_RETY (8'b11_01_10_11 -> 8'b11_01_11_11);
907 trans t_RETY_ARRQ_RETYtoIDLE_RETY (8'b11_01_11_11 -> 8'b11_01_00_11);
908
909//15
910 trans t_RETY_W4RP_IDLEtoARRQ_IDLE (8'b11_10_00_00 -> 8'b11_10_01_00);
911 trans t_RETY_W4RP_ARRQtoW4RP_IDLE (8'b11_10_01_00 -> 8'b11_10_10_00);
912 trans t_RETY_W4RP_W4RPtoIDLE_IDLE (8'b11_10_10_00 -> 8'b11_10_00_00);
913 trans t_RETY_W4RP_W4RPtoARRQ_IDLE (8'b11_10_10_00 -> 8'b11_10_01_00);
914 trans t_RETY_W4RP_W4RPtoRETY_IDLE (8'b11_10_10_00 -> 8'b11_10_11_00);
915 trans t_RETY_W4RP_RETYtoIDLE_IDLE (8'b11_10_11_00 -> 8'b11_10_00_00);
916
917 trans t_RETY_W4RP_IDLEtoARRQ_ARRQ (8'b11_10_00_01 -> 8'b11_10_01_01);
918 trans t_RETY_W4RP_ARRQtoW4RP_ARRQ (8'b11_10_01_01 -> 8'b11_10_10_01);
919 trans t_RETY_W4RP_W4RPtoIDLE_ARRQ (8'b11_10_10_01 -> 8'b11_10_00_01);
920 trans t_RETY_W4RP_W4RPtoARRQ_ARRQ (8'b11_10_10_01 -> 8'b11_10_01_01);
921 trans t_RETY_W4RP_W4RPtoRETY_ARRQ (8'b11_10_10_01 -> 8'b11_10_11_01);
922 trans t_RETY_W4RP_RETYtoIDLE_ARRQ (8'b11_10_11_01 -> 8'b11_10_00_01);
923
924 trans t_RETY_W4RP_IDLEtoARRQ_W4RP (8'b11_10_00_10 -> 8'b11_10_01_10);
925 trans t_RETY_W4RP_ARRQtoW4RP_W4RP (8'b11_10_01_10 -> 8'b11_10_10_10);
926 trans t_RETY_W4RP_W4RPtoIDLE_W4RP (8'b11_10_10_10 -> 8'b11_10_00_10);
927 trans t_RETY_W4RP_W4RPtoARRQ_W4RP (8'b11_10_10_10 -> 8'b11_10_01_10);
928 trans t_RETY_W4RP_W4RPtoRETY_W4RP (8'b11_10_10_10 -> 8'b11_10_11_10);
929 trans t_RETY_W4RP_RETYtoIDLE_W4RP (8'b11_10_11_10 -> 8'b11_10_00_10);
930
931 trans t_RETY_W4RP_IDLEtoARRQ_RETY (8'b11_10_00_11 -> 8'b11_10_01_11);
932 trans t_RETY_W4RP_ARRQtoW4RP_RETY (8'b11_10_01_11 -> 8'b11_10_10_11);
933 trans t_RETY_W4RP_W4RPtoIDLE_RETY (8'b11_10_10_11 -> 8'b11_10_00_11);
934 trans t_RETY_W4RP_W4RPtoARRQ_RETY (8'b11_10_10_11 -> 8'b11_10_01_11);
935 trans t_RETY_W4RP_W4RPtoRETY_RETY (8'b11_10_10_11 -> 8'b11_10_11_11);
936 trans t_RETY_W4RP_RETYtoIDLE_RETY (8'b11_10_11_11 -> 8'b11_10_00_11);
937
938//16
939 trans t_RETY_RETY_IDLEtoARRQ_IDLE (8'b11_11_00_00 -> 8'b11_11_01_00);
940 trans t_RETY_RETY_ARRQtoW4RP_IDLE (8'b11_11_01_00 -> 8'b11_11_10_00);
941 trans t_RETY_RETY_W4RPtoIDLE_IDLE (8'b11_11_10_00 -> 8'b11_11_00_00);
942 trans t_RETY_RETY_W4RPtoARRQ_IDLE (8'b11_11_10_00 -> 8'b11_11_01_00);
943 trans t_RETY_RETY_W4RPtoRETY_IDLE (8'b11_11_10_00 -> 8'b11_11_11_00);
944 trans t_RETY_RETY_RETYtoIDLE_IDLE (8'b11_11_11_00 -> 8'b11_11_00_00);
945
946 trans t_RETY_RETY_IDLEtoARRQ_ARRQ (8'b11_11_00_01 -> 8'b11_11_01_01);
947 trans t_RETY_RETY_ARRQtoW4RP_ARRQ (8'b11_11_01_01 -> 8'b11_11_10_01);
948 trans t_RETY_RETY_W4RPtoIDLE_ARRQ (8'b11_11_10_01 -> 8'b11_11_00_01);
949 trans t_RETY_RETY_W4RPtoARRQ_ARRQ (8'b11_11_10_01 -> 8'b11_11_01_01);
950 trans t_RETY_RETY_W4RPtoRETY_ARRQ (8'b11_11_10_01 -> 8'b11_11_11_01);
951 trans t_RETY_RETY_RETYtoIDLE_ARRQ (8'b11_11_11_01 -> 8'b11_11_00_01);
952
953 trans t_RETY_RETY_IDLEtoARRQ_W4RP (8'b11_11_00_10 -> 8'b11_11_01_10);
954 trans t_RETY_RETY_ARRQtoW4RP_W4RP (8'b11_11_01_10 -> 8'b11_11_10_10);
955 trans t_RETY_RETY_W4RPtoIDLE_W4RP (8'b11_11_10_10 -> 8'b11_11_00_10);
956 trans t_RETY_RETY_W4RPtoARRQ_W4RP (8'b11_11_10_10 -> 8'b11_11_01_10);
957 trans t_RETY_RETY_W4RPtoRETY_W4RP (8'b11_11_10_10 -> 8'b11_11_11_10);
958 trans t_RETY_RETY_RETYtoIDLE_W4RP (8'b11_11_11_10 -> 8'b11_11_00_10);
959
960 trans t_RETY_RETY_IDLEtoARRQ_RETY (8'b11_11_00_11 -> 8'b11_11_01_11);
961 trans t_RETY_RETY_ARRQtoW4RP_RETY (8'b11_11_01_11 -> 8'b11_11_10_11);
962 trans t_RETY_RETY_W4RPtoIDLE_RETY (8'b11_11_10_11 -> 8'b11_11_00_11);
963 trans t_RETY_RETY_W4RPtoARRQ_RETY (8'b11_11_10_11 -> 8'b11_11_01_11);
964 trans t_RETY_RETY_W4RPtoRETY_RETY (8'b11_11_10_11 -> 8'b11_11_11_11);
965 trans t_RETY_RETY_RETYtoIDLE_RETY (8'b11_11_11_11 -> 8'b11_11_00_11);
966
967// dmu int controller 2 changing state independent of others
968//1
969 trans t_IDLE_IDLEtoARRQ_IDLE_IDLE (8'b00_00_00_00 -> 8'b00_01_00_00);
970 trans t_IDLE_ARRQtoW4RP_IDLE_IDLE (8'b00_01_00_00 -> 8'b00_10_00_00);
971 trans t_IDLE_W4RPtoIDLE_IDLE_IDLE (8'b00_10_00_00 -> 8'b00_00_00_00);
972 trans t_IDLE_W4RPtoARRQ_IDLE_IDLE (8'b00_10_00_00 -> 8'b00_01_00_00);
973 trans t_IDLE_W4RPtoRETY_IDLE_IDLE (8'b00_10_00_00 -> 8'b00_11_00_00);
974 trans t_IDLE_RETYtoIDLE_IDLE_IDLE (8'b00_11_00_00 -> 8'b00_00_00_00);
975
976 trans t_IDLE_IDLEtoARRQ_IDLE_ARRQ (8'b00_00_00_01 -> 8'b00_01_00_01);
977 trans t_IDLE_ARRQtoW4RP_IDLE_ARRQ (8'b00_01_00_01 -> 8'b00_10_00_01);
978 trans t_IDLE_W4RPtoIDLE_IDLE_ARRQ (8'b00_10_00_01 -> 8'b00_00_00_01);
979 trans t_IDLE_W4RPtoARRQ_IDLE_ARRQ (8'b00_10_00_01 -> 8'b00_01_00_01);
980 trans t_IDLE_W4RPtoRETY_IDLE_ARRQ (8'b00_10_00_01 -> 8'b00_11_00_01);
981 trans t_IDLE_RETYtoIDLE_IDLE_ARRQ (8'b00_11_00_01 -> 8'b00_00_00_01);
982
983 trans t_IDLE_IDLEtoARRQ_IDLE_W4RP (8'b00_00_00_10 -> 8'b00_01_00_10);
984 trans t_IDLE_ARRQtoW4RP_IDLE_W4RP (8'b00_01_00_10 -> 8'b00_10_00_10);
985 trans t_IDLE_W4RPtoIDLE_IDLE_W4RP (8'b00_10_00_10 -> 8'b00_00_00_10);
986 trans t_IDLE_W4RPtoARRQ_IDLE_W4RP (8'b00_10_00_10 -> 8'b00_01_00_10);
987 trans t_IDLE_W4RPtoRETY_IDLE_W4RP (8'b00_10_00_10 -> 8'b00_11_00_10);
988 trans t_IDLE_RETYtoIDLE_IDLE_W4RP (8'b00_11_00_10 -> 8'b00_00_00_10);
989
990 trans t_IDLE_IDLEtoARRQ_IDLE_RETY (8'b00_00_00_11 -> 8'b00_01_00_11);
991 trans t_IDLE_ARRQtoW4RP_IDLE_RETY (8'b00_01_00_11 -> 8'b00_10_00_11);
992 trans t_IDLE_W4RPtoIDLE_IDLE_RETY (8'b00_10_00_11 -> 8'b00_00_00_11);
993 trans t_IDLE_W4RPtoARRQ_IDLE_RETY (8'b00_10_00_11 -> 8'b00_01_00_11);
994 trans t_IDLE_W4RPtoRETY_IDLE_RETY (8'b00_10_00_11 -> 8'b00_11_00_11);
995 trans t_IDLE_RETYtoIDLE_IDLE_RETY (8'b00_11_00_11 -> 8'b00_00_00_11);
996
997//2
998 trans t_IDLE_IDLEtoARRQ_ARRQ_IDLE (8'b00_00_01_00 -> 8'b00_01_01_00);
999 trans t_IDLE_ARRQtoW4RP_ARRQ_IDLE (8'b00_01_01_00 -> 8'b00_10_01_00);
1000 trans t_IDLE_W4RPtoIDLE_ARRQ_IDLE (8'b00_10_01_00 -> 8'b00_00_01_00);
1001 trans t_IDLE_W4RPtoARRQ_ARRQ_IDLE (8'b00_10_01_00 -> 8'b00_01_01_00);
1002 trans t_IDLE_W4RPtoRETY_ARRQ_IDLE (8'b00_10_01_00 -> 8'b00_11_01_00);
1003 trans t_IDLE_RETYtoIDLE_ARRQ_IDLE (8'b00_11_01_00 -> 8'b00_00_01_00);
1004
1005 trans t_IDLE_IDLEtoARRQ_ARRQ_ARRQ (8'b00_00_01_01 -> 8'b00_01_01_01);
1006 trans t_IDLE_ARRQtoW4RP_ARRQ_ARRQ (8'b00_01_01_01 -> 8'b00_10_01_01);
1007 trans t_IDLE_W4RPtoIDLE_ARRQ_ARRQ (8'b00_10_01_01 -> 8'b00_00_01_01);
1008 trans t_IDLE_W4RPtoARRQ_ARRQ_ARRQ (8'b00_10_01_01 -> 8'b00_01_01_01);
1009 trans t_IDLE_W4RPtoRETY_ARRQ_ARRQ (8'b00_10_01_01 -> 8'b00_11_01_01);
1010 trans t_IDLE_RETYtoIDLE_ARRQ_ARRQ (8'b00_11_01_01 -> 8'b00_00_01_01);
1011
1012 trans t_IDLE_IDLEtoARRQ_ARRQ_W4RP (8'b00_00_01_10 -> 8'b00_01_01_10);
1013 trans t_IDLE_ARRQtoW4RP_ARRQ_W4RP (8'b00_01_01_10 -> 8'b00_10_01_10);
1014 trans t_IDLE_W4RPtoIDLE_ARRQ_W4RP (8'b00_10_01_10 -> 8'b00_00_01_10);
1015 trans t_IDLE_W4RPtoARRQ_ARRQ_W4RP (8'b00_10_01_10 -> 8'b00_01_01_10);
1016 trans t_IDLE_W4RPtoRETY_ARRQ_W4RP (8'b00_10_01_10 -> 8'b00_11_01_10);
1017 trans t_IDLE_RETYtoIDLE_ARRQ_W4RP (8'b00_11_01_10 -> 8'b00_00_01_10);
1018
1019 trans t_IDLE_IDLEtoARRQ_ARRQ_RETY (8'b00_00_01_11 -> 8'b00_01_01_11);
1020 trans t_IDLE_ARRQtoW4RP_ARRQ_RETY (8'b00_01_01_11 -> 8'b00_10_01_11);
1021 trans t_IDLE_W4RPtoIDLE_ARRQ_RETY (8'b00_10_01_11 -> 8'b00_00_01_11);
1022 trans t_IDLE_W4RPtoARRQ_ARRQ_RETY (8'b00_10_01_11 -> 8'b00_01_01_11);
1023 trans t_IDLE_W4RPtoRETY_ARRQ_RETY (8'b00_10_01_11 -> 8'b00_11_01_11);
1024 trans t_IDLE_RETYtoIDLE_ARRQ_RETY (8'b00_11_01_11 -> 8'b00_00_01_11);
1025
1026//3
1027 trans t_IDLE_IDLEtoARRQ_W4RP_IDLE (8'b00_00_10_00 -> 8'b00_01_10_00);
1028 trans t_IDLE_ARRQtoW4RP_W4RP_IDLE (8'b00_01_10_00 -> 8'b00_10_10_00);
1029 trans t_IDLE_W4RPtoIDLE_W4RP_IDLE (8'b00_10_10_00 -> 8'b00_00_10_00);
1030 trans t_IDLE_W4RPtoARRQ_W4RP_IDLE (8'b00_10_10_00 -> 8'b00_01_10_00);
1031 trans t_IDLE_W4RPtoRETY_W4RP_IDLE (8'b00_10_10_00 -> 8'b00_11_10_00);
1032 trans t_IDLE_RETYtoIDLE_W4RP_IDLE (8'b00_11_10_00 -> 8'b00_00_10_00);
1033
1034 trans t_IDLE_IDLEtoARRQ_W4RP_ARRQ (8'b00_00_10_01 -> 8'b00_01_10_01);
1035 trans t_IDLE_ARRQtoW4RP_W4RP_ARRQ (8'b00_01_10_01 -> 8'b00_10_10_01);
1036 trans t_IDLE_W4RPtoIDLE_W4RP_ARRQ (8'b00_10_10_01 -> 8'b00_00_10_01);
1037 trans t_IDLE_W4RPtoARRQ_W4RP_ARRQ (8'b00_10_10_01 -> 8'b00_01_10_01);
1038 trans t_IDLE_W4RPtoRETY_W4RP_ARRQ (8'b00_10_10_01 -> 8'b00_11_10_01);
1039 trans t_IDLE_RETYtoIDLE_W4RP_ARRQ (8'b00_11_10_01 -> 8'b00_00_10_01);
1040
1041 trans t_IDLE_IDLEtoARRQ_W4RP_W4RP (8'b00_00_10_10 -> 8'b00_01_10_10);
1042 trans t_IDLE_ARRQtoW4RP_W4RP_W4RP (8'b00_01_10_10 -> 8'b00_10_10_10);
1043 trans t_IDLE_W4RPtoIDLE_W4RP_W4RP (8'b00_10_10_10 -> 8'b00_00_10_10);
1044 trans t_IDLE_W4RPtoARRQ_W4RP_W4RP (8'b00_10_10_10 -> 8'b00_01_10_10);
1045 trans t_IDLE_W4RPtoRETY_W4RP_W4RP (8'b00_10_10_10 -> 8'b00_11_10_10);
1046 trans t_IDLE_RETYtoIDLE_W4RP_W4RP (8'b00_11_10_10 -> 8'b00_00_10_10);
1047
1048 trans t_IDLE_IDLEtoARRQ_W4RP_RETY (8'b00_00_10_11 -> 8'b00_01_10_11);
1049 trans t_IDLE_ARRQtoW4RP_W4RP_RETY (8'b00_01_10_11 -> 8'b00_10_10_11);
1050 trans t_IDLE_W4RPtoIDLE_W4RP_RETY (8'b00_10_10_11 -> 8'b00_00_10_11);
1051 trans t_IDLE_W4RPtoARRQ_W4RP_RETY (8'b00_10_10_11 -> 8'b00_01_10_11);
1052 trans t_IDLE_W4RPtoRETY_W4RP_RETY (8'b00_10_10_11 -> 8'b00_11_10_11);
1053 trans t_IDLE_RETYtoIDLE_W4RP_RETY (8'b00_11_10_11 -> 8'b00_00_10_11);
1054
1055//4
1056 trans t_IDLE_IDLEtoARRQ_RETY_IDLE (8'b00_00_11_00 -> 8'b00_01_11_00);
1057 trans t_IDLE_ARRQtoW4RP_RETY_IDLE (8'b00_01_11_00 -> 8'b00_10_11_00);
1058 trans t_IDLE_W4RPtoIDLE_RETY_IDLE (8'b00_10_11_00 -> 8'b00_00_11_00);
1059 trans t_IDLE_W4RPtoARRQ_RETY_IDLE (8'b00_10_11_00 -> 8'b00_01_11_00);
1060 trans t_IDLE_W4RPtoRETY_RETY_IDLE (8'b00_10_11_00 -> 8'b00_11_11_00);
1061 trans t_IDLE_RETYtoIDLE_RETY_IDLE (8'b00_11_11_00 -> 8'b00_00_11_00);
1062
1063 trans t_IDLE_IDLEtoARRQ_RETY_ARRQ (8'b00_00_11_01 -> 8'b00_01_11_01);
1064 trans t_IDLE_ARRQtoW4RP_RETY_ARRQ (8'b00_01_11_01 -> 8'b00_10_11_01);
1065 trans t_IDLE_W4RPtoIDLE_RETY_ARRQ (8'b00_10_11_01 -> 8'b00_00_11_01);
1066 trans t_IDLE_W4RPtoARRQ_RETY_ARRQ (8'b00_10_11_01 -> 8'b00_01_11_01);
1067 trans t_IDLE_W4RPtoRETY_RETY_ARRQ (8'b00_10_11_01 -> 8'b00_11_11_01);
1068 trans t_IDLE_RETYtoIDLE_RETY_ARRQ (8'b00_11_11_01 -> 8'b00_00_11_01);
1069
1070 trans t_IDLE_IDLEtoARRQ_RETY_W4RP (8'b00_00_11_10 -> 8'b00_01_11_10);
1071 trans t_IDLE_ARRQtoW4RP_RETY_W4RP (8'b00_01_11_10 -> 8'b00_10_11_10);
1072 trans t_IDLE_W4RPtoIDLE_RETY_W4RP (8'b00_10_11_10 -> 8'b00_00_11_10);
1073 trans t_IDLE_W4RPtoARRQ_RETY_W4RP (8'b00_10_11_10 -> 8'b00_01_11_10);
1074 trans t_IDLE_W4RPtoRETY_RETY_W4RP (8'b00_10_11_10 -> 8'b00_11_11_10);
1075 trans t_IDLE_RETYtoIDLE_RETY_W4RP (8'b00_11_11_10 -> 8'b00_00_11_10);
1076
1077 trans t_IDLE_IDLEtoARRQ_RETY_RETY (8'b00_00_11_11 -> 8'b00_01_11_11);
1078 trans t_IDLE_ARRQtoW4RP_RETY_RETY (8'b00_01_11_11 -> 8'b00_10_11_11);
1079 trans t_IDLE_W4RPtoIDLE_RETY_RETY (8'b00_10_11_11 -> 8'b00_00_11_11);
1080 trans t_IDLE_W4RPtoARRQ_RETY_RETY (8'b00_10_11_11 -> 8'b00_01_11_11);
1081 trans t_IDLE_W4RPtoRETY_RETY_RETY (8'b00_10_11_11 -> 8'b00_11_11_11);
1082 trans t_IDLE_RETYtoIDLE_RETY_RETY (8'b00_11_11_11 -> 8'b00_00_11_11);
1083
1084//5
1085 trans t_ARRQ_IDLEtoARRQ_IDLE_IDLE (8'b01_00_00_00 -> 8'b01_01_00_00);
1086 trans t_ARRQ_ARRQtoW4RP_IDLE_IDLE (8'b01_01_00_00 -> 8'b01_10_00_00);
1087 trans t_ARRQ_W4RPtoIDLE_IDLE_IDLE (8'b01_10_00_00 -> 8'b01_00_00_00);
1088 trans t_ARRQ_W4RPtoARRQ_IDLE_IDLE (8'b01_10_00_00 -> 8'b01_01_00_00);
1089 trans t_ARRQ_W4RPtoRETY_IDLE_IDLE (8'b01_10_00_00 -> 8'b01_11_00_00);
1090 trans t_ARRQ_RETYtoIDLE_IDLE_IDLE (8'b01_11_00_00 -> 8'b01_00_00_00);
1091
1092 trans t_ARRQ_IDLEtoARRQ_IDLE_ARRQ (8'b01_00_00_01 -> 8'b01_01_00_01);
1093 trans t_ARRQ_ARRQtoW4RP_IDLE_ARRQ (8'b01_01_00_01 -> 8'b01_10_00_01);
1094 trans t_ARRQ_W4RPtoIDLE_IDLE_ARRQ (8'b01_10_00_01 -> 8'b01_00_00_01);
1095 trans t_ARRQ_W4RPtoARRQ_IDLE_ARRQ (8'b01_10_00_01 -> 8'b01_01_00_01);
1096 trans t_ARRQ_W4RPtoRETY_IDLE_ARRQ (8'b01_10_00_01 -> 8'b01_11_00_01);
1097 trans t_ARRQ_RETYtoIDLE_IDLE_ARRQ (8'b01_11_00_01 -> 8'b01_00_00_01);
1098
1099 trans t_ARRQ_IDLEtoARRQ_IDLE_W4RP (8'b01_00_00_10 -> 8'b01_01_00_10);
1100 trans t_ARRQ_ARRQtoW4RP_IDLE_W4RP (8'b01_01_00_10 -> 8'b01_10_00_10);
1101 trans t_ARRQ_W4RPtoIDLE_IDLE_W4RP (8'b01_10_00_10 -> 8'b01_00_00_10);
1102 trans t_ARRQ_W4RPtoARRQ_IDLE_W4RP (8'b01_10_00_10 -> 8'b01_01_00_10);
1103 trans t_ARRQ_W4RPtoRETY_IDLE_W4RP (8'b01_10_00_10 -> 8'b01_11_00_10);
1104 trans t_ARRQ_RETYtoIDLE_IDLE_W4RP (8'b01_11_00_10 -> 8'b01_00_00_10);
1105
1106 trans t_ARRQ_IDLEtoARRQ_IDLE_RETY (8'b01_00_00_11 -> 8'b01_01_00_11);
1107 trans t_ARRQ_ARRQtoW4RP_IDLE_RETY (8'b01_01_00_11 -> 8'b01_10_00_11);
1108 trans t_ARRQ_W4RPtoIDLE_IDLE_RETY (8'b01_10_00_11 -> 8'b01_00_00_11);
1109 trans t_ARRQ_W4RPtoARRQ_IDLE_RETY (8'b01_10_00_11 -> 8'b01_01_00_11);
1110 trans t_ARRQ_W4RPtoRETY_IDLE_RETY (8'b01_10_00_11 -> 8'b01_11_00_11);
1111 trans t_ARRQ_RETYtoIDLE_IDLE_RETY (8'b01_11_00_11 -> 8'b01_00_00_11);
1112
1113//6
1114 trans t_ARRQ_IDLEtoARRQ_ARRQ_IDLE (8'b01_00_01_00 -> 8'b01_01_01_00);
1115 trans t_ARRQ_ARRQtoW4RP_ARRQ_IDLE (8'b01_01_01_00 -> 8'b01_10_01_00);
1116 trans t_ARRQ_W4RPtoIDLE_ARRQ_IDLE (8'b01_10_01_00 -> 8'b01_00_01_00);
1117 trans t_ARRQ_W4RPtoARRQ_ARRQ_IDLE (8'b01_10_01_00 -> 8'b01_01_01_00);
1118 trans t_ARRQ_W4RPtoRETY_ARRQ_IDLE (8'b01_10_01_00 -> 8'b01_11_01_00);
1119 trans t_ARRQ_RETYtoIDLE_ARRQ_IDLE (8'b01_11_01_00 -> 8'b01_00_01_00);
1120
1121 trans t_ARRQ_IDLEtoARRQ_ARRQ_ARRQ (8'b01_00_01_01 -> 8'b01_01_01_01);
1122 trans t_ARRQ_ARRQtoW4RP_ARRQ_ARRQ (8'b01_01_01_01 -> 8'b01_10_01_01);
1123 trans t_ARRQ_W4RPtoIDLE_ARRQ_ARRQ (8'b01_10_01_01 -> 8'b01_00_01_01);
1124 trans t_ARRQ_W4RPtoARRQ_ARRQ_ARRQ (8'b01_10_01_01 -> 8'b01_01_01_01);
1125 trans t_ARRQ_W4RPtoRETY_ARRQ_ARRQ (8'b01_10_01_01 -> 8'b01_11_01_01);
1126 trans t_ARRQ_RETYtoIDLE_ARRQ_ARRQ (8'b01_11_01_01 -> 8'b01_00_01_01);
1127
1128 trans t_ARRQ_IDLEtoARRQ_ARRQ_W4RP (8'b01_00_01_10 -> 8'b01_01_01_10);
1129 trans t_ARRQ_ARRQtoW4RP_ARRQ_W4RP (8'b01_01_01_10 -> 8'b01_10_01_10);
1130 trans t_ARRQ_W4RPtoIDLE_ARRQ_W4RP (8'b01_10_01_10 -> 8'b01_00_01_10);
1131 trans t_ARRQ_W4RPtoARRQ_ARRQ_W4RP (8'b01_10_01_10 -> 8'b01_01_01_10);
1132 trans t_ARRQ_W4RPtoRETY_ARRQ_W4RP (8'b01_10_01_10 -> 8'b01_11_01_10);
1133 trans t_ARRQ_RETYtoIDLE_ARRQ_W4RP (8'b01_11_01_10 -> 8'b01_00_01_10);
1134
1135 trans t_ARRQ_IDLEtoARRQ_ARRQ_RETY (8'b01_00_01_11 -> 8'b01_01_01_11);
1136 trans t_ARRQ_ARRQtoW4RP_ARRQ_RETY (8'b01_01_01_11 -> 8'b01_10_01_11);
1137 trans t_ARRQ_W4RPtoIDLE_ARRQ_RETY (8'b01_10_01_11 -> 8'b01_00_01_11);
1138 trans t_ARRQ_W4RPtoARRQ_ARRQ_RETY (8'b01_10_01_11 -> 8'b01_01_01_11);
1139 trans t_ARRQ_W4RPtoRETY_ARRQ_RETY (8'b01_10_01_11 -> 8'b01_11_01_11);
1140 trans t_ARRQ_RETYtoIDLE_ARRQ_RETY (8'b01_11_01_11 -> 8'b01_00_01_11);
1141
1142//7
1143 trans t_ARRQ_IDLEtoARRQ_W4RP_IDLE (8'b01_00_10_00 -> 8'b01_01_10_00);
1144 trans t_ARRQ_ARRQtoW4RP_W4RP_IDLE (8'b01_01_10_00 -> 8'b01_10_10_00);
1145 trans t_ARRQ_W4RPtoIDLE_W4RP_IDLE (8'b01_10_10_00 -> 8'b01_00_10_00);
1146 trans t_ARRQ_W4RPtoARRQ_W4RP_IDLE (8'b01_10_10_00 -> 8'b01_01_10_00);
1147 trans t_ARRQ_W4RPtoRETY_W4RP_IDLE (8'b01_10_10_00 -> 8'b01_11_10_00);
1148 trans t_ARRQ_RETYtoIDLE_W4RP_IDLE (8'b01_11_10_00 -> 8'b01_00_10_00);
1149
1150 trans t_ARRQ_IDLEtoARRQ_W4RP_ARRQ (8'b01_00_10_01 -> 8'b01_01_10_01);
1151 trans t_ARRQ_ARRQtoW4RP_W4RP_ARRQ (8'b01_01_10_01 -> 8'b01_10_10_01);
1152 trans t_ARRQ_W4RPtoIDLE_W4RP_ARRQ (8'b01_10_10_01 -> 8'b01_00_10_01);
1153 trans t_ARRQ_W4RPtoARRQ_W4RP_ARRQ (8'b01_10_10_01 -> 8'b01_01_10_01);
1154 trans t_ARRQ_W4RPtoRETY_W4RP_ARRQ (8'b01_10_10_01 -> 8'b01_11_10_01);
1155 trans t_ARRQ_RETYtoIDLE_W4RP_ARRQ (8'b01_11_10_01 -> 8'b01_00_10_01);
1156
1157 trans t_ARRQ_IDLEtoARRQ_W4RP_W4RP (8'b01_00_10_10 -> 8'b01_01_10_10);
1158 trans t_ARRQ_ARRQtoW4RP_W4RP_W4RP (8'b01_01_10_10 -> 8'b01_10_10_10);
1159 trans t_ARRQ_W4RPtoIDLE_W4RP_W4RP (8'b01_10_10_10 -> 8'b01_00_10_10);
1160 trans t_ARRQ_W4RPtoARRQ_W4RP_W4RP (8'b01_10_10_10 -> 8'b01_01_10_10);
1161 trans t_ARRQ_W4RPtoRETY_W4RP_W4RP (8'b01_10_10_10 -> 8'b01_11_10_10);
1162 trans t_ARRQ_RETYtoIDLE_W4RP_W4RP (8'b01_11_10_10 -> 8'b01_00_10_10);
1163
1164 trans t_ARRQ_IDLEtoARRQ_W4RP_RETY (8'b01_00_10_11 -> 8'b01_01_10_11);
1165 trans t_ARRQ_ARRQtoW4RP_W4RP_RETY (8'b01_01_10_11 -> 8'b01_10_10_11);
1166 trans t_ARRQ_W4RPtoIDLE_W4RP_RETY (8'b01_10_10_11 -> 8'b01_00_10_11);
1167 trans t_ARRQ_W4RPtoARRQ_W4RP_RETY (8'b01_10_10_11 -> 8'b01_01_10_11);
1168 trans t_ARRQ_W4RPtoRETY_W4RP_RETY (8'b01_10_10_11 -> 8'b01_11_10_11);
1169 trans t_ARRQ_RETYtoIDLE_W4RP_RETY (8'b01_11_10_11 -> 8'b01_00_10_11);
1170
1171//8
1172 trans t_ARRQ_IDLEtoARRQ_RETY_IDLE (8'b01_00_11_00 -> 8'b01_01_11_00);
1173 trans t_ARRQ_ARRQtoW4RP_RETY_IDLE (8'b01_01_11_00 -> 8'b01_10_11_00);
1174 trans t_ARRQ_W4RPtoIDLE_RETY_IDLE (8'b01_10_11_00 -> 8'b01_00_11_00);
1175 trans t_ARRQ_W4RPtoARRQ_RETY_IDLE (8'b01_10_11_00 -> 8'b01_01_11_00);
1176 trans t_ARRQ_W4RPtoRETY_RETY_IDLE (8'b01_10_11_00 -> 8'b01_11_11_00);
1177 trans t_ARRQ_RETYtoIDLE_RETY_IDLE (8'b01_11_11_00 -> 8'b01_00_11_00);
1178
1179 trans t_ARRQ_IDLEtoARRQ_RETY_ARRQ (8'b01_00_11_01 -> 8'b01_01_11_01);
1180 trans t_ARRQ_ARRQtoW4RP_RETY_ARRQ (8'b01_01_11_01 -> 8'b01_10_11_01);
1181 trans t_ARRQ_W4RPtoIDLE_RETY_ARRQ (8'b01_10_11_01 -> 8'b01_00_11_01);
1182 trans t_ARRQ_W4RPtoARRQ_RETY_ARRQ (8'b01_10_11_01 -> 8'b01_01_11_01);
1183 trans t_ARRQ_W4RPtoRETY_RETY_ARRQ (8'b01_10_11_01 -> 8'b01_11_11_01);
1184 trans t_ARRQ_RETYtoIDLE_RETY_ARRQ (8'b01_11_11_01 -> 8'b01_00_11_01);
1185
1186 trans t_ARRQ_IDLEtoARRQ_RETY_W4RP (8'b01_00_11_10 -> 8'b01_01_11_10);
1187 trans t_ARRQ_ARRQtoW4RP_RETY_W4RP (8'b01_01_11_10 -> 8'b01_10_11_10);
1188 trans t_ARRQ_W4RPtoIDLE_RETY_W4RP (8'b01_10_11_10 -> 8'b01_00_11_10);
1189 trans t_ARRQ_W4RPtoARRQ_RETY_W4RP (8'b01_10_11_10 -> 8'b01_01_11_10);
1190 trans t_ARRQ_W4RPtoRETY_RETY_W4RP (8'b01_10_11_10 -> 8'b01_11_11_10);
1191 trans t_ARRQ_RETYtoIDLE_RETY_W4RP (8'b01_11_11_10 -> 8'b01_00_11_10);
1192
1193 trans t_ARRQ_IDLEtoARRQ_RETY_RETY (8'b01_00_11_11 -> 8'b01_01_11_11);
1194 trans t_ARRQ_ARRQtoW4RP_RETY_RETY (8'b01_01_11_11 -> 8'b01_10_11_11);
1195 trans t_ARRQ_W4RPtoIDLE_RETY_RETY (8'b01_10_11_11 -> 8'b01_00_11_11);
1196 trans t_ARRQ_W4RPtoARRQ_RETY_RETY (8'b01_10_11_11 -> 8'b01_01_11_11);
1197 trans t_ARRQ_W4RPtoRETY_RETY_RETY (8'b01_10_11_11 -> 8'b01_11_11_11);
1198 trans t_ARRQ_RETYtoIDLE_RETY_RETY (8'b01_11_11_11 -> 8'b01_00_11_11);
1199
1200//9
1201 trans t_W4RP_IDLEtoARRQ_IDLE_IDLE (8'b10_00_00_00 -> 8'b10_01_00_00);
1202 trans t_W4RP_ARRQtoW4RP_IDLE_IDLE (8'b10_01_00_00 -> 8'b10_10_00_00);
1203 trans t_W4RP_W4RPtoIDLE_IDLE_IDLE (8'b10_10_00_00 -> 8'b10_00_00_00);
1204 trans t_W4RP_W4RPtoARRQ_IDLE_IDLE (8'b10_10_00_00 -> 8'b10_01_00_00);
1205 trans t_W4RP_W4RPtoRETY_IDLE_IDLE (8'b10_10_00_00 -> 8'b10_11_00_00);
1206 trans t_W4RP_RETYtoIDLE_IDLE_IDLE (8'b10_11_00_00 -> 8'b10_00_00_00);
1207
1208 trans t_W4RP_IDLEtoARRQ_IDLE_ARRQ (8'b10_00_00_01 -> 8'b10_01_00_01);
1209 trans t_W4RP_ARRQtoW4RP_IDLE_ARRQ (8'b10_01_00_01 -> 8'b10_10_00_01);
1210 trans t_W4RP_W4RPtoIDLE_IDLE_ARRQ (8'b10_10_00_01 -> 8'b10_00_00_01);
1211 trans t_W4RP_W4RPtoARRQ_IDLE_ARRQ (8'b10_10_00_01 -> 8'b10_01_00_01);
1212 trans t_W4RP_W4RPtoRETY_IDLE_ARRQ (8'b10_10_00_01 -> 8'b10_11_00_01);
1213 trans t_W4RP_RETYtoIDLE_IDLE_ARRQ (8'b10_11_00_01 -> 8'b10_00_00_01);
1214
1215 trans t_W4RP_IDLEtoARRQ_IDLE_W4RP (8'b10_00_00_10 -> 8'b10_01_00_10);
1216 trans t_W4RP_ARRQtoW4RP_IDLE_W4RP (8'b10_01_00_10 -> 8'b10_10_00_10);
1217 trans t_W4RP_W4RPtoIDLE_IDLE_W4RP (8'b10_10_00_10 -> 8'b10_00_00_10);
1218 trans t_W4RP_W4RPtoARRQ_IDLE_W4RP (8'b10_10_00_10 -> 8'b10_01_00_10);
1219 trans t_W4RP_W4RPtoRETY_IDLE_W4RP (8'b10_10_00_10 -> 8'b10_11_00_10);
1220 trans t_W4RP_RETYtoIDLE_IDLE_W4RP (8'b10_11_00_10 -> 8'b10_00_00_10);
1221
1222 trans t_W4RP_IDLEtoARRQ_IDLE_RETY (8'b10_00_00_11 -> 8'b10_01_00_11);
1223 trans t_W4RP_ARRQtoW4RP_IDLE_RETY (8'b10_01_00_11 -> 8'b10_10_00_11);
1224 trans t_W4RP_W4RPtoIDLE_IDLE_RETY (8'b10_10_00_11 -> 8'b10_00_00_11);
1225 trans t_W4RP_W4RPtoARRQ_IDLE_RETY (8'b10_10_00_11 -> 8'b10_01_00_11);
1226 trans t_W4RP_W4RPtoRETY_IDLE_RETY (8'b10_10_00_11 -> 8'b10_11_00_11);
1227 trans t_W4RP_RETYtoIDLE_IDLE_RETY (8'b10_11_00_11 -> 8'b10_00_00_11);
1228
1229//10
1230 trans t_W4RP_IDLEtoARRQ_ARRQ_IDLE (8'b10_00_01_00 -> 8'b10_01_01_00);
1231 trans t_W4RP_ARRQtoW4RP_ARRQ_IDLE (8'b10_01_01_00 -> 8'b10_10_01_00);
1232 trans t_W4RP_W4RPtoIDLE_ARRQ_IDLE (8'b10_10_01_00 -> 8'b10_00_01_00);
1233 trans t_W4RP_W4RPtoARRQ_ARRQ_IDLE (8'b10_10_01_00 -> 8'b10_01_01_00);
1234 trans t_W4RP_W4RPtoRETY_ARRQ_IDLE (8'b10_10_01_00 -> 8'b10_11_01_00);
1235 trans t_W4RP_RETYtoIDLE_ARRQ_IDLE (8'b10_11_01_00 -> 8'b10_00_01_00);
1236
1237 trans t_W4RP_IDLEtoARRQ_ARRQ_ARRQ (8'b10_00_01_01 -> 8'b10_01_01_01);
1238 trans t_W4RP_ARRQtoW4RP_ARRQ_ARRQ (8'b10_01_01_01 -> 8'b10_10_01_01);
1239 trans t_W4RP_W4RPtoIDLE_ARRQ_ARRQ (8'b10_10_01_01 -> 8'b10_00_01_01);
1240 trans t_W4RP_W4RPtoARRQ_ARRQ_ARRQ (8'b10_10_01_01 -> 8'b10_01_01_01);
1241 trans t_W4RP_W4RPtoRETY_ARRQ_ARRQ (8'b10_10_01_01 -> 8'b10_11_01_01);
1242 trans t_W4RP_RETYtoIDLE_ARRQ_ARRQ (8'b10_11_01_01 -> 8'b10_00_01_01);
1243
1244 trans t_W4RP_IDLEtoARRQ_ARRQ_W4RP (8'b10_00_01_10 -> 8'b10_01_01_10);
1245 trans t_W4RP_ARRQtoW4RP_ARRQ_W4RP (8'b10_01_01_10 -> 8'b10_10_01_10);
1246 trans t_W4RP_W4RPtoIDLE_ARRQ_W4RP (8'b10_10_01_10 -> 8'b10_00_01_10);
1247 trans t_W4RP_W4RPtoARRQ_ARRQ_W4RP (8'b10_10_01_10 -> 8'b10_01_01_10);
1248 trans t_W4RP_W4RPtoRETY_ARRQ_W4RP (8'b10_10_01_10 -> 8'b10_11_01_10);
1249 trans t_W4RP_RETYtoIDLE_ARRQ_W4RP (8'b10_11_01_10 -> 8'b10_00_01_10);
1250
1251 trans t_W4RP_IDLEtoARRQ_ARRQ_RETY (8'b10_00_01_11 -> 8'b10_01_01_11);
1252 trans t_W4RP_ARRQtoW4RP_ARRQ_RETY (8'b10_01_01_11 -> 8'b10_10_01_11);
1253 trans t_W4RP_W4RPtoIDLE_ARRQ_RETY (8'b10_10_01_11 -> 8'b10_00_01_11);
1254 trans t_W4RP_W4RPtoARRQ_ARRQ_RETY (8'b10_10_01_11 -> 8'b10_01_01_11);
1255 trans t_W4RP_W4RPtoRETY_ARRQ_RETY (8'b10_10_01_11 -> 8'b10_11_01_11);
1256 trans t_W4RP_RETYtoIDLE_ARRQ_RETY (8'b10_11_01_11 -> 8'b10_00_01_11);
1257
1258//11
1259 trans t_W4RP_IDLEtoARRQ_W4RP_IDLE (8'b10_00_10_00 -> 8'b10_01_10_00);
1260 trans t_W4RP_ARRQtoW4RP_W4RP_IDLE (8'b10_01_10_00 -> 8'b10_10_10_00);
1261 trans t_W4RP_W4RPtoIDLE_W4RP_IDLE (8'b10_10_10_00 -> 8'b10_00_10_00);
1262 trans t_W4RP_W4RPtoARRQ_W4RP_IDLE (8'b10_10_10_00 -> 8'b10_01_10_00);
1263 trans t_W4RP_W4RPtoRETY_W4RP_IDLE (8'b10_10_10_00 -> 8'b10_11_10_00);
1264 trans t_W4RP_RETYtoIDLE_W4RP_IDLE (8'b10_11_10_00 -> 8'b10_00_10_00);
1265
1266 trans t_W4RP_IDLEtoARRQ_W4RP_ARRQ (8'b10_00_10_01 -> 8'b10_01_10_01);
1267 trans t_W4RP_ARRQtoW4RP_W4RP_ARRQ (8'b10_01_10_01 -> 8'b10_10_10_01);
1268 trans t_W4RP_W4RPtoIDLE_W4RP_ARRQ (8'b10_10_10_01 -> 8'b10_00_10_01);
1269 trans t_W4RP_W4RPtoARRQ_W4RP_ARRQ (8'b10_10_10_01 -> 8'b10_01_10_01);
1270 trans t_W4RP_W4RPtoRETY_W4RP_ARRQ (8'b10_10_10_01 -> 8'b10_11_10_01);
1271 trans t_W4RP_RETYtoIDLE_W4RP_ARRQ (8'b10_11_10_01 -> 8'b10_00_10_01);
1272
1273 trans t_W4RP_IDLEtoARRQ_W4RP_W4RP (8'b10_00_10_10 -> 8'b10_01_10_10);
1274 trans t_W4RP_ARRQtoW4RP_W4RP_W4RP (8'b10_01_10_10 -> 8'b10_10_10_10);
1275 trans t_W4RP_W4RPtoIDLE_W4RP_W4RP (8'b10_10_10_10 -> 8'b10_00_10_10);
1276 trans t_W4RP_W4RPtoARRQ_W4RP_W4RP (8'b10_10_10_10 -> 8'b10_01_10_10);
1277 trans t_W4RP_W4RPtoRETY_W4RP_W4RP (8'b10_10_10_10 -> 8'b10_11_10_10);
1278 trans t_W4RP_RETYtoIDLE_W4RP_W4RP (8'b10_11_10_10 -> 8'b10_00_10_10);
1279
1280 trans t_W4RP_IDLEtoARRQ_W4RP_RETY (8'b10_00_10_11 -> 8'b10_01_10_11);
1281 trans t_W4RP_ARRQtoW4RP_W4RP_RETY (8'b10_01_10_11 -> 8'b10_10_10_11);
1282 trans t_W4RP_W4RPtoIDLE_W4RP_RETY (8'b10_10_10_11 -> 8'b10_00_10_11);
1283 trans t_W4RP_W4RPtoARRQ_W4RP_RETY (8'b10_10_10_11 -> 8'b10_01_10_11);
1284 trans t_W4RP_W4RPtoRETY_W4RP_RETY (8'b10_10_10_11 -> 8'b10_11_10_11);
1285 trans t_W4RP_RETYtoIDLE_W4RP_RETY (8'b10_11_10_11 -> 8'b10_00_10_11);
1286
1287//12
1288 trans t_W4RP_IDLEtoARRQ_RETY_IDLE (8'b10_00_11_00 -> 8'b10_01_11_00);
1289 trans t_W4RP_ARRQtoW4RP_RETY_IDLE (8'b10_01_11_00 -> 8'b10_10_11_00);
1290 trans t_W4RP_W4RPtoIDLE_RETY_IDLE (8'b10_10_11_00 -> 8'b10_00_11_00);
1291 trans t_W4RP_W4RPtoARRQ_RETY_IDLE (8'b10_10_11_00 -> 8'b10_01_11_00);
1292 trans t_W4RP_W4RPtoRETY_RETY_IDLE (8'b10_10_11_00 -> 8'b10_11_11_00);
1293 trans t_W4RP_RETYtoIDLE_RETY_IDLE (8'b10_11_11_00 -> 8'b10_00_11_00);
1294
1295 trans t_W4RP_IDLEtoARRQ_RETY_ARRQ (8'b10_00_11_01 -> 8'b10_01_11_01);
1296 trans t_W4RP_ARRQtoW4RP_RETY_ARRQ (8'b10_01_11_01 -> 8'b10_10_11_01);
1297 trans t_W4RP_W4RPtoIDLE_RETY_ARRQ (8'b10_10_11_01 -> 8'b10_00_11_01);
1298 trans t_W4RP_W4RPtoARRQ_RETY_ARRQ (8'b10_10_11_01 -> 8'b10_01_11_01);
1299 trans t_W4RP_W4RPtoRETY_RETY_ARRQ (8'b10_10_11_01 -> 8'b10_11_11_01);
1300 trans t_W4RP_RETYtoIDLE_RETY_ARRQ (8'b10_11_11_01 -> 8'b10_00_11_01);
1301
1302 trans t_W4RP_IDLEtoARRQ_RETY_W4RP (8'b10_00_11_10 -> 8'b10_01_11_10);
1303 trans t_W4RP_ARRQtoW4RP_RETY_W4RP (8'b10_01_11_10 -> 8'b10_10_11_10);
1304 trans t_W4RP_W4RPtoIDLE_RETY_W4RP (8'b10_10_11_10 -> 8'b10_00_11_10);
1305 trans t_W4RP_W4RPtoARRQ_RETY_W4RP (8'b10_10_11_10 -> 8'b10_01_11_10);
1306 trans t_W4RP_W4RPtoRETY_RETY_W4RP (8'b10_10_11_10 -> 8'b10_11_11_10);
1307 trans t_W4RP_RETYtoIDLE_RETY_W4RP (8'b10_11_11_10 -> 8'b10_00_11_10);
1308
1309 trans t_W4RP_IDLEtoARRQ_RETY_RETY (8'b10_00_11_11 -> 8'b10_01_11_11);
1310 trans t_W4RP_ARRQtoW4RP_RETY_RETY (8'b10_01_11_11 -> 8'b10_10_11_11);
1311 trans t_W4RP_W4RPtoIDLE_RETY_RETY (8'b10_10_11_11 -> 8'b10_00_11_11);
1312 trans t_W4RP_W4RPtoARRQ_RETY_RETY (8'b10_10_11_11 -> 8'b10_01_11_11);
1313 trans t_W4RP_W4RPtoRETY_RETY_RETY (8'b10_10_11_11 -> 8'b10_11_11_11);
1314 trans t_W4RP_RETYtoIDLE_RETY_RETY (8'b10_11_11_11 -> 8'b10_00_11_11);
1315
1316//13
1317 trans t_RETY_IDLEtoARRQ_IDLE_IDLE (8'b11_00_00_00 -> 8'b11_01_00_00);
1318 trans t_RETY_ARRQtoW4RP_IDLE_IDLE (8'b11_01_00_00 -> 8'b11_10_00_00);
1319 trans t_RETY_W4RPtoIDLE_IDLE_IDLE (8'b11_10_00_00 -> 8'b11_00_00_00);
1320 trans t_RETY_W4RPtoARRQ_IDLE_IDLE (8'b11_10_00_00 -> 8'b11_01_00_00);
1321 trans t_RETY_W4RPtoRETY_IDLE_IDLE (8'b11_10_00_00 -> 8'b11_11_00_00);
1322 trans t_RETY_RETYtoIDLE_IDLE_IDLE (8'b11_11_00_00 -> 8'b11_00_00_00);
1323
1324 trans t_RETY_IDLEtoARRQ_IDLE_ARRQ (8'b11_00_00_01 -> 8'b11_01_00_01);
1325 trans t_RETY_ARRQtoW4RP_IDLE_ARRQ (8'b11_01_00_01 -> 8'b11_10_00_01);
1326 trans t_RETY_W4RPtoIDLE_IDLE_ARRQ (8'b11_10_00_01 -> 8'b11_00_00_01);
1327 trans t_RETY_W4RPtoARRQ_IDLE_ARRQ (8'b11_10_00_01 -> 8'b11_01_00_01);
1328 trans t_RETY_W4RPtoRETY_IDLE_ARRQ (8'b11_10_00_01 -> 8'b11_11_00_01);
1329 trans t_RETY_RETYtoIDLE_IDLE_ARRQ (8'b11_11_00_01 -> 8'b11_00_00_01);
1330
1331 trans t_RETY_IDLEtoARRQ_IDLE_W4RP (8'b11_00_00_10 -> 8'b11_01_00_10);
1332 trans t_RETY_ARRQtoW4RP_IDLE_W4RP (8'b11_01_00_10 -> 8'b11_10_00_10);
1333 trans t_RETY_W4RPtoIDLE_IDLE_W4RP (8'b11_10_00_10 -> 8'b11_00_00_10);
1334 trans t_RETY_W4RPtoARRQ_IDLE_W4RP (8'b11_10_00_10 -> 8'b11_01_00_10);
1335 trans t_RETY_W4RPtoRETY_IDLE_W4RP (8'b11_10_00_10 -> 8'b11_11_00_10);
1336 trans t_RETY_RETYtoIDLE_IDLE_W4RP (8'b11_11_00_10 -> 8'b11_00_00_10);
1337
1338 trans t_RETY_IDLEtoARRQ_IDLE_RETY (8'b11_00_00_11 -> 8'b11_01_00_11);
1339 trans t_RETY_ARRQtoW4RP_IDLE_RETY (8'b11_01_00_11 -> 8'b11_10_00_11);
1340 trans t_RETY_W4RPtoIDLE_IDLE_RETY (8'b11_10_00_11 -> 8'b11_00_00_11);
1341 trans t_RETY_W4RPtoARRQ_IDLE_RETY (8'b11_10_00_11 -> 8'b11_01_00_11);
1342 trans t_RETY_W4RPtoRETY_IDLE_RETY (8'b11_10_00_11 -> 8'b11_11_00_11);
1343 trans t_RETY_RETYtoIDLE_IDLE_RETY (8'b11_11_00_11 -> 8'b11_00_00_11);
1344
1345//14
1346 trans t_RETY_IDLEtoARRQ_ARRQ_IDLE (8'b11_00_01_00 -> 8'b11_01_01_00);
1347 trans t_RETY_ARRQtoW4RP_ARRQ_IDLE (8'b11_01_01_00 -> 8'b11_10_01_00);
1348 trans t_RETY_W4RPtoIDLE_ARRQ_IDLE (8'b11_10_01_00 -> 8'b11_00_01_00);
1349 trans t_RETY_W4RPtoARRQ_ARRQ_IDLE (8'b11_10_01_00 -> 8'b11_01_01_00);
1350 trans t_RETY_W4RPtoRETY_ARRQ_IDLE (8'b11_10_01_00 -> 8'b11_11_01_00);
1351 trans t_RETY_RETYtoIDLE_ARRQ_IDLE (8'b11_11_01_00 -> 8'b11_00_01_00);
1352
1353 trans t_RETY_IDLEtoARRQ_ARRQ_ARRQ (8'b11_00_01_01 -> 8'b11_01_01_01);
1354 trans t_RETY_ARRQtoW4RP_ARRQ_ARRQ (8'b11_01_01_01 -> 8'b11_10_01_01);
1355 trans t_RETY_W4RPtoIDLE_ARRQ_ARRQ (8'b11_10_01_01 -> 8'b11_00_01_01);
1356 trans t_RETY_W4RPtoARRQ_ARRQ_ARRQ (8'b11_10_01_01 -> 8'b11_01_01_01);
1357 trans t_RETY_W4RPtoRETY_ARRQ_ARRQ (8'b11_10_01_01 -> 8'b11_11_01_01);
1358 trans t_RETY_RETYtoIDLE_ARRQ_ARRQ (8'b11_11_01_01 -> 8'b11_00_01_01);
1359
1360 trans t_RETY_IDLEtoARRQ_ARRQ_W4RP (8'b11_00_01_10 -> 8'b11_01_01_10);
1361 trans t_RETY_ARRQtoW4RP_ARRQ_W4RP (8'b11_01_01_10 -> 8'b11_10_01_10);
1362 trans t_RETY_W4RPtoIDLE_ARRQ_W4RP (8'b11_10_01_10 -> 8'b11_00_01_10);
1363 trans t_RETY_W4RPtoARRQ_ARRQ_W4RP (8'b11_10_01_10 -> 8'b11_01_01_10);
1364 trans t_RETY_W4RPtoRETY_ARRQ_W4RP (8'b11_10_01_10 -> 8'b11_11_01_10);
1365 trans t_RETY_RETYtoIDLE_ARRQ_W4RP (8'b11_11_01_10 -> 8'b11_00_01_10);
1366
1367 trans t_RETY_IDLEtoARRQ_ARRQ_RETY (8'b11_00_01_11 -> 8'b11_01_01_11);
1368 trans t_RETY_ARRQtoW4RP_ARRQ_RETY (8'b11_01_01_11 -> 8'b11_10_01_11);
1369 trans t_RETY_W4RPtoIDLE_ARRQ_RETY (8'b11_10_01_11 -> 8'b11_00_01_11);
1370 trans t_RETY_W4RPtoARRQ_ARRQ_RETY (8'b11_10_01_11 -> 8'b11_01_01_11);
1371 trans t_RETY_W4RPtoRETY_ARRQ_RETY (8'b11_10_01_11 -> 8'b11_11_01_11);
1372 trans t_RETY_RETYtoIDLE_ARRQ_RETY (8'b11_11_01_11 -> 8'b11_00_01_11);
1373
1374//15
1375 trans t_RETY_IDLEtoARRQ_W4RP_IDLE (8'b11_00_10_00 -> 8'b11_01_10_00);
1376 trans t_RETY_ARRQtoW4RP_W4RP_IDLE (8'b11_01_10_00 -> 8'b11_10_10_00);
1377 trans t_RETY_W4RPtoIDLE_W4RP_IDLE (8'b11_10_10_00 -> 8'b11_00_10_00);
1378 trans t_RETY_W4RPtoARRQ_W4RP_IDLE (8'b11_10_10_00 -> 8'b11_01_10_00);
1379 trans t_RETY_W4RPtoRETY_W4RP_IDLE (8'b11_10_10_00 -> 8'b11_11_10_00);
1380 trans t_RETY_RETYtoIDLE_W4RP_IDLE (8'b11_11_10_00 -> 8'b11_00_10_00);
1381
1382 trans t_RETY_IDLEtoARRQ_W4RP_ARRQ (8'b11_00_10_01 -> 8'b11_01_10_01);
1383 trans t_RETY_ARRQtoW4RP_W4RP_ARRQ (8'b11_01_10_01 -> 8'b11_10_10_01);
1384 trans t_RETY_W4RPtoIDLE_W4RP_ARRQ (8'b11_10_10_01 -> 8'b11_00_10_01);
1385 trans t_RETY_W4RPtoARRQ_W4RP_ARRQ (8'b11_10_10_01 -> 8'b11_01_10_01);
1386 trans t_RETY_W4RPtoRETY_W4RP_ARRQ (8'b11_10_10_01 -> 8'b11_11_10_01);
1387 trans t_RETY_RETYtoIDLE_W4RP_ARRQ (8'b11_11_10_01 -> 8'b11_00_10_01);
1388
1389 trans t_RETY_IDLEtoARRQ_W4RP_W4RP (8'b11_00_10_10 -> 8'b11_01_10_10);
1390 trans t_RETY_ARRQtoW4RP_W4RP_W4RP (8'b11_01_10_10 -> 8'b11_10_10_10);
1391 trans t_RETY_W4RPtoIDLE_W4RP_W4RP (8'b11_10_10_10 -> 8'b11_00_10_10);
1392 trans t_RETY_W4RPtoARRQ_W4RP_W4RP (8'b11_10_10_10 -> 8'b11_01_10_10);
1393 trans t_RETY_W4RPtoRETY_W4RP_W4RP (8'b11_10_10_10 -> 8'b11_11_10_10);
1394 trans t_RETY_RETYtoIDLE_W4RP_W4RP (8'b11_11_10_10 -> 8'b11_00_10_10);
1395
1396 trans t_RETY_IDLEtoARRQ_W4RP_RETY (8'b11_00_10_11 -> 8'b11_01_10_11);
1397 trans t_RETY_ARRQtoW4RP_W4RP_RETY (8'b11_01_10_11 -> 8'b11_10_10_11);
1398 trans t_RETY_W4RPtoIDLE_W4RP_RETY (8'b11_10_10_11 -> 8'b11_00_10_11);
1399 trans t_RETY_W4RPtoARRQ_W4RP_RETY (8'b11_10_10_11 -> 8'b11_01_10_11);
1400 trans t_RETY_W4RPtoRETY_W4RP_RETY (8'b11_10_10_11 -> 8'b11_11_10_11);
1401 trans t_RETY_RETYtoIDLE_W4RP_RETY (8'b11_11_10_11 -> 8'b11_00_10_11);
1402
1403//16
1404 trans t_RETY_IDLEtoARRQ_RETY_IDLE (8'b11_00_11_00 -> 8'b11_01_11_00);
1405 trans t_RETY_ARRQtoW4RP_RETY_IDLE (8'b11_01_11_00 -> 8'b11_10_11_00);
1406 trans t_RETY_W4RPtoIDLE_RETY_IDLE (8'b11_10_11_00 -> 8'b11_00_11_00);
1407 trans t_RETY_W4RPtoARRQ_RETY_IDLE (8'b11_10_11_00 -> 8'b11_01_11_00);
1408 trans t_RETY_W4RPtoRETY_RETY_IDLE (8'b11_10_11_00 -> 8'b11_11_11_00);
1409 trans t_RETY_RETYtoIDLE_RETY_IDLE (8'b11_11_11_00 -> 8'b11_00_11_00);
1410
1411 trans t_RETY_IDLEtoARRQ_RETY_ARRQ (8'b11_00_11_01 -> 8'b11_01_11_01);
1412 trans t_RETY_ARRQtoW4RP_RETY_ARRQ (8'b11_01_11_01 -> 8'b11_10_11_01);
1413 trans t_RETY_W4RPtoIDLE_RETY_ARRQ (8'b11_10_11_01 -> 8'b11_00_11_01);
1414 trans t_RETY_W4RPtoARRQ_RETY_ARRQ (8'b11_10_11_01 -> 8'b11_01_11_01);
1415 trans t_RETY_W4RPtoRETY_RETY_ARRQ (8'b11_10_11_01 -> 8'b11_11_11_01);
1416 trans t_RETY_RETYtoIDLE_RETY_ARRQ (8'b11_11_11_01 -> 8'b11_00_11_01);
1417
1418 trans t_RETY_IDLEtoARRQ_RETY_W4RP (8'b11_00_11_10 -> 8'b11_01_11_10);
1419 trans t_RETY_ARRQtoW4RP_RETY_W4RP (8'b11_01_11_10 -> 8'b11_10_11_10);
1420 trans t_RETY_W4RPtoIDLE_RETY_W4RP (8'b11_10_11_10 -> 8'b11_00_11_10);
1421 trans t_RETY_W4RPtoARRQ_RETY_W4RP (8'b11_10_11_10 -> 8'b11_01_11_10);
1422 trans t_RETY_W4RPtoRETY_RETY_W4RP (8'b11_10_11_10 -> 8'b11_11_11_10);
1423 trans t_RETY_RETYtoIDLE_RETY_W4RP (8'b11_11_11_10 -> 8'b11_00_11_10);
1424
1425 trans t_RETY_IDLEtoARRQ_RETY_RETY (8'b11_00_11_11 -> 8'b11_01_11_11);
1426 trans t_RETY_ARRQtoW4RP_RETY_RETY (8'b11_01_11_11 -> 8'b11_10_11_11);
1427 trans t_RETY_W4RPtoIDLE_RETY_RETY (8'b11_10_11_11 -> 8'b11_00_11_11);
1428 trans t_RETY_W4RPtoARRQ_RETY_RETY (8'b11_10_11_11 -> 8'b11_01_11_11);
1429 trans t_RETY_W4RPtoRETY_RETY_RETY (8'b11_10_11_11 -> 8'b11_11_11_11);
1430 trans t_RETY_RETYtoIDLE_RETY_RETY (8'b11_11_11_11 -> 8'b11_00_11_11);
1431
1432// dmu int controller 3 changing state independent of others
1433//1
1434 trans t_IDLEtoARRQ_IDLE_IDLE_IDLE (8'b00_00_00_00 -> 8'b01_00_00_00);
1435 trans t_ARRQtoW4RP_IDLE_IDLE_IDLE (8'b01_00_00_00 -> 8'b10_00_00_00);
1436 trans t_W4RPtoIDLE_IDLE_IDLE_IDLE (8'b10_00_00_00 -> 8'b00_00_00_00);
1437 trans t_W4RPtoARRQ_IDLE_IDLE_IDLE (8'b10_00_00_00 -> 8'b01_00_00_00);
1438 trans t_W4RPtoRETY_IDLE_IDLE_IDLE (8'b10_00_00_00 -> 8'b11_00_00_00);
1439 trans t_RETYtoIDLE_IDLE_IDLE_IDLE (8'b11_00_00_00 -> 8'b00_00_00_00);
1440
1441 trans t_IDLEtoARRQ_IDLE_IDLE_ARRQ (8'b00_00_00_01 -> 8'b01_00_00_01);
1442 trans t_ARRQtoW4RP_IDLE_IDLE_ARRQ (8'b01_00_00_01 -> 8'b10_00_00_01);
1443 trans t_W4RPtoIDLE_IDLE_IDLE_ARRQ (8'b10_00_00_01 -> 8'b00_00_00_01);
1444 trans t_W4RPtoARRQ_IDLE_IDLE_ARRQ (8'b10_00_00_01 -> 8'b01_00_00_01);
1445 trans t_W4RPtoRETY_IDLE_IDLE_ARRQ (8'b10_00_00_01 -> 8'b11_00_00_01);
1446 trans t_RETYtoIDLE_IDLE_IDLE_ARRQ (8'b11_00_00_01 -> 8'b00_00_00_01);
1447
1448 trans t_IDLEtoARRQ_IDLE_IDLE_W4RP (8'b00_00_00_10 -> 8'b01_00_00_10);
1449 trans t_ARRQtoW4RP_IDLE_IDLE_W4RP (8'b01_00_00_10 -> 8'b10_00_00_10);
1450 trans t_W4RPtoIDLE_IDLE_IDLE_W4RP (8'b10_00_00_10 -> 8'b00_00_00_10);
1451 trans t_W4RPtoARRQ_IDLE_IDLE_W4RP (8'b10_00_00_10 -> 8'b01_00_00_10);
1452 trans t_W4RPtoRETY_IDLE_IDLE_W4RP (8'b10_00_00_10 -> 8'b11_00_00_10);
1453 trans t_RETYtoIDLE_IDLE_IDLE_W4RP (8'b11_00_00_10 -> 8'b00_00_00_10);
1454
1455 trans t_IDLEtoARRQ_IDLE_IDLE_RETY (8'b00_00_00_11 -> 8'b01_00_00_11);
1456 trans t_ARRQtoW4RP_IDLE_IDLE_RETY (8'b01_00_00_11 -> 8'b10_00_00_11);
1457 trans t_W4RPtoIDLE_IDLE_IDLE_RETY (8'b10_00_00_11 -> 8'b00_00_00_11);
1458 trans t_W4RPtoARRQ_IDLE_IDLE_RETY (8'b10_00_00_11 -> 8'b01_00_00_11);
1459 trans t_W4RPtoRETY_IDLE_IDLE_RETY (8'b10_00_00_11 -> 8'b11_00_00_11);
1460 trans t_RETYtoIDLE_IDLE_IDLE_RETY (8'b11_00_00_11 -> 8'b00_00_00_11);
1461//2
1462 trans t_IDLEtoARRQ_IDLE_ARRQ_IDLE (8'b00_00_01_00 -> 8'b01_00_01_00);
1463 trans t_ARRQtoW4RP_IDLE_ARRQ_IDLE (8'b01_00_01_00 -> 8'b10_00_01_00);
1464 trans t_W4RPtoIDLE_IDLE_ARRQ_IDLE (8'b10_00_01_00 -> 8'b00_00_01_00);
1465 trans t_W4RPtoARRQ_IDLE_ARRQ_IDLE (8'b10_00_01_00 -> 8'b01_00_01_00);
1466 trans t_W4RPtoRETY_IDLE_ARRQ_IDLE (8'b10_00_01_00 -> 8'b11_00_01_00);
1467 trans t_RETYtoIDLE_IDLE_ARRQ_IDLE (8'b11_00_01_00 -> 8'b00_00_01_00);
1468
1469 trans t_IDLEtoARRQ_IDLE_ARRQ_ARRQ (8'b00_00_01_01 -> 8'b01_00_01_01);
1470 trans t_ARRQtoW4RP_IDLE_ARRQ_ARRQ (8'b01_00_01_01 -> 8'b10_00_01_01);
1471 trans t_W4RPtoIDLE_IDLE_ARRQ_ARRQ (8'b10_00_01_01 -> 8'b00_00_01_01);
1472 trans t_W4RPtoARRQ_IDLE_ARRQ_ARRQ (8'b10_00_01_01 -> 8'b01_00_01_01);
1473 trans t_W4RPtoRETY_IDLE_ARRQ_ARRQ (8'b10_00_01_01 -> 8'b11_00_01_01);
1474 trans t_RETYtoIDLE_IDLE_ARRQ_ARRQ (8'b11_00_01_01 -> 8'b00_00_01_01);
1475
1476 trans t_IDLEtoARRQ_IDLE_ARRQ_W4RP (8'b00_00_01_10 -> 8'b01_00_01_10);
1477 trans t_ARRQtoW4RP_IDLE_ARRQ_W4RP (8'b01_00_01_10 -> 8'b10_00_01_10);
1478 trans t_W4RPtoIDLE_IDLE_ARRQ_W4RP (8'b10_00_01_10 -> 8'b00_00_01_10);
1479 trans t_W4RPtoARRQ_IDLE_ARRQ_W4RP (8'b10_00_01_10 -> 8'b01_00_01_10);
1480 trans t_W4RPtoRETY_IDLE_ARRQ_W4RP (8'b10_00_01_10 -> 8'b11_00_01_10);
1481 trans t_RETYtoIDLE_IDLE_ARRQ_W4RP (8'b11_00_01_10 -> 8'b00_00_01_10);
1482
1483 trans t_IDLEtoARRQ_IDLE_ARRQ_RETY (8'b00_00_01_11 -> 8'b01_00_01_11);
1484 trans t_ARRQtoW4RP_IDLE_ARRQ_RETY (8'b01_00_01_11 -> 8'b10_00_01_11);
1485 trans t_W4RPtoIDLE_IDLE_ARRQ_RETY (8'b10_00_01_11 -> 8'b00_00_01_11);
1486 trans t_W4RPtoARRQ_IDLE_ARRQ_RETY (8'b10_00_01_11 -> 8'b01_00_01_11);
1487 trans t_W4RPtoRETY_IDLE_ARRQ_RETY (8'b10_00_01_11 -> 8'b11_00_01_11);
1488 trans t_RETYtoIDLE_IDLE_ARRQ_RETY (8'b11_00_01_11 -> 8'b00_00_01_11);
1489
1490//3
1491 trans t_IDLEtoARRQ_IDLE_W4RP_IDLE (8'b00_00_10_00 -> 8'b01_00_10_00);
1492 trans t_ARRQtoW4RP_IDLE_W4RP_IDLE (8'b01_00_10_00 -> 8'b10_00_10_00);
1493 trans t_W4RPtoIDLE_IDLE_W4RP_IDLE (8'b10_00_10_00 -> 8'b00_00_10_00);
1494 trans t_W4RPtoARRQ_IDLE_W4RP_IDLE (8'b10_00_10_00 -> 8'b01_00_10_00);
1495 trans t_W4RPtoRETY_IDLE_W4RP_IDLE (8'b10_00_10_00 -> 8'b11_00_10_00);
1496 trans t_RETYtoIDLE_IDLE_W4RP_IDLE (8'b11_00_10_00 -> 8'b00_00_10_00);
1497
1498 trans t_IDLEtoARRQ_IDLE_W4RP_ARRQ (8'b00_00_10_01 -> 8'b01_00_10_01);
1499 trans t_ARRQtoW4RP_IDLE_W4RP_ARRQ (8'b01_00_10_01 -> 8'b10_00_10_01);
1500 trans t_W4RPtoIDLE_IDLE_W4RP_ARRQ (8'b10_00_10_01 -> 8'b00_00_10_01);
1501 trans t_W4RPtoARRQ_IDLE_W4RP_ARRQ (8'b10_00_10_01 -> 8'b01_00_10_01);
1502 trans t_W4RPtoRETY_IDLE_W4RP_ARRQ (8'b10_00_10_01 -> 8'b11_00_10_01);
1503 trans t_RETYtoIDLE_IDLE_W4RP_ARRQ (8'b11_00_10_01 -> 8'b00_00_10_01);
1504
1505 trans t_IDLEtoARRQ_IDLE_W4RP_W4RP (8'b00_00_10_10 -> 8'b01_00_10_10);
1506 trans t_ARRQtoW4RP_IDLE_W4RP_W4RP (8'b01_00_10_10 -> 8'b10_00_10_10);
1507 trans t_W4RPtoIDLE_IDLE_W4RP_W4RP (8'b10_00_10_10 -> 8'b00_00_10_10);
1508 trans t_W4RPtoARRQ_IDLE_W4RP_W4RP (8'b10_00_10_10 -> 8'b01_00_10_10);
1509 trans t_W4RPtoRETY_IDLE_W4RP_W4RP (8'b10_00_10_10 -> 8'b11_00_10_10);
1510 trans t_RETYtoIDLE_IDLE_W4RP_W4RP (8'b11_00_10_10 -> 8'b00_00_10_10);
1511
1512 trans t_IDLEtoARRQ_IDLE_W4RP_RETY (8'b00_00_10_11 -> 8'b01_00_10_11);
1513 trans t_ARRQtoW4RP_IDLE_W4RP_RETY (8'b01_00_10_11 -> 8'b10_00_10_11);
1514 trans t_W4RPtoIDLE_IDLE_W4RP_RETY (8'b10_00_10_11 -> 8'b00_00_10_11);
1515 trans t_W4RPtoARRQ_IDLE_W4RP_RETY (8'b10_00_10_11 -> 8'b01_00_10_11);
1516 trans t_W4RPtoRETY_IDLE_W4RP_RETY (8'b10_00_10_11 -> 8'b11_00_10_11);
1517 trans t_RETYtoIDLE_IDLE_W4RP_RETY (8'b11_00_10_11 -> 8'b00_00_10_11);
1518
1519//4
1520 trans t_IDLEtoARRQ_IDLE_RETY_IDLE (8'b00_00_11_00 -> 8'b01_00_11_00);
1521 trans t_ARRQtoW4RP_IDLE_RETY_IDLE (8'b01_00_11_00 -> 8'b10_00_11_00);
1522 trans t_W4RPtoIDLE_IDLE_RETY_IDLE (8'b10_00_11_00 -> 8'b00_00_11_00);
1523 trans t_W4RPtoARRQ_IDLE_RETY_IDLE (8'b10_00_11_00 -> 8'b01_00_11_00);
1524 trans t_W4RPtoRETY_IDLE_RETY_IDLE (8'b10_00_11_00 -> 8'b11_00_11_00);
1525 trans t_RETYtoIDLE_IDLE_RETY_IDLE (8'b11_00_11_00 -> 8'b00_00_11_00);
1526
1527 trans t_IDLEtoARRQ_IDLE_RETY_ARRQ (8'b00_00_11_01 -> 8'b01_00_11_01);
1528 trans t_ARRQtoW4RP_IDLE_RETY_ARRQ (8'b01_00_11_01 -> 8'b10_00_11_01);
1529 trans t_W4RPtoIDLE_IDLE_RETY_ARRQ (8'b10_00_11_01 -> 8'b00_00_11_01);
1530 trans t_W4RPtoARRQ_IDLE_RETY_ARRQ (8'b10_00_11_01 -> 8'b01_00_11_01);
1531 trans t_W4RPtoRETY_IDLE_RETY_ARRQ (8'b10_00_11_01 -> 8'b11_00_11_01);
1532 trans t_RETYtoIDLE_IDLE_RETY_ARRQ (8'b11_00_11_01 -> 8'b00_00_11_01);
1533
1534 trans t_IDLEtoARRQ_IDLE_RETY_W4RP (8'b00_00_11_10 -> 8'b01_00_11_10);
1535 trans t_ARRQtoW4RP_IDLE_RETY_W4RP (8'b01_00_11_10 -> 8'b10_00_11_10);
1536 trans t_W4RPtoIDLE_IDLE_RETY_W4RP (8'b10_00_11_10 -> 8'b00_00_11_10);
1537 trans t_W4RPtoARRQ_IDLE_RETY_W4RP (8'b10_00_11_10 -> 8'b01_00_11_10);
1538 trans t_W4RPtoRETY_IDLE_RETY_W4RP (8'b10_00_11_10 -> 8'b11_00_11_10);
1539 trans t_RETYtoIDLE_IDLE_RETY_W4RP (8'b11_00_11_10 -> 8'b00_00_11_10);
1540
1541 trans t_IDLEtoARRQ_IDLE_RETY_RETY (8'b00_00_11_11 -> 8'b01_00_11_11);
1542 trans t_ARRQtoW4RP_IDLE_RETY_RETY (8'b01_00_11_11 -> 8'b10_00_11_11);
1543 trans t_W4RPtoIDLE_IDLE_RETY_RETY (8'b10_00_11_11 -> 8'b00_00_11_11);
1544 trans t_W4RPtoARRQ_IDLE_RETY_RETY (8'b10_00_11_11 -> 8'b01_00_11_11);
1545 trans t_W4RPtoRETY_IDLE_RETY_RETY (8'b10_00_11_11 -> 8'b11_00_11_11);
1546 trans t_RETYtoIDLE_IDLE_RETY_RETY (8'b11_00_11_11 -> 8'b00_00_11_11);
1547
1548//5
1549 trans t_IDLEtoARRQ_ARRQ_IDLE_IDLE (8'b00_01_00_00 -> 8'b01_01_00_00);
1550 trans t_ARRQtoW4RP_ARRQ_IDLE_IDLE (8'b01_01_00_00 -> 8'b10_01_00_00);
1551 trans t_W4RPtoIDLE_ARRQ_IDLE_IDLE (8'b10_01_00_00 -> 8'b00_01_00_00);
1552 trans t_W4RPtoARRQ_ARRQ_IDLE_IDLE (8'b10_01_00_00 -> 8'b01_01_00_00);
1553 trans t_W4RPtoRETY_ARRQ_IDLE_IDLE (8'b10_01_00_00 -> 8'b11_01_00_00);
1554 trans t_RETYtoIDLE_ARRQ_IDLE_IDLE (8'b11_01_00_00 -> 8'b00_01_00_00);
1555
1556 trans t_IDLEtoARRQ_ARRQ_IDLE_ARRQ (8'b00_01_00_01 -> 8'b01_01_00_01);
1557 trans t_ARRQtoW4RP_ARRQ_IDLE_ARRQ (8'b01_01_00_01 -> 8'b10_01_00_01);
1558 trans t_W4RPtoIDLE_ARRQ_IDLE_ARRQ (8'b10_01_00_01 -> 8'b00_01_00_01);
1559 trans t_W4RPtoARRQ_ARRQ_IDLE_ARRQ (8'b10_01_00_01 -> 8'b01_01_00_01);
1560 trans t_W4RPtoRETY_ARRQ_IDLE_ARRQ (8'b10_01_00_01 -> 8'b11_01_00_01);
1561 trans t_RETYtoIDLE_ARRQ_IDLE_ARRQ (8'b11_01_00_01 -> 8'b00_01_00_01);
1562
1563 trans t_IDLEtoARRQ_ARRQ_IDLE_W4RP (8'b00_01_00_10 -> 8'b01_01_00_10);
1564 trans t_ARRQtoW4RP_ARRQ_IDLE_W4RP (8'b01_01_00_10 -> 8'b10_01_00_10);
1565 trans t_W4RPtoIDLE_ARRQ_IDLE_W4RP (8'b10_01_00_10 -> 8'b00_01_00_10);
1566 trans t_W4RPtoARRQ_ARRQ_IDLE_W4RP (8'b10_01_00_10 -> 8'b01_01_00_10);
1567 trans t_W4RPtoRETY_ARRQ_IDLE_W4RP (8'b10_01_00_10 -> 8'b11_01_00_10);
1568 trans t_RETYtoIDLE_ARRQ_IDLE_W4RP (8'b11_01_00_10 -> 8'b00_01_00_10);
1569
1570 trans t_IDLEtoARRQ_ARRQ_IDLE_RETY (8'b00_01_00_11 -> 8'b01_01_00_11);
1571 trans t_ARRQtoW4RP_ARRQ_IDLE_RETY (8'b01_01_00_11 -> 8'b10_01_00_11);
1572 trans t_W4RPtoIDLE_ARRQ_IDLE_RETY (8'b10_01_00_11 -> 8'b00_01_00_11);
1573 trans t_W4RPtoARRQ_ARRQ_IDLE_RETY (8'b10_01_00_11 -> 8'b01_01_00_11);
1574 trans t_W4RPtoRETY_ARRQ_IDLE_RETY (8'b10_01_00_11 -> 8'b11_01_00_11);
1575 trans t_RETYtoIDLE_ARRQ_IDLE_RETY (8'b11_01_00_11 -> 8'b00_01_00_11);
1576//6
1577 trans t_IDLEtoARRQ_ARRQ_ARRQ_IDLE (8'b00_01_01_00 -> 8'b01_01_01_00);
1578 trans t_ARRQtoW4RP_ARRQ_ARRQ_IDLE (8'b01_01_01_00 -> 8'b10_01_01_00);
1579 trans t_W4RPtoIDLE_ARRQ_ARRQ_IDLE (8'b10_01_01_00 -> 8'b00_01_01_00);
1580 trans t_W4RPtoARRQ_ARRQ_ARRQ_IDLE (8'b10_01_01_00 -> 8'b01_01_01_00);
1581 trans t_W4RPtoRETY_ARRQ_ARRQ_IDLE (8'b10_01_01_00 -> 8'b11_01_01_00);
1582 trans t_RETYtoIDLE_ARRQ_ARRQ_IDLE (8'b11_01_01_00 -> 8'b00_01_01_00);
1583
1584 trans t_IDLEtoARRQ_ARRQ_ARRQ_ARRQ (8'b00_01_01_01 -> 8'b01_01_01_01);
1585 trans t_ARRQtoW4RP_ARRQ_ARRQ_ARRQ (8'b01_01_01_01 -> 8'b10_01_01_01);
1586 trans t_W4RPtoIDLE_ARRQ_ARRQ_ARRQ (8'b10_01_01_01 -> 8'b00_01_01_01);
1587 trans t_W4RPtoARRQ_ARRQ_ARRQ_ARRQ (8'b10_01_01_01 -> 8'b01_01_01_01);
1588 trans t_W4RPtoRETY_ARRQ_ARRQ_ARRQ (8'b10_01_01_01 -> 8'b11_01_01_01);
1589 trans t_RETYtoIDLE_ARRQ_ARRQ_ARRQ (8'b11_01_01_01 -> 8'b00_01_01_01);
1590
1591 trans t_IDLEtoARRQ_ARRQ_ARRQ_W4RP (8'b00_01_01_10 -> 8'b01_01_01_10);
1592 trans t_ARRQtoW4RP_ARRQ_ARRQ_W4RP (8'b01_01_01_10 -> 8'b10_01_01_10);
1593 trans t_W4RPtoIDLE_ARRQ_ARRQ_W4RP (8'b10_01_01_10 -> 8'b00_01_01_10);
1594 trans t_W4RPtoARRQ_ARRQ_ARRQ_W4RP (8'b10_01_01_10 -> 8'b01_01_01_10);
1595 trans t_W4RPtoRETY_ARRQ_ARRQ_W4RP (8'b10_01_01_10 -> 8'b11_01_01_10);
1596 trans t_RETYtoIDLE_ARRQ_ARRQ_W4RP (8'b11_01_01_10 -> 8'b00_01_01_10);
1597
1598 trans t_IDLEtoARRQ_ARRQ_ARRQ_RETY (8'b00_01_01_11 -> 8'b01_01_01_11);
1599 trans t_ARRQtoW4RP_ARRQ_ARRQ_RETY (8'b01_01_01_11 -> 8'b10_01_01_11);
1600 trans t_W4RPtoIDLE_ARRQ_ARRQ_RETY (8'b10_01_01_11 -> 8'b00_01_01_11);
1601 trans t_W4RPtoARRQ_ARRQ_ARRQ_RETY (8'b10_01_01_11 -> 8'b01_01_01_11);
1602 trans t_W4RPtoRETY_ARRQ_ARRQ_RETY (8'b10_01_01_11 -> 8'b11_01_01_11);
1603 trans t_RETYtoIDLE_ARRQ_ARRQ_RETY (8'b11_01_01_11 -> 8'b00_01_01_11);
1604
1605//7
1606 trans t_IDLEtoARRQ_ARRQ_W4RP_IDLE (8'b00_01_10_00 -> 8'b01_01_10_00);
1607 trans t_ARRQtoW4RP_ARRQ_W4RP_IDLE (8'b01_01_10_00 -> 8'b10_01_10_00);
1608 trans t_W4RPtoIDLE_ARRQ_W4RP_IDLE (8'b10_01_10_00 -> 8'b00_01_10_00);
1609 trans t_W4RPtoARRQ_ARRQ_W4RP_IDLE (8'b10_01_10_00 -> 8'b01_01_10_00);
1610 trans t_W4RPtoRETY_ARRQ_W4RP_IDLE (8'b10_01_10_00 -> 8'b11_01_10_00);
1611 trans t_RETYtoIDLE_ARRQ_W4RP_IDLE (8'b11_01_10_00 -> 8'b00_01_10_00);
1612
1613 trans t_IDLEtoARRQ_ARRQ_W4RP_ARRQ (8'b00_01_10_01 -> 8'b01_01_10_01);
1614 trans t_ARRQtoW4RP_ARRQ_W4RP_ARRQ (8'b01_01_10_01 -> 8'b10_01_10_01);
1615 trans t_W4RPtoIDLE_ARRQ_W4RP_ARRQ (8'b10_01_10_01 -> 8'b00_01_10_01);
1616 trans t_W4RPtoARRQ_ARRQ_W4RP_ARRQ (8'b10_01_10_01 -> 8'b01_01_10_01);
1617 trans t_W4RPtoRETY_ARRQ_W4RP_ARRQ (8'b10_01_10_01 -> 8'b11_01_10_01);
1618 trans t_RETYtoIDLE_ARRQ_W4RP_ARRQ (8'b11_01_10_01 -> 8'b00_01_10_01);
1619
1620 trans t_IDLEtoARRQ_ARRQ_W4RP_W4RP (8'b00_01_10_10 -> 8'b01_01_10_10);
1621 trans t_ARRQtoW4RP_ARRQ_W4RP_W4RP (8'b01_01_10_10 -> 8'b10_01_10_10);
1622 trans t_W4RPtoIDLE_ARRQ_W4RP_W4RP (8'b10_01_10_10 -> 8'b00_01_10_10);
1623 trans t_W4RPtoARRQ_ARRQ_W4RP_W4RP (8'b10_01_10_10 -> 8'b01_01_10_10);
1624 trans t_W4RPtoRETY_ARRQ_W4RP_W4RP (8'b10_01_10_10 -> 8'b11_01_10_10);
1625 trans t_RETYtoIDLE_ARRQ_W4RP_W4RP (8'b11_01_10_10 -> 8'b00_01_10_10);
1626
1627 trans t_IDLEtoARRQ_ARRQ_W4RP_RETY (8'b00_01_10_11 -> 8'b01_01_10_11);
1628 trans t_ARRQtoW4RP_ARRQ_W4RP_RETY (8'b01_01_10_11 -> 8'b10_01_10_11);
1629 trans t_W4RPtoIDLE_ARRQ_W4RP_RETY (8'b10_01_10_11 -> 8'b00_01_10_11);
1630 trans t_W4RPtoARRQ_ARRQ_W4RP_RETY (8'b10_01_10_11 -> 8'b01_01_10_11);
1631 trans t_W4RPtoRETY_ARRQ_W4RP_RETY (8'b10_01_10_11 -> 8'b11_01_10_11);
1632 trans t_RETYtoIDLE_ARRQ_W4RP_RETY (8'b11_01_10_11 -> 8'b00_01_10_11);
1633
1634//8
1635 trans t_IDLEtoARRQ_ARRQ_RETY_IDLE (8'b00_01_11_00 -> 8'b01_01_11_00);
1636 trans t_ARRQtoW4RP_ARRQ_RETY_IDLE (8'b01_01_11_00 -> 8'b10_01_11_00);
1637 trans t_W4RPtoIDLE_ARRQ_RETY_IDLE (8'b10_01_11_00 -> 8'b00_01_11_00);
1638 trans t_W4RPtoARRQ_ARRQ_RETY_IDLE (8'b10_01_11_00 -> 8'b01_01_11_00);
1639 trans t_W4RPtoRETY_ARRQ_RETY_IDLE (8'b10_01_11_00 -> 8'b11_01_11_00);
1640 trans t_RETYtoIDLE_ARRQ_RETY_IDLE (8'b11_01_11_00 -> 8'b00_01_11_00);
1641
1642 trans t_IDLEtoARRQ_ARRQ_RETY_ARRQ (8'b00_01_11_01 -> 8'b01_01_11_01);
1643 trans t_ARRQtoW4RP_ARRQ_RETY_ARRQ (8'b01_01_11_01 -> 8'b10_01_11_01);
1644 trans t_W4RPtoIDLE_ARRQ_RETY_ARRQ (8'b10_01_11_01 -> 8'b00_01_11_01);
1645 trans t_W4RPtoARRQ_ARRQ_RETY_ARRQ (8'b10_01_11_01 -> 8'b01_01_11_01);
1646 trans t_W4RPtoRETY_ARRQ_RETY_ARRQ (8'b10_01_11_01 -> 8'b11_01_11_01);
1647 trans t_RETYtoIDLE_ARRQ_RETY_ARRQ (8'b11_01_11_01 -> 8'b00_01_11_01);
1648
1649 trans t_IDLEtoARRQ_ARRQ_RETY_W4RP (8'b00_01_11_10 -> 8'b01_01_11_10);
1650 trans t_ARRQtoW4RP_ARRQ_RETY_W4RP (8'b01_01_11_10 -> 8'b10_01_11_10);
1651 trans t_W4RPtoIDLE_ARRQ_RETY_W4RP (8'b10_01_11_10 -> 8'b00_01_11_10);
1652 trans t_W4RPtoARRQ_ARRQ_RETY_W4RP (8'b10_01_11_10 -> 8'b01_01_11_10);
1653 trans t_W4RPtoRETY_ARRQ_RETY_W4RP (8'b10_01_11_10 -> 8'b11_01_11_10);
1654 trans t_RETYtoIDLE_ARRQ_RETY_W4RP (8'b11_01_11_10 -> 8'b00_01_11_10);
1655
1656 trans t_IDLEtoARRQ_ARRQ_RETY_RETY (8'b00_01_11_11 -> 8'b01_01_11_11);
1657 trans t_ARRQtoW4RP_ARRQ_RETY_RETY (8'b01_01_11_11 -> 8'b10_01_11_11);
1658 trans t_W4RPtoIDLE_ARRQ_RETY_RETY (8'b10_01_11_11 -> 8'b00_01_11_11);
1659 trans t_W4RPtoARRQ_ARRQ_RETY_RETY (8'b10_01_11_11 -> 8'b01_01_11_11);
1660 trans t_W4RPtoRETY_ARRQ_RETY_RETY (8'b10_01_11_11 -> 8'b11_01_11_11);
1661 trans t_RETYtoIDLE_ARRQ_RETY_RETY (8'b11_01_11_11 -> 8'b00_01_11_11);
1662
1663//9
1664 trans t_IDLEtoARRQ_W4RP_IDLE_IDLE (8'b00_10_00_00 -> 8'b01_10_00_00);
1665 trans t_ARRQtoW4RP_W4RP_IDLE_IDLE (8'b01_10_00_00 -> 8'b10_10_00_00);
1666 trans t_W4RPtoIDLE_W4RP_IDLE_IDLE (8'b10_10_00_00 -> 8'b00_10_00_00);
1667 trans t_W4RPtoARRQ_W4RP_IDLE_IDLE (8'b10_10_00_00 -> 8'b01_10_00_00);
1668 trans t_W4RPtoRETY_W4RP_IDLE_IDLE (8'b10_10_00_00 -> 8'b11_10_00_00);
1669 trans t_RETYtoIDLE_W4RP_IDLE_IDLE (8'b11_10_00_00 -> 8'b00_10_00_00);
1670
1671 trans t_IDLEtoARRQ_W4RP_IDLE_ARRQ (8'b00_10_00_01 -> 8'b01_10_00_01);
1672 trans t_ARRQtoW4RP_W4RP_IDLE_ARRQ (8'b01_10_00_01 -> 8'b10_10_00_01);
1673 trans t_W4RPtoIDLE_W4RP_IDLE_ARRQ (8'b10_10_00_01 -> 8'b00_10_00_01);
1674 trans t_W4RPtoARRQ_W4RP_IDLE_ARRQ (8'b10_10_00_01 -> 8'b01_10_00_01);
1675 trans t_W4RPtoRETY_W4RP_IDLE_ARRQ (8'b10_10_00_01 -> 8'b11_10_00_01);
1676 trans t_RETYtoIDLE_W4RP_IDLE_ARRQ (8'b11_10_00_01 -> 8'b00_10_00_01);
1677
1678 trans t_IDLEtoARRQ_W4RP_IDLE_W4RP (8'b00_10_00_10 -> 8'b01_10_00_10);
1679 trans t_ARRQtoW4RP_W4RP_IDLE_W4RP (8'b01_10_00_10 -> 8'b10_10_00_10);
1680 trans t_W4RPtoIDLE_W4RP_IDLE_W4RP (8'b10_10_00_10 -> 8'b00_10_00_10);
1681 trans t_W4RPtoARRQ_W4RP_IDLE_W4RP (8'b10_10_00_10 -> 8'b01_10_00_10);
1682 trans t_W4RPtoRETY_W4RP_IDLE_W4RP (8'b10_10_00_10 -> 8'b11_10_00_10);
1683 trans t_RETYtoIDLE_W4RP_IDLE_W4RP (8'b11_10_00_10 -> 8'b00_10_00_10);
1684
1685 trans t_IDLEtoARRQ_W4RP_IDLE_RETY (8'b00_10_00_11 -> 8'b01_10_00_11);
1686 trans t_ARRQtoW4RP_W4RP_IDLE_RETY (8'b01_10_00_11 -> 8'b10_10_00_11);
1687 trans t_W4RPtoIDLE_W4RP_IDLE_RETY (8'b10_10_00_11 -> 8'b00_10_00_11);
1688 trans t_W4RPtoARRQ_W4RP_IDLE_RETY (8'b10_10_00_11 -> 8'b01_10_00_11);
1689 trans t_W4RPtoRETY_W4RP_IDLE_RETY (8'b10_10_00_11 -> 8'b11_10_00_11);
1690 trans t_RETYtoIDLE_W4RP_IDLE_RETY (8'b11_10_00_11 -> 8'b00_10_00_11);
1691//10
1692 trans t_IDLEtoARRQ_W4RP_ARRQ_IDLE (8'b00_10_01_00 -> 8'b01_10_01_00);
1693 trans t_ARRQtoW4RP_W4RP_ARRQ_IDLE (8'b01_10_01_00 -> 8'b10_10_01_00);
1694 trans t_W4RPtoIDLE_W4RP_ARRQ_IDLE (8'b10_10_01_00 -> 8'b00_10_01_00);
1695 trans t_W4RPtoARRQ_W4RP_ARRQ_IDLE (8'b10_10_01_00 -> 8'b01_10_01_00);
1696 trans t_W4RPtoRETY_W4RP_ARRQ_IDLE (8'b10_10_01_00 -> 8'b11_10_01_00);
1697 trans t_RETYtoIDLE_W4RP_ARRQ_IDLE (8'b11_10_01_00 -> 8'b00_10_01_00);
1698
1699 trans t_IDLEtoARRQ_W4RP_ARRQ_ARRQ (8'b00_10_01_01 -> 8'b01_10_01_01);
1700 trans t_ARRQtoW4RP_W4RP_ARRQ_ARRQ (8'b01_10_01_01 -> 8'b10_10_01_01);
1701 trans t_W4RPtoIDLE_W4RP_ARRQ_ARRQ (8'b10_10_01_01 -> 8'b00_10_01_01);
1702 trans t_W4RPtoARRQ_W4RP_ARRQ_ARRQ (8'b10_10_01_01 -> 8'b01_10_01_01);
1703 trans t_W4RPtoRETY_W4RP_ARRQ_ARRQ (8'b10_10_01_01 -> 8'b11_10_01_01);
1704 trans t_RETYtoIDLE_W4RP_ARRQ_ARRQ (8'b11_10_01_01 -> 8'b00_10_01_01);
1705
1706 trans t_IDLEtoARRQ_W4RP_ARRQ_W4RP (8'b00_10_01_10 -> 8'b01_10_01_10);
1707 trans t_ARRQtoW4RP_W4RP_ARRQ_W4RP (8'b01_10_01_10 -> 8'b10_10_01_10);
1708 trans t_W4RPtoIDLE_W4RP_ARRQ_W4RP (8'b10_10_01_10 -> 8'b00_10_01_10);
1709 trans t_W4RPtoARRQ_W4RP_ARRQ_W4RP (8'b10_10_01_10 -> 8'b01_10_01_10);
1710 trans t_W4RPtoRETY_W4RP_ARRQ_W4RP (8'b10_10_01_10 -> 8'b11_10_01_10);
1711 trans t_RETYtoIDLE_W4RP_ARRQ_W4RP (8'b11_10_01_10 -> 8'b00_10_01_10);
1712
1713 trans t_IDLEtoARRQ_W4RP_ARRQ_RETY (8'b00_10_01_11 -> 8'b01_10_01_11);
1714 trans t_ARRQtoW4RP_W4RP_ARRQ_RETY (8'b01_10_01_11 -> 8'b10_10_01_11);
1715 trans t_W4RPtoIDLE_W4RP_ARRQ_RETY (8'b10_10_01_11 -> 8'b00_10_01_11);
1716 trans t_W4RPtoARRQ_W4RP_ARRQ_RETY (8'b10_10_01_11 -> 8'b01_10_01_11);
1717 trans t_W4RPtoRETY_W4RP_ARRQ_RETY (8'b10_10_01_11 -> 8'b11_10_01_11);
1718 trans t_RETYtoIDLE_W4RP_ARRQ_RETY (8'b11_10_01_11 -> 8'b00_10_01_11);
1719
1720//11
1721 trans t_IDLEtoARRQ_W4RP_W4RP_IDLE (8'b00_10_10_00 -> 8'b01_10_10_00);
1722 trans t_ARRQtoW4RP_W4RP_W4RP_IDLE (8'b01_10_10_00 -> 8'b10_10_10_00);
1723 trans t_W4RPtoIDLE_W4RP_W4RP_IDLE (8'b10_10_10_00 -> 8'b00_10_10_00);
1724 trans t_W4RPtoARRQ_W4RP_W4RP_IDLE (8'b10_10_10_00 -> 8'b01_10_10_00);
1725 trans t_W4RPtoRETY_W4RP_W4RP_IDLE (8'b10_10_10_00 -> 8'b11_10_10_00);
1726 trans t_RETYtoIDLE_W4RP_W4RP_IDLE (8'b11_10_10_00 -> 8'b00_10_10_00);
1727
1728 trans t_IDLEtoARRQ_W4RP_W4RP_ARRQ (8'b00_10_10_01 -> 8'b01_10_10_01);
1729 trans t_ARRQtoW4RP_W4RP_W4RP_ARRQ (8'b01_10_10_01 -> 8'b10_10_10_01);
1730 trans t_W4RPtoIDLE_W4RP_W4RP_ARRQ (8'b10_10_10_01 -> 8'b00_10_10_01);
1731 trans t_W4RPtoARRQ_W4RP_W4RP_ARRQ (8'b10_10_10_01 -> 8'b01_10_10_01);
1732 trans t_W4RPtoRETY_W4RP_W4RP_ARRQ (8'b10_10_10_01 -> 8'b11_10_10_01);
1733 trans t_RETYtoIDLE_W4RP_W4RP_ARRQ (8'b11_10_10_01 -> 8'b00_10_10_01);
1734
1735 trans t_IDLEtoARRQ_W4RP_W4RP_W4RP (8'b00_10_10_10 -> 8'b01_10_10_10);
1736 trans t_ARRQtoW4RP_W4RP_W4RP_W4RP (8'b01_10_10_10 -> 8'b10_10_10_10);
1737 trans t_W4RPtoIDLE_W4RP_W4RP_W4RP (8'b10_10_10_10 -> 8'b00_10_10_10);
1738 trans t_W4RPtoARRQ_W4RP_W4RP_W4RP (8'b10_10_10_10 -> 8'b01_10_10_10);
1739 trans t_W4RPtoRETY_W4RP_W4RP_W4RP (8'b10_10_10_10 -> 8'b11_10_10_10);
1740 trans t_RETYtoIDLE_W4RP_W4RP_W4RP (8'b11_10_10_10 -> 8'b00_10_10_10);
1741
1742 trans t_IDLEtoARRQ_W4RP_W4RP_RETY (8'b00_10_10_11 -> 8'b01_10_10_11);
1743 trans t_ARRQtoW4RP_W4RP_W4RP_RETY (8'b01_10_10_11 -> 8'b10_10_10_11);
1744 trans t_W4RPtoIDLE_W4RP_W4RP_RETY (8'b10_10_10_11 -> 8'b00_10_10_11);
1745 trans t_W4RPtoARRQ_W4RP_W4RP_RETY (8'b10_10_10_11 -> 8'b01_10_10_11);
1746 trans t_W4RPtoRETY_W4RP_W4RP_RETY (8'b10_10_10_11 -> 8'b11_10_10_11);
1747 trans t_RETYtoIDLE_W4RP_W4RP_RETY (8'b11_10_10_11 -> 8'b00_10_10_11);
1748
1749//12
1750 trans t_IDLEtoARRQ_W4RP_RETY_IDLE (8'b00_10_11_00 -> 8'b01_10_11_00);
1751 trans t_ARRQtoW4RP_W4RP_RETY_IDLE (8'b01_10_11_00 -> 8'b10_10_11_00);
1752 trans t_W4RPtoIDLE_W4RP_RETY_IDLE (8'b10_10_11_00 -> 8'b00_10_11_00);
1753 trans t_W4RPtoARRQ_W4RP_RETY_IDLE (8'b10_10_11_00 -> 8'b01_10_11_00);
1754 trans t_W4RPtoRETY_W4RP_RETY_IDLE (8'b10_10_11_00 -> 8'b11_10_11_00);
1755 trans t_RETYtoIDLE_W4RP_RETY_IDLE (8'b11_10_11_00 -> 8'b00_10_11_00);
1756
1757 trans t_IDLEtoARRQ_W4RP_RETY_ARRQ (8'b00_10_11_01 -> 8'b01_10_11_01);
1758 trans t_ARRQtoW4RP_W4RP_RETY_ARRQ (8'b01_10_11_01 -> 8'b10_10_11_01);
1759 trans t_W4RPtoIDLE_W4RP_RETY_ARRQ (8'b10_10_11_01 -> 8'b00_10_11_01);
1760 trans t_W4RPtoARRQ_W4RP_RETY_ARRQ (8'b10_10_11_01 -> 8'b01_10_11_01);
1761 trans t_W4RPtoRETY_W4RP_RETY_ARRQ (8'b10_10_11_01 -> 8'b11_10_11_01);
1762 trans t_RETYtoIDLE_W4RP_RETY_ARRQ (8'b11_10_11_01 -> 8'b00_10_11_01);
1763
1764 trans t_IDLEtoARRQ_W4RP_RETY_W4RP (8'b00_10_11_10 -> 8'b01_10_11_10);
1765 trans t_ARRQtoW4RP_W4RP_RETY_W4RP (8'b01_10_11_10 -> 8'b10_10_11_10);
1766 trans t_W4RPtoIDLE_W4RP_RETY_W4RP (8'b10_10_11_10 -> 8'b00_10_11_10);
1767 trans t_W4RPtoARRQ_W4RP_RETY_W4RP (8'b10_10_11_10 -> 8'b01_10_11_10);
1768 trans t_W4RPtoRETY_W4RP_RETY_W4RP (8'b10_10_11_10 -> 8'b11_10_11_10);
1769 trans t_RETYtoIDLE_W4RP_RETY_W4RP (8'b11_10_11_10 -> 8'b00_10_11_10);
1770
1771 trans t_IDLEtoARRQ_W4RP_RETY_RETY (8'b00_10_11_11 -> 8'b01_10_11_11);
1772 trans t_ARRQtoW4RP_W4RP_RETY_RETY (8'b01_10_11_11 -> 8'b10_10_11_11);
1773 trans t_W4RPtoIDLE_W4RP_RETY_RETY (8'b10_10_11_11 -> 8'b00_10_11_11);
1774 trans t_W4RPtoARRQ_W4RP_RETY_RETY (8'b10_10_11_11 -> 8'b01_10_11_11);
1775 trans t_W4RPtoRETY_W4RP_RETY_RETY (8'b10_10_11_11 -> 8'b11_10_11_11);
1776 trans t_RETYtoIDLE_W4RP_RETY_RETY (8'b11_10_11_11 -> 8'b00_10_11_11);
1777
1778//13
1779 trans t_IDLEtoARRQ_RETY_IDLE_IDLE (8'b00_11_00_00 -> 8'b01_11_00_00);
1780 trans t_ARRQtoW4RP_RETY_IDLE_IDLE (8'b01_11_00_00 -> 8'b10_11_00_00);
1781 trans t_W4RPtoIDLE_RETY_IDLE_IDLE (8'b10_11_00_00 -> 8'b00_11_00_00);
1782 trans t_W4RPtoARRQ_RETY_IDLE_IDLE (8'b10_11_00_00 -> 8'b01_11_00_00);
1783 trans t_W4RPtoRETY_RETY_IDLE_IDLE (8'b10_11_00_00 -> 8'b11_11_00_00);
1784 trans t_RETYtoIDLE_RETY_IDLE_IDLE (8'b11_11_00_00 -> 8'b00_11_00_00);
1785
1786 trans t_IDLEtoARRQ_RETY_IDLE_ARRQ (8'b00_11_00_01 -> 8'b01_11_00_01);
1787 trans t_ARRQtoW4RP_RETY_IDLE_ARRQ (8'b01_11_00_01 -> 8'b10_11_00_01);
1788 trans t_W4RPtoIDLE_RETY_IDLE_ARRQ (8'b10_11_00_01 -> 8'b00_11_00_01);
1789 trans t_W4RPtoARRQ_RETY_IDLE_ARRQ (8'b10_11_00_01 -> 8'b01_11_00_01);
1790 trans t_W4RPtoRETY_RETY_IDLE_ARRQ (8'b10_11_00_01 -> 8'b11_11_00_01);
1791 trans t_RETYtoIDLE_RETY_IDLE_ARRQ (8'b11_11_00_01 -> 8'b00_11_00_01);
1792
1793 trans t_IDLEtoARRQ_RETY_IDLE_W4RP (8'b00_11_00_10 -> 8'b01_11_00_10);
1794 trans t_ARRQtoW4RP_RETY_IDLE_W4RP (8'b01_11_00_10 -> 8'b10_11_00_10);
1795 trans t_W4RPtoIDLE_RETY_IDLE_W4RP (8'b10_11_00_10 -> 8'b00_11_00_10);
1796 trans t_W4RPtoARRQ_RETY_IDLE_W4RP (8'b10_11_00_10 -> 8'b01_11_00_10);
1797 trans t_W4RPtoRETY_RETY_IDLE_W4RP (8'b10_11_00_10 -> 8'b11_11_00_10);
1798 trans t_RETYtoIDLE_RETY_IDLE_W4RP (8'b11_11_00_10 -> 8'b00_11_00_10);
1799
1800 trans t_IDLEtoARRQ_RETY_IDLE_RETY (8'b00_11_00_11 -> 8'b01_11_00_11);
1801 trans t_ARRQtoW4RP_RETY_IDLE_RETY (8'b01_11_00_11 -> 8'b10_11_00_11);
1802 trans t_W4RPtoIDLE_RETY_IDLE_RETY (8'b10_11_00_11 -> 8'b00_11_00_11);
1803 trans t_W4RPtoARRQ_RETY_IDLE_RETY (8'b10_11_00_11 -> 8'b01_11_00_11);
1804 trans t_W4RPtoRETY_RETY_IDLE_RETY (8'b10_11_00_11 -> 8'b11_11_00_11);
1805 trans t_RETYtoIDLE_RETY_IDLE_RETY (8'b11_11_00_11 -> 8'b00_11_00_11);
1806//14
1807 trans t_IDLEtoARRQ_RETY_ARRQ_IDLE (8'b00_11_01_00 -> 8'b01_11_01_00);
1808 trans t_ARRQtoW4RP_RETY_ARRQ_IDLE (8'b01_11_01_00 -> 8'b10_11_01_00);
1809 trans t_W4RPtoIDLE_RETY_ARRQ_IDLE (8'b10_11_01_00 -> 8'b00_11_01_00);
1810 trans t_W4RPtoARRQ_RETY_ARRQ_IDLE (8'b10_11_01_00 -> 8'b01_11_01_00);
1811 trans t_W4RPtoRETY_RETY_ARRQ_IDLE (8'b10_11_01_00 -> 8'b11_11_01_00);
1812 trans t_RETYtoIDLE_RETY_ARRQ_IDLE (8'b11_11_01_00 -> 8'b00_11_01_00);
1813
1814 trans t_IDLEtoARRQ_RETY_ARRQ_ARRQ (8'b00_11_01_01 -> 8'b01_11_01_01);
1815 trans t_ARRQtoW4RP_RETY_ARRQ_ARRQ (8'b01_11_01_01 -> 8'b10_11_01_01);
1816 trans t_W4RPtoIDLE_RETY_ARRQ_ARRQ (8'b10_11_01_01 -> 8'b00_11_01_01);
1817 trans t_W4RPtoARRQ_RETY_ARRQ_ARRQ (8'b10_11_01_01 -> 8'b01_11_01_01);
1818 trans t_W4RPtoRETY_RETY_ARRQ_ARRQ (8'b10_11_01_01 -> 8'b11_11_01_01);
1819 trans t_RETYtoIDLE_RETY_ARRQ_ARRQ (8'b11_11_01_01 -> 8'b00_11_01_01);
1820
1821 trans t_IDLEtoARRQ_RETY_ARRQ_W4RP (8'b00_11_01_10 -> 8'b01_11_01_10);
1822 trans t_ARRQtoW4RP_RETY_ARRQ_W4RP (8'b01_11_01_10 -> 8'b10_11_01_10);
1823 trans t_W4RPtoIDLE_RETY_ARRQ_W4RP (8'b10_11_01_10 -> 8'b00_11_01_10);
1824 trans t_W4RPtoARRQ_RETY_ARRQ_W4RP (8'b10_11_01_10 -> 8'b01_11_01_10);
1825 trans t_W4RPtoRETY_RETY_ARRQ_W4RP (8'b10_11_01_10 -> 8'b11_11_01_10);
1826 trans t_RETYtoIDLE_RETY_ARRQ_W4RP (8'b11_11_01_10 -> 8'b00_11_01_10);
1827
1828 trans t_IDLEtoARRQ_RETY_ARRQ_RETY (8'b00_11_01_11 -> 8'b01_11_01_11);
1829 trans t_ARRQtoW4RP_RETY_ARRQ_RETY (8'b01_11_01_11 -> 8'b10_11_01_11);
1830 trans t_W4RPtoIDLE_RETY_ARRQ_RETY (8'b10_11_01_11 -> 8'b00_11_01_11);
1831 trans t_W4RPtoARRQ_RETY_ARRQ_RETY (8'b10_11_01_11 -> 8'b01_11_01_11);
1832 trans t_W4RPtoRETY_RETY_ARRQ_RETY (8'b10_11_01_11 -> 8'b11_11_01_11);
1833 trans t_RETYtoIDLE_RETY_ARRQ_RETY (8'b11_11_01_11 -> 8'b00_11_01_11);
1834
1835//11
1836 trans t_IDLEtoARRQ_RETY_W4RP_IDLE (8'b00_11_10_00 -> 8'b01_11_10_00);
1837 trans t_ARRQtoW4RP_RETY_W4RP_IDLE (8'b01_11_10_00 -> 8'b10_11_10_00);
1838 trans t_W4RPtoIDLE_RETY_W4RP_IDLE (8'b10_11_10_00 -> 8'b00_11_10_00);
1839 trans t_W4RPtoARRQ_RETY_W4RP_IDLE (8'b10_11_10_00 -> 8'b01_11_10_00);
1840 trans t_W4RPtoRETY_RETY_W4RP_IDLE (8'b10_11_10_00 -> 8'b11_11_10_00);
1841 trans t_RETYtoIDLE_RETY_W4RP_IDLE (8'b11_11_10_00 -> 8'b00_11_10_00);
1842
1843 trans t_IDLEtoARRQ_RETY_W4RP_ARRQ (8'b00_11_10_01 -> 8'b01_11_10_01);
1844 trans t_ARRQtoW4RP_RETY_W4RP_ARRQ (8'b01_11_10_01 -> 8'b10_11_10_01);
1845 trans t_W4RPtoIDLE_RETY_W4RP_ARRQ (8'b10_11_10_01 -> 8'b00_11_10_01);
1846 trans t_W4RPtoARRQ_RETY_W4RP_ARRQ (8'b10_11_10_01 -> 8'b01_11_10_01);
1847 trans t_W4RPtoRETY_RETY_W4RP_ARRQ (8'b10_11_10_01 -> 8'b11_11_10_01);
1848 trans t_RETYtoIDLE_RETY_W4RP_ARRQ (8'b11_11_10_01 -> 8'b00_11_10_01);
1849
1850 trans t_IDLEtoARRQ_RETY_W4RP_W4RP (8'b00_11_10_10 -> 8'b01_11_10_10);
1851 trans t_ARRQtoW4RP_RETY_W4RP_W4RP (8'b01_11_10_10 -> 8'b10_11_10_10);
1852 trans t_W4RPtoIDLE_RETY_W4RP_W4RP (8'b10_11_10_10 -> 8'b00_11_10_10);
1853 trans t_W4RPtoARRQ_RETY_W4RP_W4RP (8'b10_11_10_10 -> 8'b01_11_10_10);
1854 trans t_W4RPtoRETY_RETY_W4RP_W4RP (8'b10_11_10_10 -> 8'b11_11_10_10);
1855 trans t_RETYtoIDLE_RETY_W4RP_W4RP (8'b11_11_10_10 -> 8'b00_11_10_10);
1856
1857 trans t_IDLEtoARRQ_RETY_W4RP_RETY (8'b00_11_10_11 -> 8'b01_11_10_11);
1858 trans t_ARRQtoW4RP_RETY_W4RP_RETY (8'b01_11_10_11 -> 8'b10_11_10_11);
1859 trans t_W4RPtoIDLE_RETY_W4RP_RETY (8'b10_11_10_11 -> 8'b00_11_10_11);
1860 trans t_W4RPtoARRQ_RETY_W4RP_RETY (8'b10_11_10_11 -> 8'b01_11_10_11);
1861 trans t_W4RPtoRETY_RETY_W4RP_RETY (8'b10_11_10_11 -> 8'b11_11_10_11);
1862 trans t_RETYtoIDLE_RETY_W4RP_RETY (8'b11_11_10_11 -> 8'b00_11_10_11);
1863
1864//16
1865 trans t_IDLEtoARRQ_RETY_RETY_IDLE (8'b00_11_11_00 -> 8'b01_11_11_00);
1866 trans t_ARRQtoW4RP_RETY_RETY_IDLE (8'b01_11_11_00 -> 8'b10_11_11_00);
1867 trans t_W4RPtoIDLE_RETY_RETY_IDLE (8'b10_11_11_00 -> 8'b00_11_11_00);
1868 trans t_W4RPtoARRQ_RETY_RETY_IDLE (8'b10_11_11_00 -> 8'b01_11_11_00);
1869 trans t_W4RPtoRETY_RETY_RETY_IDLE (8'b10_11_11_00 -> 8'b11_11_11_00);
1870 trans t_RETYtoIDLE_RETY_RETY_IDLE (8'b11_11_11_00 -> 8'b00_11_11_00);
1871
1872 trans t_IDLEtoARRQ_RETY_RETY_ARRQ (8'b00_11_11_01 -> 8'b01_11_11_01);
1873 trans t_ARRQtoW4RP_RETY_RETY_ARRQ (8'b01_11_11_01 -> 8'b10_11_11_01);
1874 trans t_W4RPtoIDLE_RETY_RETY_ARRQ (8'b10_11_11_01 -> 8'b00_11_11_01);
1875 trans t_W4RPtoARRQ_RETY_RETY_ARRQ (8'b10_11_11_01 -> 8'b01_11_11_01);
1876 trans t_W4RPtoRETY_RETY_RETY_ARRQ (8'b10_11_11_01 -> 8'b11_11_11_01);
1877 trans t_RETYtoIDLE_RETY_RETY_ARRQ (8'b11_11_11_01 -> 8'b00_11_11_01);
1878
1879 trans t_IDLEtoARRQ_RETY_RETY_W4RP (8'b00_11_11_10 -> 8'b01_11_11_10);
1880 trans t_ARRQtoW4RP_RETY_RETY_W4RP (8'b01_11_11_10 -> 8'b10_11_11_10);
1881 trans t_W4RPtoIDLE_RETY_RETY_W4RP (8'b10_11_11_10 -> 8'b00_11_11_10);
1882 trans t_W4RPtoARRQ_RETY_RETY_W4RP (8'b10_11_11_10 -> 8'b01_11_11_10);
1883 trans t_W4RPtoRETY_RETY_RETY_W4RP (8'b10_11_11_10 -> 8'b11_11_11_10);
1884 trans t_RETYtoIDLE_RETY_RETY_W4RP (8'b11_11_11_10 -> 8'b00_11_11_10);
1885
1886 trans t_IDLEtoARRQ_RETY_RETY_RETY (8'b00_11_11_11 -> 8'b01_11_11_11);
1887 trans t_ARRQtoW4RP_RETY_RETY_RETY (8'b01_11_11_11 -> 8'b10_11_11_11);
1888 trans t_W4RPtoIDLE_RETY_RETY_RETY (8'b10_11_11_11 -> 8'b00_11_11_11);
1889 trans t_W4RPtoARRQ_RETY_RETY_RETY (8'b10_11_11_11 -> 8'b01_11_11_11);
1890 trans t_W4RPtoRETY_RETY_RETY_RETY (8'b10_11_11_11 -> 8'b11_11_11_11);
1891 trans t_RETYtoIDLE_RETY_RETY_RETY (8'b11_11_11_11 -> 8'b00_11_11_11);
1892
1893
1894}
Full OpenSPARC design & verification tarball including full HDL.