| 1 | // ========== Copyright Header Begin ========================================== |
| 2 | // |
| 3 | // OpenSPARC T2 Processor File: ncu_spc_bnk_intf_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 ============================================ |
| 35 | sample ncu_spc_intf_core_enable_status_cov (ncu_spc_core_enable_status) |
| 36 | { |
| 37 | wildcard state CORE0 (8'bxxxxxxx1); |
| 38 | wildcard state CORE1 (8'bxxxxxx1x); |
| 39 | wildcard state CORE2 (8'bxxxxx1xx); |
| 40 | wildcard state CORE3 (8'bxxxx1xxx); |
| 41 | wildcard state CORE4 (8'bxxx1xxxx); |
| 42 | wildcard state CORE5 (8'bxx1xxxxx); |
| 43 | wildcard state CORE6 (8'bx1xxxxxx); |
| 44 | wildcard state CORE7 (8'b1xxxxxxx); |
| 45 | wildcard state CORE1EN_0DIS (8'bxxxxxx10); |
| 46 | wildcard state CORE2EN_01DIS (8'bxxxxx100); |
| 47 | wildcard state CORE3EN_012DIS (8'bxxxx1000); |
| 48 | wildcard state CORE4EN_0123DIS (8'bxxx10000); |
| 49 | wildcard state CORE5EN_01234DIS (8'bxx100000); |
| 50 | wildcard state CORE6EN_012345DIS (8'bx1000000); |
| 51 | state CORE7EN_0123456DIS (8'b10000000); |
| 52 | state CORE_ALL (8'b11111111); |
| 53 | } |
| 54 | |
| 55 | sample ncu_spc_core_intf_available_cov (ncu_spc_core_available) |
| 56 | { |
| 57 | wildcard state CORE0 (8'bxxxxxxx1); |
| 58 | wildcard state CORE1 (8'bxxxxxx1x); |
| 59 | wildcard state CORE2 (8'bxxxxx1xx); |
| 60 | wildcard state CORE3 (8'bxxxx1xxx); |
| 61 | wildcard state CORE4 (8'bxxx1xxxx); |
| 62 | wildcard state CORE5 (8'bxx1xxxxx); |
| 63 | wildcard state CORE6 (8'bx1xxxxxx); |
| 64 | wildcard state CORE7 (8'b1xxxxxxx); |
| 65 | wildcard state CORE1EN_0DIS (8'bxxxxxx10); |
| 66 | wildcard state CORE2EN_01DIS (8'bxxxxx100); |
| 67 | wildcard state CORE3EN_012DIS (8'bxxxx1000); |
| 68 | wildcard state CORE4EN_0123DIS (8'bxxx10000); |
| 69 | wildcard state CORE5EN_01234DIS (8'bxx100000); |
| 70 | wildcard state CORE6EN_012345DIS (8'bx1000000); |
| 71 | state CORE7EN_0123456DIS (8'b10000000); |
| 72 | state CORE_ALL (8'b11111111); |
| 73 | } |
| 74 | |
| 75 | |
| 76 | sample ncu_spc_core_intf_running_cov (ncu_spc_core_running) |
| 77 | { |
| 78 | wildcard state CORE0_THR0 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1); |
| 79 | wildcard state CORE0_THR1 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1x); |
| 80 | wildcard state CORE0_THR2 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xx); |
| 81 | wildcard state CORE0_THR3 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxx); |
| 82 | wildcard state CORE0_THR4 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxx); |
| 83 | wildcard state CORE0_THR5 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxx); |
| 84 | wildcard state CORE0_THR6 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxx); |
| 85 | wildcard state CORE0_THR7 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxx); |
| 86 | wildcard state CORE0_THR8 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxx); |
| 87 | wildcard state CORE0_THR9 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxx); |
| 88 | wildcard state CORE1_THR10 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxx); |
| 89 | wildcard state CORE1_THR11 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxx); |
| 90 | wildcard state CORE1_THR12 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxx); |
| 91 | wildcard state CORE1_THR13 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxx); |
| 92 | wildcard state CORE1_THR14 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxx); |
| 93 | wildcard state CORE1_THR15 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxx); |
| 94 | wildcard state CORE1_THR16 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxx); |
| 95 | wildcard state CORE1_THR17 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxx); |
| 96 | wildcard state CORE1_THR18 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxx); |
| 97 | wildcard state CORE1_THR19 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxx); |
| 98 | wildcard state CORE2_THR20 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxx); |
| 99 | wildcard state CORE2_THR21 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxx); |
| 100 | wildcard state CORE2_THR22 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxx); |
| 101 | wildcard state CORE2_THR23 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxx); |
| 102 | wildcard state CORE2_THR24 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxx); |
| 103 | wildcard state CORE2_THR25 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxx); |
| 104 | wildcard state CORE2_THR26 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 105 | wildcard state CORE2_THR27 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 106 | wildcard state CORE2_THR28 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 107 | wildcard state CORE2_THR29 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 108 | wildcard state CORE3_THR30 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 109 | wildcard state CORE3_THR31 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 110 | wildcard state CORE3_THR32 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 111 | wildcard state CORE3_THR33 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 112 | wildcard state CORE3_THR34 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 113 | wildcard state CORE3_THR35 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 114 | wildcard state CORE3_THR36 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 115 | wildcard state CORE3_THR37 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 116 | wildcard state CORE3_THR38 (64'bxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 117 | wildcard state CORE3_THR39 (64'bxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 118 | wildcard state CORE4_THR40 (64'bxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 119 | wildcard state CORE4_THR41 (64'bxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 120 | wildcard state CORE4_THR42 (64'bxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 121 | wildcard state CORE4_THR43 (64'bxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 122 | wildcard state CORE4_THR44 (64'bxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 123 | wildcard state CORE4_THR45 (64'bxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 124 | wildcard state CORE4_THR46 (64'bxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 125 | wildcard state CORE4_THR47 (64'bxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 126 | wildcard state CORE4_THR48 (64'bxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 127 | wildcard state CORE4_THR49 (64'bxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 128 | wildcard state CORE5_THR50 (64'bxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 129 | wildcard state CORE5_THR51 (64'bxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 130 | wildcard state CORE5_THR52 (64'bxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 131 | wildcard state CORE5_THR53 (64'bxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 132 | wildcard state CORE5_THR54 (64'bxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 133 | wildcard state CORE5_THR55 (64'bxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 134 | wildcard state CORE5_THR56 (64'bxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 135 | wildcard state CORE5_THR57 (64'bxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 136 | wildcard state CORE5_THR58 (64'bxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 137 | wildcard state CORE5_THR59 (64'bxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 138 | wildcard state CORE6_THR60 (64'bxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 139 | wildcard state CORE6_THR61 (64'bxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 140 | wildcard state CORE6_THR62 (64'bx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 141 | wildcard state CORE6_THR63 (64'b1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 142 | |
| 143 | wildcard state CORE1_THR0EN_CORE0DIS (64'hxxxxxxxxxxxxx100); |
| 144 | wildcard state CORE2_THR0EN_CORE01DIS (64'hxxxxxxxxxxx10000); |
| 145 | wildcard state CORE3_THR0EN_CORE01DIS (64'hxxxxxxxxx1000000); |
| 146 | wildcard state CORE4_THR0EN_CORE01DIS (64'hxxxxxxx100000000); |
| 147 | wildcard state CORE5_THR0EN_CORE01DIS (64'hxxxxx10000000000); |
| 148 | wildcard state CORE6_THR0EN_CORE01DIS (64'hxxx1000000000000); |
| 149 | wildcard state CORE7_THR0EN_CORE01DIS (64'hx100000000000000); |
| 150 | state THREAD_ALL_EN (64'hffffffffffffffff); |
| 151 | |
| 152 | state PATTEN0 (64'haaaaaaaaaaaaaaaa); |
| 153 | state PATTEN1 (64'h5555555555555555); |
| 154 | } |
| 155 | |
| 156 | sample spc_ncu_core_intf_running_status_cov (spc_ncu_core_running_status) |
| 157 | { |
| 158 | wildcard state CORE0_THR0 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1); |
| 159 | wildcard state CORE0_THR1 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1x); |
| 160 | wildcard state CORE0_THR2 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xx); |
| 161 | wildcard state CORE0_THR3 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxx); |
| 162 | wildcard state CORE0_THR4 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxx); |
| 163 | wildcard state CORE0_THR5 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxx); |
| 164 | wildcard state CORE0_THR6 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxx); |
| 165 | wildcard state CORE0_THR7 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxx); |
| 166 | wildcard state CORE0_THR8 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxx); |
| 167 | wildcard state CORE0_THR9 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxx); |
| 168 | wildcard state CORE1_THR10 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxx); |
| 169 | wildcard state CORE1_THR11 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxx); |
| 170 | wildcard state CORE1_THR12 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxx); |
| 171 | wildcard state CORE1_THR13 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxx); |
| 172 | wildcard state CORE1_THR14 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxx); |
| 173 | wildcard state CORE1_THR15 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxx); |
| 174 | wildcard state CORE1_THR16 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxx); |
| 175 | wildcard state CORE1_THR17 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxx); |
| 176 | wildcard state CORE1_THR18 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxx); |
| 177 | wildcard state CORE1_THR19 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxx); |
| 178 | wildcard state CORE2_THR20 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxx); |
| 179 | wildcard state CORE2_THR21 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxx); |
| 180 | wildcard state CORE2_THR22 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxx); |
| 181 | wildcard state CORE2_THR23 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxx); |
| 182 | wildcard state CORE2_THR24 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxx); |
| 183 | wildcard state CORE2_THR25 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxx); |
| 184 | wildcard state CORE2_THR26 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 185 | wildcard state CORE2_THR27 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 186 | wildcard state CORE2_THR28 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 187 | wildcard state CORE2_THR29 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 188 | wildcard state CORE3_THR30 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 189 | wildcard state CORE3_THR31 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 190 | wildcard state CORE3_THR32 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 191 | wildcard state CORE3_THR33 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 192 | wildcard state CORE3_THR34 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 193 | wildcard state CORE3_THR35 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 194 | wildcard state CORE3_THR36 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 195 | wildcard state CORE3_THR37 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 196 | wildcard state CORE3_THR38 (64'bxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 197 | wildcard state CORE3_THR39 (64'bxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 198 | wildcard state CORE4_THR40 (64'bxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 199 | wildcard state CORE4_THR41 (64'bxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 200 | wildcard state CORE4_THR42 (64'bxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 201 | wildcard state CORE4_THR43 (64'bxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 202 | wildcard state CORE4_THR44 (64'bxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 203 | wildcard state CORE4_THR45 (64'bxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 204 | wildcard state CORE4_THR46 (64'bxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 205 | wildcard state CORE4_THR47 (64'bxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 206 | wildcard state CORE4_THR48 (64'bxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 207 | wildcard state CORE4_THR49 (64'bxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 208 | wildcard state CORE5_THR50 (64'bxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 209 | wildcard state CORE5_THR51 (64'bxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 210 | wildcard state CORE5_THR52 (64'bxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 211 | wildcard state CORE5_THR53 (64'bxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 212 | wildcard state CORE5_THR54 (64'bxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 213 | wildcard state CORE5_THR55 (64'bxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 214 | wildcard state CORE5_THR56 (64'bxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 215 | wildcard state CORE5_THR57 (64'bxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 216 | wildcard state CORE5_THR58 (64'bxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 217 | wildcard state CORE5_THR59 (64'bxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 218 | wildcard state CORE6_THR60 (64'bxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 219 | wildcard state CORE6_THR61 (64'bxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 220 | wildcard state CORE6_THR62 (64'bx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 221 | wildcard state CORE6_THR63 (64'b1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx); |
| 222 | |
| 223 | wildcard state CORE1_THR0EN_CORE0DIS (64'hxxxxxxxxxxxxx100); |
| 224 | wildcard state CORE2_THR0EN_CORE01DIS (64'hxxxxxxxxxxx10000); |
| 225 | wildcard state CORE3_THR0EN_CORE01DIS (64'hxxxxxxxxx1000000); |
| 226 | wildcard state CORE4_THR0EN_CORE01DIS (64'hxxxxxxx100000000); |
| 227 | wildcard state CORE5_THR0EN_CORE01DIS (64'hxxxxx10000000000); |
| 228 | wildcard state CORE6_THR0EN_CORE01DIS (64'hxxx1000000000000); |
| 229 | wildcard state CORE7_THR0EN_CORE01DIS (64'hx100000000000000); |
| 230 | state THEAD_ALL_EN (64'hffffffffffffffff); |
| 231 | state PATTEN0 (64'haaaaaaaaaaaaaaaa); |
| 232 | state PATTEN1 (64'h5555555555555555); |
| 233 | } |
| 234 | |
| 235 | |
| 236 | sample ncu_spc_ba_intf_cov (ncu_spc_ba) |
| 237 | { |
| 238 | state PATTEN1 (5'b10001); |
| 239 | state PATTEN2 (5'b10010); |
| 240 | state PATTEN3 (5'b10011); |
| 241 | state PATTEN4 (5'b10100); |
| 242 | state PATTEN5 (5'b10101); |
| 243 | state PATTEN6 (5'b10110); |
| 244 | state PATTEN8 (5'b11000); |
| 245 | state PATTEN9 (5'b11001); |
| 246 | state PATTEN10 (5'b11010); |
| 247 | state PATTEN12 (5'b11100); |
| 248 | state PATTEN16 (5'b01111); |
| 249 | } |
| 250 | sample ncu_mcu_ba_intf_cov (ncu_mcu_ba) |
| 251 | { |
| 252 | |
| 253 | state PATTEN1 (5'b10001); |
| 254 | state PATTEN2 (5'b10010); |
| 255 | state PATTEN3 (5'b10011); |
| 256 | state PATTEN4 (5'b10100); |
| 257 | state PATTEN5 (5'b10101); |
| 258 | state PATTEN6 (5'b10110); |
| 259 | state PATTEN8 (5'b11000); |
| 260 | state PATTEN9 (5'b11001); |
| 261 | state PATTEN10 (5'b11010); |
| 262 | state PATTEN12 (5'b11100); |
| 263 | state PATTEN16 (5'b01111); |
| 264 | } |
| 265 | sample ncu_sii_ba_intf_cov (ncu_sii_ba) |
| 266 | { |
| 267 | state PATTEN1 (5'b10001); |
| 268 | state PATTEN2 (5'b10010); |
| 269 | state PATTEN3 (5'b10011); |
| 270 | state PATTEN4 (5'b10100); |
| 271 | state PATTEN5 (5'b10101); |
| 272 | state PATTEN6 (5'b10110); |
| 273 | state PATTEN8 (5'b11000); |
| 274 | state PATTEN9 (5'b11001); |
| 275 | state PATTEN10 (5'b11010); |
| 276 | state PATTEN12 (5'b11100); |
| 277 | state PATTEN16 (5'b01111); |
| 278 | } |
| 279 | sample ncu_l2t_ba_intf_cov (ncu_l2t_ba) |
| 280 | { |
| 281 | state PATTEN1 (5'b10001); |
| 282 | state PATTEN2 (5'b10010); |
| 283 | state PATTEN3 (5'b10011); |
| 284 | state PATTEN4 (5'b10100); |
| 285 | state PATTEN5 (5'b10101); |
| 286 | state PATTEN6 (5'b10110); |
| 287 | state PATTEN8 (5'b11000); |
| 288 | state PATTEN9 (5'b11001); |
| 289 | state PATTEN10 (5'b11010); |
| 290 | state PATTEN12 (5'b11100); |
| 291 | state PATTEN16 (5'b01111); |
| 292 | } |
| 293 | sample ncu_spc_intf_l2_idx_hash_en (ncu_cov_ios.ncu_spc_l2_idx_hash_en) |
| 294 | { |
| 295 | state HASH_EN (1'b1); |
| 296 | } |
| 297 | sample ncu_sii_intf_l2_idx_hash_en (ncu_cov_ios.ncu_sii_l2_idx_hash_en) |
| 298 | { |
| 299 | state HASH_EN (1'b1); |
| 300 | } |