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 / ilu_peu / ilu_peu_retry_buf_wr_sample.vrh
CommitLineData
86530b38
AT		 1// ========== Copyright Header Begin ==========================================
2//
3// OpenSPARC T2 Processor File: ilu_peu_retry_buf_wr_sample.vrh
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 ilu_peu_coverage_retry_buf_wr_coverage_group.rbuf_waddr
36{
37 state s_RETRY_BUF_FULL (0:255) if (rbuf_size == 256);
38 state s_RETRY_BUF_BACK_TO_BACK_WR (0:255) if (rbuf_d_wr_b2b == 1);
39
40 trans t_RETRY_BUF_WR_ADR_00 ( 0 -> 1);
41 trans t_RETRY_BUF_WR_ADR_01 ( 1 -> 2);
42 trans t_RETRY_BUF_WR_ADR_02 ( 2 -> 3);
43 trans t_RETRY_BUF_WR_ADR_03 ( 3 -> 4);
44 trans t_RETRY_BUF_WR_ADR_04 ( 4 -> 5);
45 trans t_RETRY_BUF_WR_ADR_05 ( 5 -> 6);
46 trans t_RETRY_BUF_WR_ADR_06 ( 6 -> 7);
47 trans t_RETRY_BUF_WR_ADR_07 ( 7 -> 8);
48 trans t_RETRY_BUF_WR_ADR_08 ( 8 -> 9);
49 trans t_RETRY_BUF_WR_ADR_09 ( 9 -> 10);
50 trans t_RETRY_BUF_WR_ADR_10 (10 -> 11);
51 trans t_RETRY_BUF_WR_ADR_11 (11 -> 12);
52 trans t_RETRY_BUF_WR_ADR_12 (12 -> 13);
53 trans t_RETRY_BUF_WR_ADR_13 (13 -> 14);
54 trans t_RETRY_BUF_WR_ADR_14 (14 -> 15);
55 trans t_RETRY_BUF_WR_ADR_15 (15 -> 16);
56 trans t_RETRY_BUF_WR_ADR_16 (16 -> 17);
57 trans t_RETRY_BUF_WR_ADR_17 (17 -> 18);
58 trans t_RETRY_BUF_WR_ADR_18 (18 -> 19);
59 trans t_RETRY_BUF_WR_ADR_19 (19 -> 20);
60 trans t_RETRY_BUF_WR_ADR_20 (20 -> 21);
61 trans t_RETRY_BUF_WR_ADR_21 (21 -> 22);
62 trans t_RETRY_BUF_WR_ADR_22 (22 -> 23);
63 trans t_RETRY_BUF_WR_ADR_23 (23 -> 24);
64 trans t_RETRY_BUF_WR_ADR_24 (24 -> 25);
65 trans t_RETRY_BUF_WR_ADR_25 (25 -> 26);
66 trans t_RETRY_BUF_WR_ADR_26 (26 -> 27);
67 trans t_RETRY_BUF_WR_ADR_27 (27 -> 28);
68 trans t_RETRY_BUF_WR_ADR_28 (28 -> 29);
69 trans t_RETRY_BUF_WR_ADR_29 (29 -> 30);
70 trans t_RETRY_BUF_WR_ADR_30 (30 -> 31);
71 trans t_RETRY_BUF_WR_ADR_31 (31 -> 32);
72 trans t_RETRY_BUF_WR_ADR_32 (32 -> 33);
73 trans t_RETRY_BUF_WR_ADR_33 (33 -> 34);
74 trans t_RETRY_BUF_WR_ADR_34 (34 -> 35);
75 trans t_RETRY_BUF_WR_ADR_35 (35 -> 36);
76 trans t_RETRY_BUF_WR_ADR_36 (36 -> 37);
77 trans t_RETRY_BUF_WR_ADR_37 (37 -> 38);
78 trans t_RETRY_BUF_WR_ADR_38 (38 -> 39);
79 trans t_RETRY_BUF_WR_ADR_39 (39 -> 40);
80 trans t_RETRY_BUF_WR_ADR_40 (40 -> 41);
81 trans t_RETRY_BUF_WR_ADR_41 (41 -> 42);
82 trans t_RETRY_BUF_WR_ADR_42 (42 -> 43);
83 trans t_RETRY_BUF_WR_ADR_43 (43 -> 44);
84 trans t_RETRY_BUF_WR_ADR_44 (44 -> 45);
85 trans t_RETRY_BUF_WR_ADR_45 (45 -> 46);
86 trans t_RETRY_BUF_WR_ADR_46 (46 -> 47);
87 trans t_RETRY_BUF_WR_ADR_47 (47 -> 48);
88 trans t_RETRY_BUF_WR_ADR_48 (48 -> 49);
89 trans t_RETRY_BUF_WR_ADR_49 (49 -> 50);
90 trans t_RETRY_BUF_WR_ADR_50 (50 -> 51);
91 trans t_RETRY_BUF_WR_ADR_51 (51 -> 52);
92 trans t_RETRY_BUF_WR_ADR_52 (52 -> 53);
93 trans t_RETRY_BUF_WR_ADR_53 (53 -> 54);
94 trans t_RETRY_BUF_WR_ADR_54 (54 -> 55);
95 trans t_RETRY_BUF_WR_ADR_55 (55 -> 56);
96 trans t_RETRY_BUF_WR_ADR_56 (56 -> 57);
97 trans t_RETRY_BUF_WR_ADR_57 (57 -> 58);
98 trans t_RETRY_BUF_WR_ADR_58 (58 -> 59);
99 trans t_RETRY_BUF_WR_ADR_59 (59 -> 60);
100 trans t_RETRY_BUF_WR_ADR_60 (60 -> 61);
101 trans t_RETRY_BUF_WR_ADR_61 (61 -> 62);
102 trans t_RETRY_BUF_WR_ADR_62 (62 -> 63);
103 trans t_RETRY_BUF_WR_ADR_63 (63 -> 64);
104 trans t_RETRY_BUF_WR_ADR_64 (64 -> 65);
105 trans t_RETRY_BUF_WR_ADR_65 (65 -> 66);
106 trans t_RETRY_BUF_WR_ADR_66 (66 -> 67);
107 trans t_RETRY_BUF_WR_ADR_67 (67 -> 68);
108 trans t_RETRY_BUF_WR_ADR_68 (68 -> 69);
109 trans t_RETRY_BUF_WR_ADR_69 (69 -> 70);
110 trans t_RETRY_BUF_WR_ADR_70 (70 -> 71);
111 trans t_RETRY_BUF_WR_ADR_71 (71 -> 72);
112 trans t_RETRY_BUF_WR_ADR_72 (72 -> 73);
113 trans t_RETRY_BUF_WR_ADR_73 (73 -> 74);
114 trans t_RETRY_BUF_WR_ADR_74 (74 -> 75);
115 trans t_RETRY_BUF_WR_ADR_75 (75 -> 76);
116 trans t_RETRY_BUF_WR_ADR_76 (76 -> 77);
117 trans t_RETRY_BUF_WR_ADR_77 (77 -> 78);
118 trans t_RETRY_BUF_WR_ADR_78 (78 -> 79);
119 trans t_RETRY_BUF_WR_ADR_79 (79 -> 80);
120 trans t_RETRY_BUF_WR_ADR_80 (80 -> 81);
121 trans t_RETRY_BUF_WR_ADR_81 (81 -> 82);
122 trans t_RETRY_BUF_WR_ADR_82 (82 -> 83);
123 trans t_RETRY_BUF_WR_ADR_83 (83 -> 84);
124 trans t_RETRY_BUF_WR_ADR_84 (84 -> 85);
125 trans t_RETRY_BUF_WR_ADR_85 (85 -> 86);
126 trans t_RETRY_BUF_WR_ADR_86 (86 -> 87);
127 trans t_RETRY_BUF_WR_ADR_87 (87 -> 88);
128 trans t_RETRY_BUF_WR_ADR_88 (88 -> 89);
129 trans t_RETRY_BUF_WR_ADR_89 (89 -> 90);
130 trans t_RETRY_BUF_WR_ADR_90 (90 -> 91);
131 trans t_RETRY_BUF_WR_ADR_91 (91 -> 92);
132 trans t_RETRY_BUF_WR_ADR_92 (92 -> 93);
133 trans t_RETRY_BUF_WR_ADR_93 (93 -> 94);
134 trans t_RETRY_BUF_WR_ADR_94 (94 -> 95);
135 trans t_RETRY_BUF_WR_ADR_95 (95 -> 96);
136 trans t_RETRY_BUF_WR_ADR_96 (96 -> 97);
137 trans t_RETRY_BUF_WR_ADR_97 (97 -> 98);
138 trans t_RETRY_BUF_WR_ADR_98 (98 -> 99);
139 trans t_RETRY_BUF_WR_ADR_99 (99 -> 100);
140 trans t_RETRY_BUF_WR_ADR_100 (100 -> 101);
141 trans t_RETRY_BUF_WR_ADR_101 (101 -> 102);
142 trans t_RETRY_BUF_WR_ADR_102 (102 -> 103);
143 trans t_RETRY_BUF_WR_ADR_103 (103 -> 104);
144 trans t_RETRY_BUF_WR_ADR_104 (104 -> 105);
145 trans t_RETRY_BUF_WR_ADR_105 (105 -> 106);
146 trans t_RETRY_BUF_WR_ADR_106 (106 -> 107);
147 trans t_RETRY_BUF_WR_ADR_107 (107 -> 108);
148 trans t_RETRY_BUF_WR_ADR_108 (108 -> 109);
149 trans t_RETRY_BUF_WR_ADR_109 (109 -> 110);
150 trans t_RETRY_BUF_WR_ADR_110 (110 -> 111);
151 trans t_RETRY_BUF_WR_ADR_111 (111 -> 112);
152 trans t_RETRY_BUF_WR_ADR_112 (112 -> 113);
153 trans t_RETRY_BUF_WR_ADR_113 (113 -> 114);
154 trans t_RETRY_BUF_WR_ADR_114 (114 -> 115);
155 trans t_RETRY_BUF_WR_ADR_115 (115 -> 116);
156 trans t_RETRY_BUF_WR_ADR_116 (116 -> 117);
157 trans t_RETRY_BUF_WR_ADR_117 (117 -> 118);
158 trans t_RETRY_BUF_WR_ADR_118 (118 -> 119);
159 trans t_RETRY_BUF_WR_ADR_119 (119 -> 120);
160 trans t_RETRY_BUF_WR_ADR_120 (120 -> 121);
161 trans t_RETRY_BUF_WR_ADR_121 (121 -> 122);
162 trans t_RETRY_BUF_WR_ADR_122 (122 -> 123);
163 trans t_RETRY_BUF_WR_ADR_123 (123 -> 124);
164 trans t_RETRY_BUF_WR_ADR_124 (124 -> 125);
165 trans t_RETRY_BUF_WR_ADR_125 (125 -> 126);
166 trans t_RETRY_BUF_WR_ADR_126 (126 -> 127);
167 trans t_RETRY_BUF_WR_ADR_127 (127 -> 128);
168 trans t_RETRY_BUF_WR_ADR_128 (128 -> 129);
169 trans t_RETRY_BUF_WR_ADR_129 (129 -> 130);
170 trans t_RETRY_BUF_WR_ADR_130 (130 -> 131);
171 trans t_RETRY_BUF_WR_ADR_131 (131 -> 132);
172 trans t_RETRY_BUF_WR_ADR_132 (132 -> 133);
173 trans t_RETRY_BUF_WR_ADR_133 (133 -> 134);
174 trans t_RETRY_BUF_WR_ADR_134 (134 -> 135);
175 trans t_RETRY_BUF_WR_ADR_135 (135 -> 136);
176 trans t_RETRY_BUF_WR_ADR_136 (136 -> 137);
177 trans t_RETRY_BUF_WR_ADR_137 (137 -> 138);
178 trans t_RETRY_BUF_WR_ADR_138 (138 -> 139);
179 trans t_RETRY_BUF_WR_ADR_139 (139 -> 140);
180 trans t_RETRY_BUF_WR_ADR_140 (140 -> 141);
181 trans t_RETRY_BUF_WR_ADR_141 (141 -> 142);
182 trans t_RETRY_BUF_WR_ADR_142 (142 -> 143);
183 trans t_RETRY_BUF_WR_ADR_143 (143 -> 144);
184 trans t_RETRY_BUF_WR_ADR_144 (144 -> 145);
185 trans t_RETRY_BUF_WR_ADR_145 (145 -> 146);
186 trans t_RETRY_BUF_WR_ADR_146 (146 -> 147);
187 trans t_RETRY_BUF_WR_ADR_147 (147 -> 148);
188 trans t_RETRY_BUF_WR_ADR_148 (148 -> 149);
189 trans t_RETRY_BUF_WR_ADR_149 (149 -> 150);
190 trans t_RETRY_BUF_WR_ADR_150 (150 -> 151);
191 trans t_RETRY_BUF_WR_ADR_151 (151 -> 152);
192 trans t_RETRY_BUF_WR_ADR_152 (152 -> 153);
193 trans t_RETRY_BUF_WR_ADR_153 (153 -> 154);
194 trans t_RETRY_BUF_WR_ADR_154 (154 -> 155);
195 trans t_RETRY_BUF_WR_ADR_155 (155 -> 156);
196 trans t_RETRY_BUF_WR_ADR_156 (156 -> 157);
197 trans t_RETRY_BUF_WR_ADR_157 (157 -> 158);
198 trans t_RETRY_BUF_WR_ADR_158 (158 -> 159);
199 trans t_RETRY_BUF_WR_ADR_159 (159 -> 160);
200 trans t_RETRY_BUF_WR_ADR_160 (160 -> 161);
201 trans t_RETRY_BUF_WR_ADR_161 (161 -> 162);
202 trans t_RETRY_BUF_WR_ADR_162 (162 -> 163);
203 trans t_RETRY_BUF_WR_ADR_163 (163 -> 164);
204 trans t_RETRY_BUF_WR_ADR_164 (164 -> 165);
205 trans t_RETRY_BUF_WR_ADR_165 (165 -> 166);
206 trans t_RETRY_BUF_WR_ADR_166 (166 -> 167);
207 trans t_RETRY_BUF_WR_ADR_167 (167 -> 168);
208 trans t_RETRY_BUF_WR_ADR_168 (168 -> 169);
209 trans t_RETRY_BUF_WR_ADR_169 (169 -> 170);
210 trans t_RETRY_BUF_WR_ADR_170 (170 -> 171);
211 trans t_RETRY_BUF_WR_ADR_171 (171 -> 172);
212 trans t_RETRY_BUF_WR_ADR_172 (172 -> 173);
213 trans t_RETRY_BUF_WR_ADR_173 (173 -> 174);
214 trans t_RETRY_BUF_WR_ADR_174 (174 -> 175);
215 trans t_RETRY_BUF_WR_ADR_175 (175 -> 176);
216 trans t_RETRY_BUF_WR_ADR_176 (176 -> 177);
217 trans t_RETRY_BUF_WR_ADR_177 (177 -> 178);
218 trans t_RETRY_BUF_WR_ADR_178 (178 -> 179);
219 trans t_RETRY_BUF_WR_ADR_179 (179 -> 180);
220 trans t_RETRY_BUF_WR_ADR_180 (180 -> 181);
221 trans t_RETRY_BUF_WR_ADR_181 (181 -> 182);
222 trans t_RETRY_BUF_WR_ADR_182 (182 -> 183);
223 trans t_RETRY_BUF_WR_ADR_183 (183 -> 184);
224 trans t_RETRY_BUF_WR_ADR_184 (184 -> 185);
225 trans t_RETRY_BUF_WR_ADR_185 (185 -> 186);
226 trans t_RETRY_BUF_WR_ADR_186 (186 -> 187);
227 trans t_RETRY_BUF_WR_ADR_187 (187 -> 188);
228 trans t_RETRY_BUF_WR_ADR_188 (188 -> 189);
229 trans t_RETRY_BUF_WR_ADR_189 (189 -> 190);
230 trans t_RETRY_BUF_WR_ADR_190 (190 -> 191);
231 trans t_RETRY_BUF_WR_ADR_191 (191 -> 192);
232 trans t_RETRY_BUF_WR_ADR_192 (192 -> 193);
233 trans t_RETRY_BUF_WR_ADR_193 (193 -> 194);
234 trans t_RETRY_BUF_WR_ADR_194 (194 -> 195);
235 trans t_RETRY_BUF_WR_ADR_195 (195 -> 196);
236 trans t_RETRY_BUF_WR_ADR_196 (196 -> 197);
237 trans t_RETRY_BUF_WR_ADR_197 (197 -> 198);
238 trans t_RETRY_BUF_WR_ADR_198 (198 -> 199);
239 trans t_RETRY_BUF_WR_ADR_199 (199 -> 200);
240 trans t_RETRY_BUF_WR_ADR_200 (200 -> 201);
241 trans t_RETRY_BUF_WR_ADR_201 (201 -> 202);
242 trans t_RETRY_BUF_WR_ADR_202 (202 -> 203);
243 trans t_RETRY_BUF_WR_ADR_203 (203 -> 204);
244 trans t_RETRY_BUF_WR_ADR_204 (204 -> 205);
245 trans t_RETRY_BUF_WR_ADR_205 (205 -> 206);
246 trans t_RETRY_BUF_WR_ADR_206 (206 -> 207);
247 trans t_RETRY_BUF_WR_ADR_207 (207 -> 208);
248 trans t_RETRY_BUF_WR_ADR_208 (208 -> 209);
249 trans t_RETRY_BUF_WR_ADR_209 (209 -> 210);
250 trans t_RETRY_BUF_WR_ADR_210 (210 -> 211);
251 trans t_RETRY_BUF_WR_ADR_211 (211 -> 212);
252 trans t_RETRY_BUF_WR_ADR_212 (212 -> 213);
253 trans t_RETRY_BUF_WR_ADR_213 (213 -> 214);
254 trans t_RETRY_BUF_WR_ADR_214 (214 -> 215);
255 trans t_RETRY_BUF_WR_ADR_215 (215 -> 216);
256 trans t_RETRY_BUF_WR_ADR_216 (216 -> 217);
257 trans t_RETRY_BUF_WR_ADR_217 (217 -> 218);
258 trans t_RETRY_BUF_WR_ADR_218 (218 -> 219);
259 trans t_RETRY_BUF_WR_ADR_219 (219 -> 220);
260 trans t_RETRY_BUF_WR_ADR_220 (220 -> 221);
261 trans t_RETRY_BUF_WR_ADR_221 (221 -> 222);
262 trans t_RETRY_BUF_WR_ADR_222 (222 -> 223);
263 trans t_RETRY_BUF_WR_ADR_223 (223 -> 224);
264 trans t_RETRY_BUF_WR_ADR_224 (224 -> 225);
265 trans t_RETRY_BUF_WR_ADR_225 (225 -> 226);
266 trans t_RETRY_BUF_WR_ADR_226 (226 -> 227);
267 trans t_RETRY_BUF_WR_ADR_227 (227 -> 228);
268 trans t_RETRY_BUF_WR_ADR_228 (228 -> 229);
269 trans t_RETRY_BUF_WR_ADR_229 (229 -> 230);
270 trans t_RETRY_BUF_WR_ADR_230 (230 -> 231);
271 trans t_RETRY_BUF_WR_ADR_231 (231 -> 232);
272 trans t_RETRY_BUF_WR_ADR_232 (232 -> 233);
273 trans t_RETRY_BUF_WR_ADR_233 (233 -> 234);
274 trans t_RETRY_BUF_WR_ADR_234 (234 -> 235);
275 trans t_RETRY_BUF_WR_ADR_235 (235 -> 236);
276 trans t_RETRY_BUF_WR_ADR_236 (236 -> 237);
277 trans t_RETRY_BUF_WR_ADR_237 (237 -> 238);
278 trans t_RETRY_BUF_WR_ADR_238 (238 -> 239);
279 trans t_RETRY_BUF_WR_ADR_239 (239 -> 240);
280 trans t_RETRY_BUF_WR_ADR_240 (240 -> 241);
281 trans t_RETRY_BUF_WR_ADR_241 (241 -> 242);
282 trans t_RETRY_BUF_WR_ADR_242 (242 -> 243);
283 trans t_RETRY_BUF_WR_ADR_243 (243 -> 244);
284 trans t_RETRY_BUF_WR_ADR_244 (244 -> 245);
285 trans t_RETRY_BUF_WR_ADR_245 (245 -> 246);
286 trans t_RETRY_BUF_WR_ADR_246 (246 -> 247);
287 trans t_RETRY_BUF_WR_ADR_247 (247 -> 248);
288 trans t_RETRY_BUF_WR_ADR_248 (248 -> 249);
289 trans t_RETRY_BUF_WR_ADR_249 (249 -> 250);
290 trans t_RETRY_BUF_WR_ADR_250 (250 -> 251);
291 trans t_RETRY_BUF_WR_ADR_251 (251 -> 252);
292 trans t_RETRY_BUF_WR_ADR_252 (252 -> 253);
293 trans t_RETRY_BUF_WR_ADR_253 (253 -> 254);
294 trans t_RETRY_BUF_WR_ADR_254 (254 -> 255);
295 trans t_RETRY_BUF_WR_ADR_255 (255 -> 0);
296}
Full OpenSPARC design & verification tarball including full HDL.