// ========== Copyright Header Begin ==========================================
// OpenSPARC T2 Processor File: ilu_peu_edb_wr_sample.vrh
// Copyright (C) 1995-2007 Sun Microsystems, Inc. All Rights Reserved
// 4150 Network Circle, Santa Clara, California 95054, U.S.A.
// * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
// This program is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; version 2 of the License.
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
// For the avoidance of doubt, and except that if any non-GPL license
// choice is available it will apply instead, Sun elects to use only
// the General Public License version 2 (GPLv2) at this time for any
// software where a choice of GPL license versions is made
// available with the language indicating that GPLv2 or any later version
// may be used, or where a choice of which version of the GPL is applied is
// otherwise unspecified.
// Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
// CA 95054 USA or visit www.sun.com if you need additional information or
// ========== Copyright Header End ============================================
sample ilu_peu_coverage_edb_wr_coverage_group.d2p_edb_addr
state s_EDB_FULL (0:255) if (edb_size == 256);
state s_EDB_BACK_TO_BACK_WR (0:255) if (edb_d_wr_b2b == 1);
trans t_EDB_WR_ADR_00 ( 0 -> 1);
trans t_EDB_WR_ADR_01 ( 1 -> 2);
trans t_EDB_WR_ADR_02 ( 2 -> 3);
trans t_EDB_WR_ADR_03 ( 3 -> 4);
trans t_EDB_WR_ADR_04 ( 4 -> 5);
trans t_EDB_WR_ADR_05 ( 5 -> 6);
trans t_EDB_WR_ADR_06 ( 6 -> 7);
trans t_EDB_WR_ADR_07 ( 7 -> 8);
trans t_EDB_WR_ADR_08 ( 8 -> 9);
trans t_EDB_WR_ADR_09 ( 9 -> 10);
trans t_EDB_WR_ADR_10 (10 -> 11);
trans t_EDB_WR_ADR_11 (11 -> 12);
trans t_EDB_WR_ADR_12 (12 -> 13);
trans t_EDB_WR_ADR_13 (13 -> 14);
trans t_EDB_WR_ADR_14 (14 -> 15);
trans t_EDB_WR_ADR_15 (15 -> 16);
trans t_EDB_WR_ADR_16 (16 -> 17);
trans t_EDB_WR_ADR_17 (17 -> 18);
trans t_EDB_WR_ADR_18 (18 -> 19);
trans t_EDB_WR_ADR_19 (19 -> 20);
trans t_EDB_WR_ADR_20 (20 -> 21);
trans t_EDB_WR_ADR_21 (21 -> 22);
trans t_EDB_WR_ADR_22 (22 -> 23);
trans t_EDB_WR_ADR_23 (23 -> 24);
trans t_EDB_WR_ADR_24 (24 -> 25);
trans t_EDB_WR_ADR_25 (25 -> 26);
trans t_EDB_WR_ADR_26 (26 -> 27);
trans t_EDB_WR_ADR_27 (27 -> 28);
trans t_EDB_WR_ADR_28 (28 -> 29);
trans t_EDB_WR_ADR_29 (29 -> 30);
trans t_EDB_WR_ADR_30 (30 -> 31);
trans t_EDB_WR_ADR_31 (31 -> 32);
trans t_EDB_WR_ADR_32 (32 -> 33);
trans t_EDB_WR_ADR_33 (33 -> 34);
trans t_EDB_WR_ADR_34 (34 -> 35);
trans t_EDB_WR_ADR_35 (35 -> 36);
trans t_EDB_WR_ADR_36 (36 -> 37);
trans t_EDB_WR_ADR_37 (37 -> 38);
trans t_EDB_WR_ADR_38 (38 -> 39);
trans t_EDB_WR_ADR_39 (39 -> 40);
trans t_EDB_WR_ADR_40 (40 -> 41);
trans t_EDB_WR_ADR_41 (41 -> 42);
trans t_EDB_WR_ADR_42 (42 -> 43);
trans t_EDB_WR_ADR_43 (43 -> 44);
trans t_EDB_WR_ADR_44 (44 -> 45);
trans t_EDB_WR_ADR_45 (45 -> 46);
trans t_EDB_WR_ADR_46 (46 -> 47);
trans t_EDB_WR_ADR_47 (47 -> 48);
trans t_EDB_WR_ADR_48 (48 -> 49);
trans t_EDB_WR_ADR_49 (49 -> 50);
trans t_EDB_WR_ADR_50 (50 -> 51);
trans t_EDB_WR_ADR_51 (51 -> 52);
trans t_EDB_WR_ADR_52 (52 -> 53);
trans t_EDB_WR_ADR_53 (53 -> 54);
trans t_EDB_WR_ADR_54 (54 -> 55);
trans t_EDB_WR_ADR_55 (55 -> 56);
trans t_EDB_WR_ADR_56 (56 -> 57);
trans t_EDB_WR_ADR_57 (57 -> 58);
trans t_EDB_WR_ADR_58 (58 -> 59);
trans t_EDB_WR_ADR_59 (59 -> 60);
trans t_EDB_WR_ADR_60 (60 -> 61);
trans t_EDB_WR_ADR_61 (61 -> 62);
trans t_EDB_WR_ADR_62 (62 -> 63);
trans t_EDB_WR_ADR_63 (63 -> 64);
trans t_EDB_WR_ADR_64 (64 -> 65);
trans t_EDB_WR_ADR_65 (65 -> 66);
trans t_EDB_WR_ADR_66 (66 -> 67);
trans t_EDB_WR_ADR_67 (67 -> 68);
trans t_EDB_WR_ADR_68 (68 -> 69);
trans t_EDB_WR_ADR_69 (69 -> 70);
trans t_EDB_WR_ADR_70 (70 -> 71);
trans t_EDB_WR_ADR_71 (71 -> 72);
trans t_EDB_WR_ADR_72 (72 -> 73);
trans t_EDB_WR_ADR_73 (73 -> 74);
trans t_EDB_WR_ADR_74 (74 -> 75);
trans t_EDB_WR_ADR_75 (75 -> 76);
trans t_EDB_WR_ADR_76 (76 -> 77);
trans t_EDB_WR_ADR_77 (77 -> 78);
trans t_EDB_WR_ADR_78 (78 -> 79);
trans t_EDB_WR_ADR_79 (79 -> 80);
trans t_EDB_WR_ADR_80 (80 -> 81);
trans t_EDB_WR_ADR_81 (81 -> 82);
trans t_EDB_WR_ADR_82 (82 -> 83);
trans t_EDB_WR_ADR_83 (83 -> 84);
trans t_EDB_WR_ADR_84 (84 -> 85);
trans t_EDB_WR_ADR_85 (85 -> 86);
trans t_EDB_WR_ADR_86 (86 -> 87);
trans t_EDB_WR_ADR_87 (87 -> 88);
trans t_EDB_WR_ADR_88 (88 -> 89);
trans t_EDB_WR_ADR_89 (89 -> 90);
trans t_EDB_WR_ADR_90 (90 -> 91);
trans t_EDB_WR_ADR_91 (91 -> 92);
trans t_EDB_WR_ADR_92 (92 -> 93);
trans t_EDB_WR_ADR_93 (93 -> 94);
trans t_EDB_WR_ADR_94 (94 -> 95);
trans t_EDB_WR_ADR_95 (95 -> 96);
trans t_EDB_WR_ADR_96 (96 -> 97);
trans t_EDB_WR_ADR_97 (97 -> 98);
trans t_EDB_WR_ADR_98 (98 -> 99);
trans t_EDB_WR_ADR_99 (99 -> 100);
trans t_EDB_WR_ADR_100 (100 -> 101);
trans t_EDB_WR_ADR_101 (101 -> 102);
trans t_EDB_WR_ADR_102 (102 -> 103);
trans t_EDB_WR_ADR_103 (103 -> 104);
trans t_EDB_WR_ADR_104 (104 -> 105);
trans t_EDB_WR_ADR_105 (105 -> 106);
trans t_EDB_WR_ADR_106 (106 -> 107);
trans t_EDB_WR_ADR_107 (107 -> 108);
trans t_EDB_WR_ADR_108 (108 -> 109);
trans t_EDB_WR_ADR_109 (109 -> 110);
trans t_EDB_WR_ADR_110 (110 -> 111);
trans t_EDB_WR_ADR_111 (111 -> 112);
trans t_EDB_WR_ADR_112 (112 -> 113);
trans t_EDB_WR_ADR_113 (113 -> 114);
trans t_EDB_WR_ADR_114 (114 -> 115);
trans t_EDB_WR_ADR_115 (115 -> 116);
trans t_EDB_WR_ADR_116 (116 -> 117);
trans t_EDB_WR_ADR_117 (117 -> 118);
trans t_EDB_WR_ADR_118 (118 -> 119);
trans t_EDB_WR_ADR_119 (119 -> 120);
trans t_EDB_WR_ADR_120 (120 -> 121);
trans t_EDB_WR_ADR_121 (121 -> 122);
trans t_EDB_WR_ADR_122 (122 -> 123);
trans t_EDB_WR_ADR_123 (123 -> 124);
trans t_EDB_WR_ADR_124 (124 -> 125);
trans t_EDB_WR_ADR_125 (125 -> 126);
trans t_EDB_WR_ADR_126 (126 -> 127);
trans t_EDB_WR_ADR_127 (127 -> 128);
trans t_EDB_WR_ADR_128 (128 -> 129);
trans t_EDB_WR_ADR_129 (129 -> 130);
trans t_EDB_WR_ADR_130 (130 -> 131);
trans t_EDB_WR_ADR_131 (131 -> 132);
trans t_EDB_WR_ADR_132 (132 -> 133);
trans t_EDB_WR_ADR_133 (133 -> 134);
trans t_EDB_WR_ADR_134 (134 -> 135);
trans t_EDB_WR_ADR_135 (135 -> 136);
trans t_EDB_WR_ADR_136 (136 -> 137);
trans t_EDB_WR_ADR_137 (137 -> 138);
trans t_EDB_WR_ADR_138 (138 -> 139);
trans t_EDB_WR_ADR_139 (139 -> 140);
trans t_EDB_WR_ADR_140 (140 -> 141);
trans t_EDB_WR_ADR_141 (141 -> 142);
trans t_EDB_WR_ADR_142 (142 -> 143);
trans t_EDB_WR_ADR_143 (143 -> 144);
trans t_EDB_WR_ADR_144 (144 -> 145);
trans t_EDB_WR_ADR_145 (145 -> 146);
trans t_EDB_WR_ADR_146 (146 -> 147);
trans t_EDB_WR_ADR_147 (147 -> 148);
trans t_EDB_WR_ADR_148 (148 -> 149);
trans t_EDB_WR_ADR_149 (149 -> 150);
trans t_EDB_WR_ADR_150 (150 -> 151);
trans t_EDB_WR_ADR_151 (151 -> 152);
trans t_EDB_WR_ADR_152 (152 -> 153);
trans t_EDB_WR_ADR_153 (153 -> 154);
trans t_EDB_WR_ADR_154 (154 -> 155);
trans t_EDB_WR_ADR_155 (155 -> 156);
trans t_EDB_WR_ADR_156 (156 -> 157);
trans t_EDB_WR_ADR_157 (157 -> 158);
trans t_EDB_WR_ADR_158 (158 -> 159);
trans t_EDB_WR_ADR_159 (159 -> 160);
trans t_EDB_WR_ADR_160 (160 -> 161);
trans t_EDB_WR_ADR_161 (161 -> 162);
trans t_EDB_WR_ADR_162 (162 -> 163);
trans t_EDB_WR_ADR_163 (163 -> 164);
trans t_EDB_WR_ADR_164 (164 -> 165);
trans t_EDB_WR_ADR_165 (165 -> 166);
trans t_EDB_WR_ADR_166 (166 -> 167);
trans t_EDB_WR_ADR_167 (167 -> 168);
trans t_EDB_WR_ADR_168 (168 -> 169);
trans t_EDB_WR_ADR_169 (169 -> 170);
trans t_EDB_WR_ADR_170 (170 -> 171);
trans t_EDB_WR_ADR_171 (171 -> 172);
trans t_EDB_WR_ADR_172 (172 -> 173);
trans t_EDB_WR_ADR_173 (173 -> 174);
trans t_EDB_WR_ADR_174 (174 -> 175);
trans t_EDB_WR_ADR_175 (175 -> 176);
trans t_EDB_WR_ADR_176 (176 -> 177);
trans t_EDB_WR_ADR_177 (177 -> 178);
trans t_EDB_WR_ADR_178 (178 -> 179);
trans t_EDB_WR_ADR_179 (179 -> 180);
trans t_EDB_WR_ADR_180 (180 -> 181);
trans t_EDB_WR_ADR_181 (181 -> 182);
trans t_EDB_WR_ADR_182 (182 -> 183);
trans t_EDB_WR_ADR_183 (183 -> 184);
trans t_EDB_WR_ADR_184 (184 -> 185);
trans t_EDB_WR_ADR_185 (185 -> 186);
trans t_EDB_WR_ADR_186 (186 -> 187);
trans t_EDB_WR_ADR_187 (187 -> 188);
trans t_EDB_WR_ADR_188 (188 -> 189);
trans t_EDB_WR_ADR_189 (189 -> 190);
trans t_EDB_WR_ADR_190 (190 -> 191);
trans t_EDB_WR_ADR_191 (191 -> 192);
trans t_EDB_WR_ADR_192 (192 -> 193);
trans t_EDB_WR_ADR_193 (193 -> 194);
trans t_EDB_WR_ADR_194 (194 -> 195);
trans t_EDB_WR_ADR_195 (195 -> 196);
trans t_EDB_WR_ADR_196 (196 -> 197);
trans t_EDB_WR_ADR_197 (197 -> 198);
trans t_EDB_WR_ADR_198 (198 -> 199);
trans t_EDB_WR_ADR_199 (199 -> 200);
trans t_EDB_WR_ADR_200 (200 -> 201);
trans t_EDB_WR_ADR_201 (201 -> 202);
trans t_EDB_WR_ADR_202 (202 -> 203);
trans t_EDB_WR_ADR_203 (203 -> 204);
trans t_EDB_WR_ADR_204 (204 -> 205);
trans t_EDB_WR_ADR_205 (205 -> 206);
trans t_EDB_WR_ADR_206 (206 -> 207);
trans t_EDB_WR_ADR_207 (207 -> 208);
trans t_EDB_WR_ADR_208 (208 -> 209);
trans t_EDB_WR_ADR_209 (209 -> 210);
trans t_EDB_WR_ADR_210 (210 -> 211);
trans t_EDB_WR_ADR_211 (211 -> 212);
trans t_EDB_WR_ADR_212 (212 -> 213);
trans t_EDB_WR_ADR_213 (213 -> 214);
trans t_EDB_WR_ADR_214 (214 -> 215);
trans t_EDB_WR_ADR_215 (215 -> 216);
trans t_EDB_WR_ADR_216 (216 -> 217);
trans t_EDB_WR_ADR_217 (217 -> 218);
trans t_EDB_WR_ADR_218 (218 -> 219);
trans t_EDB_WR_ADR_219 (219 -> 220);
trans t_EDB_WR_ADR_220 (220 -> 221);
trans t_EDB_WR_ADR_221 (221 -> 222);
trans t_EDB_WR_ADR_222 (222 -> 223);
trans t_EDB_WR_ADR_223 (223 -> 224);
trans t_EDB_WR_ADR_224 (224 -> 225);
trans t_EDB_WR_ADR_225 (225 -> 226);
trans t_EDB_WR_ADR_226 (226 -> 227);
trans t_EDB_WR_ADR_227 (227 -> 228);
trans t_EDB_WR_ADR_228 (228 -> 229);
trans t_EDB_WR_ADR_229 (229 -> 230);
trans t_EDB_WR_ADR_230 (230 -> 231);
trans t_EDB_WR_ADR_231 (231 -> 232);
trans t_EDB_WR_ADR_232 (232 -> 233);
trans t_EDB_WR_ADR_233 (233 -> 234);
trans t_EDB_WR_ADR_234 (234 -> 235);
trans t_EDB_WR_ADR_235 (235 -> 236);
trans t_EDB_WR_ADR_236 (236 -> 237);
trans t_EDB_WR_ADR_237 (237 -> 238);
trans t_EDB_WR_ADR_238 (238 -> 239);
trans t_EDB_WR_ADR_239 (239 -> 240);
trans t_EDB_WR_ADR_240 (240 -> 241);
trans t_EDB_WR_ADR_241 (241 -> 242);
trans t_EDB_WR_ADR_242 (242 -> 243);
trans t_EDB_WR_ADR_243 (243 -> 244);
trans t_EDB_WR_ADR_244 (244 -> 245);
trans t_EDB_WR_ADR_245 (245 -> 246);
trans t_EDB_WR_ADR_246 (246 -> 247);
trans t_EDB_WR_ADR_247 (247 -> 248);
trans t_EDB_WR_ADR_248 (248 -> 249);
trans t_EDB_WR_ADR_249 (249 -> 250);
trans t_EDB_WR_ADR_250 (250 -> 251);
trans t_EDB_WR_ADR_251 (251 -> 252);
trans t_EDB_WR_ADR_252 (252 -> 253);
trans t_EDB_WR_ADR_253 (253 -> 254);
trans t_EDB_WR_ADR_254 (254 -> 255);
trans t_EDB_WR_ADR_255 (255 -> 0);
projects / OpenSPARC-T2-DV / blob