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 / ncu / ncu_spc_bnk_intf_sample.vrh
CommitLineData
86530b38
AT		 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 ============================================
35sample 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
55sample 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
76sample 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
156sample 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
236sample 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}
250sample 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}
265sample 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}
279sample 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}
293sample ncu_spc_intf_l2_idx_hash_en (ncu_cov_ios.ncu_spc_l2_idx_hash_en)
294{
295 state HASH_EN (1'b1);
296}
297sample ncu_sii_intf_l2_idx_hash_en (ncu_cov_ios.ncu_sii_l2_idx_hash_en)
298{
299 state HASH_EN (1'b1);
300}
Full OpenSPARC design & verification tarball including full HDL.