// ========== Copyright Header Begin ========================================== // // OpenSPARC T2 Processor File: ilu_peu_edb_rd_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 // have any questions. // // ========== Copyright Header End ============================================ sample ilu_peu_coverage_edb_rd_coverage_group.et2ed_addr { state s_EDB_EMPTY (0:255) if (edb_size == 0); state s_EDB_RD_WR (0:255) if (ilu_peu_coverage_edb_wr_coverage_group.d2p_edb_we === 1'b1); state s_EDB_BACK_TO_BACK_RD (0:255) if (edb_d_rd_b2b == 1); trans t_EDB_RD_ADR_00 ( 0 -> 1); trans t_EDB_RD_ADR_01 ( 1 -> 2); trans t_EDB_RD_ADR_02 ( 2 -> 3); trans t_EDB_RD_ADR_03 ( 3 -> 4); trans t_EDB_RD_ADR_04 ( 4 -> 5); trans t_EDB_RD_ADR_05 ( 5 -> 6); trans t_EDB_RD_ADR_06 ( 6 -> 7); trans t_EDB_RD_ADR_07 ( 7 -> 8); trans t_EDB_RD_ADR_08 ( 8 -> 9); trans t_EDB_RD_ADR_09 ( 9 -> 10); trans t_EDB_RD_ADR_10 (10 -> 11); trans t_EDB_RD_ADR_11 (11 -> 12); trans t_EDB_RD_ADR_12 (12 -> 13); trans t_EDB_RD_ADR_13 (13 -> 14); trans t_EDB_RD_ADR_14 (14 -> 15); trans t_EDB_RD_ADR_15 (15 -> 16); trans t_EDB_RD_ADR_16 (16 -> 17); trans t_EDB_RD_ADR_17 (17 -> 18); trans t_EDB_RD_ADR_18 (18 -> 19); trans t_EDB_RD_ADR_19 (19 -> 20); trans t_EDB_RD_ADR_20 (20 -> 21); trans t_EDB_RD_ADR_21 (21 -> 22); trans t_EDB_RD_ADR_22 (22 -> 23); trans t_EDB_RD_ADR_23 (23 -> 24); trans t_EDB_RD_ADR_24 (24 -> 25); trans t_EDB_RD_ADR_25 (25 -> 26); trans t_EDB_RD_ADR_26 (26 -> 27); trans t_EDB_RD_ADR_27 (27 -> 28); trans t_EDB_RD_ADR_28 (28 -> 29); trans t_EDB_RD_ADR_29 (29 -> 30); trans t_EDB_RD_ADR_30 (30 -> 31); trans t_EDB_RD_ADR_31 (31 -> 32); trans t_EDB_RD_ADR_32 (32 -> 33); trans t_EDB_RD_ADR_33 (33 -> 34); trans t_EDB_RD_ADR_34 (34 -> 35); trans t_EDB_RD_ADR_35 (35 -> 36); trans t_EDB_RD_ADR_36 (36 -> 37); trans t_EDB_RD_ADR_37 (37 -> 38); trans t_EDB_RD_ADR_38 (38 -> 39); trans t_EDB_RD_ADR_39 (39 -> 40); trans t_EDB_RD_ADR_40 (40 -> 41); trans t_EDB_RD_ADR_41 (41 -> 42); trans t_EDB_RD_ADR_42 (42 -> 43); trans t_EDB_RD_ADR_43 (43 -> 44); trans t_EDB_RD_ADR_44 (44 -> 45); trans t_EDB_RD_ADR_45 (45 -> 46); trans t_EDB_RD_ADR_46 (46 -> 47); trans t_EDB_RD_ADR_47 (47 -> 48); trans t_EDB_RD_ADR_48 (48 -> 49); trans t_EDB_RD_ADR_49 (49 -> 50); trans t_EDB_RD_ADR_50 (50 -> 51); trans t_EDB_RD_ADR_51 (51 -> 52); trans t_EDB_RD_ADR_52 (52 -> 53); trans t_EDB_RD_ADR_53 (53 -> 54); trans t_EDB_RD_ADR_54 (54 -> 55); trans t_EDB_RD_ADR_55 (55 -> 56); trans t_EDB_RD_ADR_56 (56 -> 57); trans t_EDB_RD_ADR_57 (57 -> 58); trans t_EDB_RD_ADR_58 (58 -> 59); trans t_EDB_RD_ADR_59 (59 -> 60); trans t_EDB_RD_ADR_60 (60 -> 61); trans t_EDB_RD_ADR_61 (61 -> 62); trans t_EDB_RD_ADR_62 (62 -> 63); trans t_EDB_RD_ADR_63 (63 -> 64); trans t_EDB_RD_ADR_64 (64 -> 65); trans t_EDB_RD_ADR_65 (65 -> 66); trans t_EDB_RD_ADR_66 (66 -> 67); trans t_EDB_RD_ADR_67 (67 -> 68); trans t_EDB_RD_ADR_68 (68 -> 69); trans t_EDB_RD_ADR_69 (69 -> 70); trans t_EDB_RD_ADR_70 (70 -> 71); trans t_EDB_RD_ADR_71 (71 -> 72); trans t_EDB_RD_ADR_72 (72 -> 73); trans t_EDB_RD_ADR_73 (73 -> 74); trans t_EDB_RD_ADR_74 (74 -> 75); trans t_EDB_RD_ADR_75 (75 -> 76); trans t_EDB_RD_ADR_76 (76 -> 77); trans t_EDB_RD_ADR_77 (77 -> 78); trans t_EDB_RD_ADR_78 (78 -> 79); trans t_EDB_RD_ADR_79 (79 -> 80); trans t_EDB_RD_ADR_80 (80 -> 81); trans t_EDB_RD_ADR_81 (81 -> 82); trans t_EDB_RD_ADR_82 (82 -> 83); trans t_EDB_RD_ADR_83 (83 -> 84); trans t_EDB_RD_ADR_84 (84 -> 85); trans t_EDB_RD_ADR_85 (85 -> 86); trans t_EDB_RD_ADR_86 (86 -> 87); trans t_EDB_RD_ADR_87 (87 -> 88); trans t_EDB_RD_ADR_88 (88 -> 89); trans t_EDB_RD_ADR_89 (89 -> 90); trans t_EDB_RD_ADR_90 (90 -> 91); trans t_EDB_RD_ADR_91 (91 -> 92); trans t_EDB_RD_ADR_92 (92 -> 93); trans t_EDB_RD_ADR_93 (93 -> 94); trans t_EDB_RD_ADR_94 (94 -> 95); trans t_EDB_RD_ADR_95 (95 -> 96); trans t_EDB_RD_ADR_96 (96 -> 97); trans t_EDB_RD_ADR_97 (97 -> 98); trans t_EDB_RD_ADR_98 (98 -> 99); trans t_EDB_RD_ADR_99 (99 -> 100); trans t_EDB_RD_ADR_100 (100 -> 101); trans t_EDB_RD_ADR_101 (101 -> 102); trans t_EDB_RD_ADR_102 (102 -> 103); trans t_EDB_RD_ADR_103 (103 -> 104); trans t_EDB_RD_ADR_104 (104 -> 105); trans t_EDB_RD_ADR_105 (105 -> 106); trans t_EDB_RD_ADR_106 (106 -> 107); trans t_EDB_RD_ADR_107 (107 -> 108); trans t_EDB_RD_ADR_108 (108 -> 109); trans t_EDB_RD_ADR_109 (109 -> 110); trans t_EDB_RD_ADR_110 (110 -> 111); trans t_EDB_RD_ADR_111 (111 -> 112); trans t_EDB_RD_ADR_112 (112 -> 113); trans t_EDB_RD_ADR_113 (113 -> 114); trans t_EDB_RD_ADR_114 (114 -> 115); trans t_EDB_RD_ADR_115 (115 -> 116); trans t_EDB_RD_ADR_116 (116 -> 117); trans t_EDB_RD_ADR_117 (117 -> 118); trans t_EDB_RD_ADR_118 (118 -> 119); trans t_EDB_RD_ADR_119 (119 -> 120); trans t_EDB_RD_ADR_120 (120 -> 121); trans t_EDB_RD_ADR_121 (121 -> 122); trans t_EDB_RD_ADR_122 (122 -> 123); trans t_EDB_RD_ADR_123 (123 -> 124); trans t_EDB_RD_ADR_124 (124 -> 125); trans t_EDB_RD_ADR_125 (125 -> 126); trans t_EDB_RD_ADR_126 (126 -> 127); trans t_EDB_RD_ADR_127 (127 -> 0); trans t_EDB_RD_ADR_128 (128 -> 129); trans t_EDB_RD_ADR_129 (129 -> 130); trans t_EDB_RD_ADR_130 (130 -> 131); trans t_EDB_RD_ADR_131 (131 -> 132); trans t_EDB_RD_ADR_132 (132 -> 133); trans t_EDB_RD_ADR_133 (133 -> 134); trans t_EDB_RD_ADR_134 (134 -> 135); trans t_EDB_RD_ADR_135 (135 -> 136); trans t_EDB_RD_ADR_136 (136 -> 137); trans t_EDB_RD_ADR_137 (137 -> 138); trans t_EDB_RD_ADR_138 (138 -> 139); trans t_EDB_RD_ADR_139 (139 -> 140); trans t_EDB_RD_ADR_140 (140 -> 141); trans t_EDB_RD_ADR_141 (141 -> 142); trans t_EDB_RD_ADR_142 (142 -> 143); trans t_EDB_RD_ADR_143 (143 -> 144); trans t_EDB_RD_ADR_144 (144 -> 145); trans t_EDB_RD_ADR_145 (145 -> 146); trans t_EDB_RD_ADR_146 (146 -> 147); trans t_EDB_RD_ADR_147 (147 -> 148); trans t_EDB_RD_ADR_148 (148 -> 149); trans t_EDB_RD_ADR_149 (149 -> 150); trans t_EDB_RD_ADR_150 (150 -> 151); trans t_EDB_RD_ADR_151 (151 -> 152); trans t_EDB_RD_ADR_152 (152 -> 153); trans t_EDB_RD_ADR_153 (153 -> 154); trans t_EDB_RD_ADR_154 (154 -> 155); trans t_EDB_RD_ADR_155 (155 -> 156); trans t_EDB_RD_ADR_156 (156 -> 157); trans t_EDB_RD_ADR_157 (157 -> 158); trans t_EDB_RD_ADR_158 (158 -> 159); trans t_EDB_RD_ADR_159 (159 -> 160); trans t_EDB_RD_ADR_160 (160 -> 161); trans t_EDB_RD_ADR_161 (161 -> 162); trans t_EDB_RD_ADR_162 (162 -> 163); trans t_EDB_RD_ADR_163 (163 -> 164); trans t_EDB_RD_ADR_164 (164 -> 165); trans t_EDB_RD_ADR_165 (165 -> 166); trans t_EDB_RD_ADR_166 (166 -> 167); trans t_EDB_RD_ADR_167 (167 -> 168); trans t_EDB_RD_ADR_168 (168 -> 169); trans t_EDB_RD_ADR_169 (169 -> 170); trans t_EDB_RD_ADR_170 (170 -> 171); trans t_EDB_RD_ADR_171 (171 -> 172); trans t_EDB_RD_ADR_172 (172 -> 173); trans t_EDB_RD_ADR_173 (173 -> 174); trans t_EDB_RD_ADR_174 (174 -> 175); trans t_EDB_RD_ADR_175 (175 -> 176); trans t_EDB_RD_ADR_176 (176 -> 177); trans t_EDB_RD_ADR_177 (177 -> 178); trans t_EDB_RD_ADR_178 (178 -> 179); trans t_EDB_RD_ADR_179 (179 -> 180); trans t_EDB_RD_ADR_180 (180 -> 181); trans t_EDB_RD_ADR_181 (181 -> 182); trans t_EDB_RD_ADR_182 (182 -> 183); trans t_EDB_RD_ADR_183 (183 -> 184); trans t_EDB_RD_ADR_184 (184 -> 185); trans t_EDB_RD_ADR_185 (185 -> 186); trans t_EDB_RD_ADR_186 (186 -> 187); trans t_EDB_RD_ADR_187 (187 -> 188); trans t_EDB_RD_ADR_188 (188 -> 189); trans t_EDB_RD_ADR_189 (189 -> 190); trans t_EDB_RD_ADR_190 (190 -> 191); trans t_EDB_RD_ADR_191 (191 -> 192); trans t_EDB_RD_ADR_192 (192 -> 193); trans t_EDB_RD_ADR_193 (193 -> 194); trans t_EDB_RD_ADR_194 (194 -> 195); trans t_EDB_RD_ADR_195 (195 -> 196); trans t_EDB_RD_ADR_196 (196 -> 197); trans t_EDB_RD_ADR_197 (197 -> 198); trans t_EDB_RD_ADR_198 (198 -> 199); trans t_EDB_RD_ADR_199 (199 -> 200); trans t_EDB_RD_ADR_200 (200 -> 201); trans t_EDB_RD_ADR_201 (201 -> 202); trans t_EDB_RD_ADR_202 (202 -> 203); trans t_EDB_RD_ADR_203 (203 -> 204); trans t_EDB_RD_ADR_204 (204 -> 205); trans t_EDB_RD_ADR_205 (205 -> 206); trans t_EDB_RD_ADR_206 (206 -> 207); trans t_EDB_RD_ADR_207 (207 -> 208); trans t_EDB_RD_ADR_208 (208 -> 209); trans t_EDB_RD_ADR_209 (209 -> 210); trans t_EDB_RD_ADR_210 (210 -> 211); trans t_EDB_RD_ADR_211 (211 -> 212); trans t_EDB_RD_ADR_212 (212 -> 213); trans t_EDB_RD_ADR_213 (213 -> 214); trans t_EDB_RD_ADR_214 (214 -> 215); trans t_EDB_RD_ADR_215 (215 -> 216); trans t_EDB_RD_ADR_216 (216 -> 217); trans t_EDB_RD_ADR_217 (217 -> 218); trans t_EDB_RD_ADR_218 (218 -> 219); trans t_EDB_RD_ADR_219 (219 -> 220); trans t_EDB_RD_ADR_220 (220 -> 221); trans t_EDB_RD_ADR_221 (221 -> 222); trans t_EDB_RD_ADR_222 (222 -> 223); trans t_EDB_RD_ADR_223 (223 -> 224); trans t_EDB_RD_ADR_224 (224 -> 225); trans t_EDB_RD_ADR_225 (225 -> 226); trans t_EDB_RD_ADR_226 (226 -> 227); trans t_EDB_RD_ADR_227 (227 -> 228); trans t_EDB_RD_ADR_228 (228 -> 229); trans t_EDB_RD_ADR_229 (229 -> 230); trans t_EDB_RD_ADR_230 (230 -> 231); trans t_EDB_RD_ADR_231 (231 -> 232); trans t_EDB_RD_ADR_232 (232 -> 233); trans t_EDB_RD_ADR_233 (233 -> 234); trans t_EDB_RD_ADR_234 (234 -> 235); trans t_EDB_RD_ADR_235 (235 -> 236); trans t_EDB_RD_ADR_236 (236 -> 237); trans t_EDB_RD_ADR_237 (237 -> 238); trans t_EDB_RD_ADR_238 (238 -> 239); trans t_EDB_RD_ADR_239 (239 -> 240); trans t_EDB_RD_ADR_240 (240 -> 241); trans t_EDB_RD_ADR_241 (241 -> 242); trans t_EDB_RD_ADR_242 (242 -> 243); trans t_EDB_RD_ADR_243 (243 -> 244); trans t_EDB_RD_ADR_244 (244 -> 245); trans t_EDB_RD_ADR_245 (245 -> 246); trans t_EDB_RD_ADR_246 (246 -> 247); trans t_EDB_RD_ADR_247 (247 -> 248); trans t_EDB_RD_ADR_248 (248 -> 249); trans t_EDB_RD_ADR_249 (249 -> 250); trans t_EDB_RD_ADR_250 (250 -> 251); trans t_EDB_RD_ADR_251 (251 -> 252); trans t_EDB_RD_ADR_252 (252 -> 253); trans t_EDB_RD_ADR_253 (253 -> 254); trans t_EDB_RD_ADR_254 (254 -> 255); trans t_EDB_RD_ADR_255 (255 -> 128); }