Initial commit of OpenSPARC T2 design and verification files.
[OpenSPARC-T2-DV] / verif / env / common / coverage / ilu_peu / ilu_peu_idb_rd_sample.vrh
CommitLineData
86530b38
AT
1// ========== Copyright Header Begin ==========================================
2//
3// OpenSPARC T2 Processor File: ilu_peu_idb_rd_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_idb_rd_coverage_group.d2p_idb_addr
36{
37 state s_IDB_EMPTY (0:255) if (idb_size == 0);
38 state s_IDB_RD_WR (0:255) if (ilu_peu_coverage_idb_wr_coverage_group.it2id_we === 1'b1);
39 state s_IDB_BACK_TO_BACK_RD (0:255) if (idb_d_rd_b2b == 1);
40
41 trans t_IDB_RD_ADR_00 ( 0 -> 1);
42 trans t_IDB_RD_ADR_01 ( 1 -> 2);
43 trans t_IDB_RD_ADR_02 ( 2 -> 3);
44 trans t_IDB_RD_ADR_03 ( 3 -> 4);
45 trans t_IDB_RD_ADR_04 ( 4 -> 5);
46 trans t_IDB_RD_ADR_05 ( 5 -> 6);
47 trans t_IDB_RD_ADR_06 ( 6 -> 7);
48 trans t_IDB_RD_ADR_07 ( 7 -> 8);
49 trans t_IDB_RD_ADR_08 ( 8 -> 9);
50 trans t_IDB_RD_ADR_09 ( 9 -> 10);
51 trans t_IDB_RD_ADR_10 (10 -> 11);
52 trans t_IDB_RD_ADR_11 (11 -> 12);
53 trans t_IDB_RD_ADR_12 (12 -> 13);
54 trans t_IDB_RD_ADR_13 (13 -> 14);
55 trans t_IDB_RD_ADR_14 (14 -> 15);
56 trans t_IDB_RD_ADR_15 (15 -> 16);
57 trans t_IDB_RD_ADR_16 (16 -> 17);
58 trans t_IDB_RD_ADR_17 (17 -> 18);
59 trans t_IDB_RD_ADR_18 (18 -> 19);
60 trans t_IDB_RD_ADR_19 (19 -> 20);
61 trans t_IDB_RD_ADR_20 (20 -> 21);
62 trans t_IDB_RD_ADR_21 (21 -> 22);
63 trans t_IDB_RD_ADR_22 (22 -> 23);
64 trans t_IDB_RD_ADR_23 (23 -> 24);
65 trans t_IDB_RD_ADR_24 (24 -> 25);
66 trans t_IDB_RD_ADR_25 (25 -> 26);
67 trans t_IDB_RD_ADR_26 (26 -> 27);
68 trans t_IDB_RD_ADR_27 (27 -> 28);
69 trans t_IDB_RD_ADR_28 (28 -> 29);
70 trans t_IDB_RD_ADR_29 (29 -> 30);
71 trans t_IDB_RD_ADR_30 (30 -> 31);
72 trans t_IDB_RD_ADR_31 (31 -> 32);
73 trans t_IDB_RD_ADR_32 (32 -> 33);
74 trans t_IDB_RD_ADR_33 (33 -> 34);
75 trans t_IDB_RD_ADR_34 (34 -> 35);
76 trans t_IDB_RD_ADR_35 (35 -> 36);
77 trans t_IDB_RD_ADR_36 (36 -> 37);
78 trans t_IDB_RD_ADR_37 (37 -> 38);
79 trans t_IDB_RD_ADR_38 (38 -> 39);
80 trans t_IDB_RD_ADR_39 (39 -> 40);
81 trans t_IDB_RD_ADR_40 (40 -> 41);
82 trans t_IDB_RD_ADR_41 (41 -> 42);
83 trans t_IDB_RD_ADR_42 (42 -> 43);
84 trans t_IDB_RD_ADR_43 (43 -> 44);
85 trans t_IDB_RD_ADR_44 (44 -> 45);
86 trans t_IDB_RD_ADR_45 (45 -> 46);
87 trans t_IDB_RD_ADR_46 (46 -> 47);
88 trans t_IDB_RD_ADR_47 (47 -> 48);
89 trans t_IDB_RD_ADR_48 (48 -> 49);
90 trans t_IDB_RD_ADR_49 (49 -> 50);
91 trans t_IDB_RD_ADR_50 (50 -> 51);
92 trans t_IDB_RD_ADR_51 (51 -> 52);
93 trans t_IDB_RD_ADR_52 (52 -> 53);
94 trans t_IDB_RD_ADR_53 (53 -> 54);
95 trans t_IDB_RD_ADR_54 (54 -> 55);
96 trans t_IDB_RD_ADR_55 (55 -> 56);
97 trans t_IDB_RD_ADR_56 (56 -> 57);
98 trans t_IDB_RD_ADR_57 (57 -> 58);
99 trans t_IDB_RD_ADR_58 (58 -> 59);
100 trans t_IDB_RD_ADR_59 (59 -> 60);
101 trans t_IDB_RD_ADR_60 (60 -> 61);
102 trans t_IDB_RD_ADR_61 (61 -> 62);
103 trans t_IDB_RD_ADR_62 (62 -> 63);
104 trans t_IDB_RD_ADR_63 (63 -> 64);
105 trans t_IDB_RD_ADR_64 (64 -> 65);
106 trans t_IDB_RD_ADR_65 (65 -> 66);
107 trans t_IDB_RD_ADR_66 (66 -> 67);
108 trans t_IDB_RD_ADR_67 (67 -> 68);
109 trans t_IDB_RD_ADR_68 (68 -> 69);
110 trans t_IDB_RD_ADR_69 (69 -> 70);
111 trans t_IDB_RD_ADR_70 (70 -> 71);
112 trans t_IDB_RD_ADR_71 (71 -> 72);
113 trans t_IDB_RD_ADR_72 (72 -> 73);
114 trans t_IDB_RD_ADR_73 (73 -> 74);
115 trans t_IDB_RD_ADR_74 (74 -> 75);
116 trans t_IDB_RD_ADR_75 (75 -> 76);
117 trans t_IDB_RD_ADR_76 (76 -> 77);
118 trans t_IDB_RD_ADR_77 (77 -> 78);
119 trans t_IDB_RD_ADR_78 (78 -> 79);
120 trans t_IDB_RD_ADR_79 (79 -> 80);
121 trans t_IDB_RD_ADR_80 (80 -> 81);
122 trans t_IDB_RD_ADR_81 (81 -> 82);
123 trans t_IDB_RD_ADR_82 (82 -> 83);
124 trans t_IDB_RD_ADR_83 (83 -> 84);
125 trans t_IDB_RD_ADR_84 (84 -> 85);
126 trans t_IDB_RD_ADR_85 (85 -> 86);
127 trans t_IDB_RD_ADR_86 (86 -> 87);
128 trans t_IDB_RD_ADR_87 (87 -> 88);
129 trans t_IDB_RD_ADR_88 (88 -> 89);
130 trans t_IDB_RD_ADR_89 (89 -> 90);
131 trans t_IDB_RD_ADR_90 (90 -> 91);
132 trans t_IDB_RD_ADR_91 (91 -> 92);
133 trans t_IDB_RD_ADR_92 (92 -> 93);
134 trans t_IDB_RD_ADR_93 (93 -> 94);
135 trans t_IDB_RD_ADR_94 (94 -> 95);
136 trans t_IDB_RD_ADR_95 (95 -> 96);
137 trans t_IDB_RD_ADR_96 (96 -> 97);
138 trans t_IDB_RD_ADR_97 (97 -> 98);
139 trans t_IDB_RD_ADR_98 (98 -> 99);
140 trans t_IDB_RD_ADR_99 (99 -> 100);
141 trans t_IDB_RD_ADR_100 (100 -> 101);
142 trans t_IDB_RD_ADR_101 (101 -> 102);
143 trans t_IDB_RD_ADR_102 (102 -> 103);
144 trans t_IDB_RD_ADR_103 (103 -> 104);
145 trans t_IDB_RD_ADR_104 (104 -> 105);
146 trans t_IDB_RD_ADR_105 (105 -> 106);
147 trans t_IDB_RD_ADR_106 (106 -> 107);
148 trans t_IDB_RD_ADR_107 (107 -> 108);
149 trans t_IDB_RD_ADR_108 (108 -> 109);
150 trans t_IDB_RD_ADR_109 (109 -> 110);
151 trans t_IDB_RD_ADR_110 (110 -> 111);
152 trans t_IDB_RD_ADR_111 (111 -> 112);
153 trans t_IDB_RD_ADR_112 (112 -> 113);
154 trans t_IDB_RD_ADR_113 (113 -> 114);
155 trans t_IDB_RD_ADR_114 (114 -> 115);
156 trans t_IDB_RD_ADR_115 (115 -> 116);
157 trans t_IDB_RD_ADR_116 (116 -> 117);
158 trans t_IDB_RD_ADR_117 (117 -> 118);
159 trans t_IDB_RD_ADR_118 (118 -> 119);
160 trans t_IDB_RD_ADR_119 (119 -> 120);
161 trans t_IDB_RD_ADR_120 (120 -> 121);
162 trans t_IDB_RD_ADR_121 (121 -> 122);
163 trans t_IDB_RD_ADR_122 (122 -> 123);
164 trans t_IDB_RD_ADR_123 (123 -> 124);
165 trans t_IDB_RD_ADR_124 (124 -> 125);
166 trans t_IDB_RD_ADR_125 (125 -> 126);
167 trans t_IDB_RD_ADR_126 (126 -> 127);
168 trans t_IDB_RD_ADR_127 (127 -> 128);
169 trans t_IDB_RD_ADR_128 (128 -> 129);
170 trans t_IDB_RD_ADR_129 (129 -> 130);
171 trans t_IDB_RD_ADR_130 (130 -> 131);
172 trans t_IDB_RD_ADR_131 (131 -> 132);
173 trans t_IDB_RD_ADR_132 (132 -> 133);
174 trans t_IDB_RD_ADR_133 (133 -> 134);
175 trans t_IDB_RD_ADR_134 (134 -> 135);
176 trans t_IDB_RD_ADR_135 (135 -> 136);
177 trans t_IDB_RD_ADR_136 (136 -> 137);
178 trans t_IDB_RD_ADR_137 (137 -> 138);
179 trans t_IDB_RD_ADR_138 (138 -> 139);
180 trans t_IDB_RD_ADR_139 (139 -> 140);
181 trans t_IDB_RD_ADR_140 (140 -> 141);
182 trans t_IDB_RD_ADR_141 (141 -> 142);
183 trans t_IDB_RD_ADR_142 (142 -> 143);
184 trans t_IDB_RD_ADR_143 (143 -> 144);
185 trans t_IDB_RD_ADR_144 (144 -> 145);
186 trans t_IDB_RD_ADR_145 (145 -> 146);
187 trans t_IDB_RD_ADR_146 (146 -> 147);
188 trans t_IDB_RD_ADR_147 (147 -> 148);
189 trans t_IDB_RD_ADR_148 (148 -> 149);
190 trans t_IDB_RD_ADR_149 (149 -> 150);
191 trans t_IDB_RD_ADR_150 (150 -> 151);
192 trans t_IDB_RD_ADR_151 (151 -> 152);
193 trans t_IDB_RD_ADR_152 (152 -> 153);
194 trans t_IDB_RD_ADR_153 (153 -> 154);
195 trans t_IDB_RD_ADR_154 (154 -> 155);
196 trans t_IDB_RD_ADR_155 (155 -> 156);
197 trans t_IDB_RD_ADR_156 (156 -> 157);
198 trans t_IDB_RD_ADR_157 (157 -> 158);
199 trans t_IDB_RD_ADR_158 (158 -> 159);
200 trans t_IDB_RD_ADR_159 (159 -> 160);
201 trans t_IDB_RD_ADR_160 (160 -> 161);
202 trans t_IDB_RD_ADR_161 (161 -> 162);
203 trans t_IDB_RD_ADR_162 (162 -> 163);
204 trans t_IDB_RD_ADR_163 (163 -> 164);
205 trans t_IDB_RD_ADR_164 (164 -> 165);
206 trans t_IDB_RD_ADR_165 (165 -> 166);
207 trans t_IDB_RD_ADR_166 (166 -> 167);
208 trans t_IDB_RD_ADR_167 (167 -> 168);
209 trans t_IDB_RD_ADR_168 (168 -> 169);
210 trans t_IDB_RD_ADR_169 (169 -> 170);
211 trans t_IDB_RD_ADR_170 (170 -> 171);
212 trans t_IDB_RD_ADR_171 (171 -> 172);
213 trans t_IDB_RD_ADR_172 (172 -> 173);
214 trans t_IDB_RD_ADR_173 (173 -> 174);
215 trans t_IDB_RD_ADR_174 (174 -> 175);
216 trans t_IDB_RD_ADR_175 (175 -> 176);
217 trans t_IDB_RD_ADR_176 (176 -> 177);
218 trans t_IDB_RD_ADR_177 (177 -> 178);
219 trans t_IDB_RD_ADR_178 (178 -> 179);
220 trans t_IDB_RD_ADR_179 (179 -> 180);
221 trans t_IDB_RD_ADR_180 (180 -> 181);
222 trans t_IDB_RD_ADR_181 (181 -> 182);
223 trans t_IDB_RD_ADR_182 (182 -> 183);
224 trans t_IDB_RD_ADR_183 (183 -> 184);
225 trans t_IDB_RD_ADR_184 (184 -> 185);
226 trans t_IDB_RD_ADR_185 (185 -> 186);
227 trans t_IDB_RD_ADR_186 (186 -> 187);
228 trans t_IDB_RD_ADR_187 (187 -> 188);
229 trans t_IDB_RD_ADR_188 (188 -> 189);
230 trans t_IDB_RD_ADR_189 (189 -> 190);
231 trans t_IDB_RD_ADR_190 (190 -> 191);
232 trans t_IDB_RD_ADR_191 (191 -> 192);
233 trans t_IDB_RD_ADR_192 (192 -> 193);
234 trans t_IDB_RD_ADR_193 (193 -> 194);
235 trans t_IDB_RD_ADR_194 (194 -> 195);
236 trans t_IDB_RD_ADR_195 (195 -> 196);
237 trans t_IDB_RD_ADR_196 (196 -> 197);
238 trans t_IDB_RD_ADR_197 (197 -> 198);
239 trans t_IDB_RD_ADR_198 (198 -> 199);
240 trans t_IDB_RD_ADR_199 (199 -> 200);
241 trans t_IDB_RD_ADR_200 (200 -> 201);
242 trans t_IDB_RD_ADR_201 (201 -> 202);
243 trans t_IDB_RD_ADR_202 (202 -> 203);
244 trans t_IDB_RD_ADR_203 (203 -> 204);
245 trans t_IDB_RD_ADR_204 (204 -> 205);
246 trans t_IDB_RD_ADR_205 (205 -> 206);
247 trans t_IDB_RD_ADR_206 (206 -> 207);
248 trans t_IDB_RD_ADR_207 (207 -> 208);
249 trans t_IDB_RD_ADR_208 (208 -> 209);
250 trans t_IDB_RD_ADR_209 (209 -> 210);
251 trans t_IDB_RD_ADR_210 (210 -> 211);
252 trans t_IDB_RD_ADR_211 (211 -> 212);
253 trans t_IDB_RD_ADR_212 (212 -> 213);
254 trans t_IDB_RD_ADR_213 (213 -> 214);
255 trans t_IDB_RD_ADR_214 (214 -> 215);
256 trans t_IDB_RD_ADR_215 (215 -> 216);
257 trans t_IDB_RD_ADR_216 (216 -> 217);
258 trans t_IDB_RD_ADR_217 (217 -> 218);
259 trans t_IDB_RD_ADR_218 (218 -> 219);
260 trans t_IDB_RD_ADR_219 (219 -> 220);
261 trans t_IDB_RD_ADR_220 (220 -> 221);
262 trans t_IDB_RD_ADR_221 (221 -> 222);
263 trans t_IDB_RD_ADR_222 (222 -> 223);
264 trans t_IDB_RD_ADR_223 (223 -> 224);
265 trans t_IDB_RD_ADR_224 (224 -> 225);
266 trans t_IDB_RD_ADR_225 (225 -> 226);
267 trans t_IDB_RD_ADR_226 (226 -> 227);
268 trans t_IDB_RD_ADR_227 (227 -> 228);
269 trans t_IDB_RD_ADR_228 (228 -> 229);
270 trans t_IDB_RD_ADR_229 (229 -> 230);
271 trans t_IDB_RD_ADR_230 (230 -> 231);
272 trans t_IDB_RD_ADR_231 (231 -> 232);
273 trans t_IDB_RD_ADR_232 (232 -> 233);
274 trans t_IDB_RD_ADR_233 (233 -> 234);
275 trans t_IDB_RD_ADR_234 (234 -> 235);
276 trans t_IDB_RD_ADR_235 (235 -> 236);
277 trans t_IDB_RD_ADR_236 (236 -> 237);
278 trans t_IDB_RD_ADR_237 (237 -> 238);
279 trans t_IDB_RD_ADR_238 (238 -> 239);
280 trans t_IDB_RD_ADR_239 (239 -> 240);
281 trans t_IDB_RD_ADR_240 (240 -> 241);
282 trans t_IDB_RD_ADR_241 (241 -> 242);
283 trans t_IDB_RD_ADR_242 (242 -> 243);
284 trans t_IDB_RD_ADR_243 (243 -> 244);
285 trans t_IDB_RD_ADR_244 (244 -> 245);
286 trans t_IDB_RD_ADR_245 (245 -> 246);
287 trans t_IDB_RD_ADR_246 (246 -> 247);
288 trans t_IDB_RD_ADR_247 (247 -> 248);
289 trans t_IDB_RD_ADR_248 (248 -> 249);
290 trans t_IDB_RD_ADR_249 (249 -> 250);
291 trans t_IDB_RD_ADR_250 (250 -> 251);
292 trans t_IDB_RD_ADR_251 (251 -> 252);
293 trans t_IDB_RD_ADR_252 (252 -> 253);
294 trans t_IDB_RD_ADR_253 (253 -> 254);
295 trans t_IDB_RD_ADR_254 (254 -> 255);
296 trans t_IDB_RD_ADR_255 (255 -> 0);
297}