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_int_sample.vrh
CommitLineData
86530b38
AT		 1// ========== Copyright Header Begin ==========================================
2//
3// OpenSPARC T2 Processor File: ncu_int_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_intr_spc_niu_skew_cov (spc_niu_int_skew)
36{
37 m_state SPC_NIU (0:10) if (niu_int_flag);
38}
39
40sample ncu_intr_spc_siu_skew_cov (spc_siu_int_skew)
41{
42 m_state SPC_SIU (0:10) if (siu_int_flag);
43}
44
45sample ncu_intr_spc_ssi_skew_cov (spc_ssi_int_skew)
46{
47 m_state SPC_SSI (0:10) if (ssi_int_flag);
48}
49
50sample ncu_intr_niu_spc_skew_cov (niu_spc_int_skew)
51{
52 m_state NIU_SPC (0:10) if (spc_int_flag);
53}
54
55sample ncu_intr_niu_siu_skew_cov (niu_siu_int_skew)
56{
57 m_state NIU_SIU (0:10) if (siu_int_flag);
58}
59
60sample ncu_intr_niu_ssi_skew_cov (niu_ssi_int_skew)
61{
62 m_state NIU_SSI (0:10) if (ssi_int_flag);
63}
64
65sample ncu_intr_siu_spc_skew_cov (siu_spc_int_skew)
66{
67 m_state SIU_SPC (0:10) if (spc_int_flag);
68}
69
70sample ncu_intr_siu_niu_skew_cov (siu_niu_int_skew)
71{
72 m_state SIU_NIU (0:10) if (niu_int_flag);
73}
74
75sample ncu_intr_siu_ssi_skew_cov (siu_ssi_int_skew)
76{
77 m_state SIU_SSI (0:10) if (ssi_int_flag);
78}
79
80sample ncu_intr_ssi_spc_skew_cov (ssi_spc_int_skew)
81{
82 m_state SIU_SPC (0:10) if (spc_int_flag);
83}
84
85sample ncu_intr_ssi_niu_skew_cov (ssi_niu_int_skew)
86{
87 m_state SIU_NIU (0:10) if (niu_int_flag);
88}
89
90sample ncu_intr_ssi_siu_skew_cov (ssi_siu_int_skew)
91{
92 m_state SSI_SIU (0:10) if (siu_int_flag);
93}
94
95//////////////////////////////////////////////////////////
96
97
98
99
100/*
101cross ncu_intr_spc_niu_siu_skew_cov (ncu_intr_spc_niu_skew012_cov, ncu_intr_niu_siu_skew012_cov);
102cross ncu_intr_spc_niu_ssi_skew_cov (ncu_intr_spc_niu_skew012_cov, ncu_intr_niu_ssi_skew012_cov);
103cross ncu_intr_spc_siu_niu_skew_cov (ncu_intr_spc_siu_skew012_cov, ncu_intr_siu_niu_skew012_cov);
104cross ncu_intr_spc_siu_ssi_skew_cov (ncu_intr_spc_siu_skew012_cov, ncu_intr_siu_ssi_skew012_cov);
105cross ncu_intr_spc_ssi_niu_skew_cov (ncu_intr_spc_ssi_skew012_cov, ncu_intr_ssi_niu_skew012_cov);
106cross ncu_intr_spc_ssi_siu_skew_cov (ncu_intr_spc_ssi_skew012_cov, ncu_intr_ssi_siu_skew012_cov);
107
108
109cross ncu_intr_niu_spc_siu_skew_cov (ncu_intr_niu_spc_skew012_cov, ncu_intr_spc_siu_skew012_cov);
110cross ncu_intr_niu_spc_ssi_skew_cov (ncu_intr_niu_spc_skew012_cov, ncu_intr_spc_ssi_skew012_cov);
111cross ncu_intr_niu_siu_spc_skew_cov (ncu_intr_niu_siu_skew012_cov, ncu_intr_siu_spc_skew012_cov);
112cross ncu_intr_niu_siu_ssi_skew_cov (ncu_intr_niu_siu_skew012_cov, ncu_intr_siu_ssi_skew012_cov);
113cross ncu_intr_niu_ssi_spc_skew_cov (ncu_intr_niu_ssi_skew012_cov, ncu_intr_ssi_spc_skew012_cov);
114cross ncu_intr_niu_ssi_siu_skew_cov (ncu_intr_niu_ssi_skew012_cov, ncu_intr_ssi_siu_skew012_cov);
115
116cross ncu_intr_siu_spc_niu_skew_cov (ncu_intr_siu_spc_skew012_cov, ncu_intr_spc_niu_skew012_cov);
117cross ncu_intr_siu_spc_ssi_skew_cov (ncu_intr_siu_spc_skew012_cov, ncu_intr_spc_ssi_skew012_cov);
118cross ncu_intr_siu_niu_spc_skew_cov (ncu_intr_siu_niu_skew012_cov, ncu_intr_niu_spc_skew012_cov);
119cross ncu_intr_siu_niu_ssi_skew_cov (ncu_intr_siu_niu_skew012_cov, ncu_intr_niu_ssi_skew012_cov);
120cross ncu_intr_siu_ssi_spc_skew_cov (ncu_intr_siu_ssi_skew012_cov, ncu_intr_ssi_spc_skew012_cov);
121cross ncu_intr_siu_ssi_niu_skew_cov (ncu_intr_siu_ssi_skew012_cov, ncu_intr_ssi_niu_skew012_cov);
122
123cross ncu_intr_ssi_spc_niu_skew_cov (ncu_intr_ssi_spc_skew012_cov, ncu_intr_spc_niu_skew012_cov);
124cross ncu_intr_ssi_spc_siu_skew_cov (ncu_intr_ssi_spc_skew012_cov, ncu_intr_spc_siu_skew012_cov);
125cross ncu_intr_ssi_niu_spc_skew_cov (ncu_intr_ssi_niu_skew012_cov, ncu_intr_niu_spc_skew012_cov);
126cross ncu_intr_ssi_niu_siu_skew_cov (ncu_intr_ssi_niu_skew012_cov, ncu_intr_niu_siu_skew012_cov);
127cross ncu_intr_ssi_siu_spc_skew_cov (ncu_intr_ssi_siu_skew012_cov, ncu_intr_siu_spc_skew012_cov);
128cross ncu_intr_ssi_siu_niu_skew_cov (ncu_intr_ssi_siu_skew012_cov, ncu_intr_siu_niu_skew012_cov);
129*/
130
131sample ncu_intr_niu_siu_ssi_cov (niu_siu_ssi)
132{
133 wildcard state INT3_IN_0_CYC (3'bx1) ;
134 wildcard state INT3_IN_5_CYC (3'bx1x) ;
135 wildcard state INT3_IN_1x_CYC (3'b1xx) ;
136}
137sample ncu_intr_siu_ssi_spc_cov (siu_ssi_spc)
138{
139 wildcard state INT3_IN_0_CYC (3'bxx1) ;
140 wildcard state INT3_IN_5_CYC (3'bx1x) ;
141 wildcard state INT3_IN_10_CYC (3'b1xx) ;
142}
143sample ncu_intr_ssi_spc_niu_cov (ssi_spc_niu)
144{
145 wildcard state INT3_IN_0_CYC (3'bxx1) ;
146 wildcard state INT3_IN_5_CYC (3'bx1x) ;
147 wildcard state INT3_IN_10_CYC (3'b1xx) ;
148}
149sample ncu_intr_spc_niu_siu_cov (spc_niu_siu)
150{
151 wildcard state INT3_IN_0_CYC (3'bxx1) ;
152 wildcard state INT3_IN_5_CYC (3'bx1x) ;
153 wildcard state INT3_IN_10_CYC (3'b1xx) ;
154}
155
156sample ncu_intr_alias_data0_cov (ncu_pcx_adata0_thr_reg)
157{
158 wildcard state ADATA_THR0 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1) ;
159 wildcard state ADATA_THR1 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1x) ;
160 wildcard state ADATA_THR2 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xx) ;
161 wildcard state ADATA_THR3 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxx) ;
162 wildcard state ADATA_THR4 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxx) ;
163 wildcard state ADATA_THR5 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxx) ;
164 wildcard state ADATA_THR6 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxx) ;
165 wildcard state ADATA_THR7 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxx) ;
166 wildcard state ADATA_THR8 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxx) ;
167 wildcard state ADATA_THR9 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxx) ;
168 wildcard state ADATA_THR10 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxx) ;
169 wildcard state ADATA_THR11 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxx) ;
170 wildcard state ADATA_THR12 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxx) ;
171 wildcard state ADATA_THR13 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxx) ;
172 wildcard state ADATA_THR14 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxx) ;
173 wildcard state ADATA_THR15 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxx) ;
174 wildcard state ADATA_THR16 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxx) ;
175 wildcard state ADATA_THR17 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxx) ;
176 wildcard state ADATA_THR18 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxx) ;
177 wildcard state ADATA_THR19 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxx) ;
178 wildcard state ADATA_THR20 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxx) ;
179 wildcard state ADATA_THR21 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxx) ;
180 wildcard state ADATA_THR22 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxx) ;
181 wildcard state ADATA_THR23 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxx) ;
182 wildcard state ADATA_THR24 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxx) ;
183 wildcard state ADATA_THR25 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxx) ;
184 wildcard state ADATA_THR26 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxx) ;
185 wildcard state ADATA_THR27 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
186 wildcard state ADATA_THR28 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
187 wildcard state ADATA_THR29 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
188 wildcard state ADATA_THR30 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
189 wildcard state ADATA_THR31 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
190 wildcard state ADATA_THR32 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
191 wildcard state ADATA_THR33 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
192 wildcard state ADATA_THR34 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
193 wildcard state ADATA_THR35 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
194 wildcard state ADATA_THR36 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
195 wildcard state ADATA_THR37 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
196 wildcard state ADATA_THR38 (64'bxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
197 wildcard state ADATA_THR39 (64'bxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
198 wildcard state ADATA_THR40 (64'bxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
199 wildcard state ADATA_THR41 (64'bxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
200 wildcard state ADATA_THR42 (64'bxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
201 wildcard state ADATA_THR43 (64'bxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
202 wildcard state ADATA_THR44 (64'bxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
203 wildcard state ADATA_THR45 (64'bxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
204 wildcard state ADATA_THR46 (64'bxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
205 wildcard state ADATA_THR47 (64'bxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
206 wildcard state ADATA_THR48 (64'bxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
207 wildcard state ADATA_THR49 (64'bxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
208 wildcard state ADATA_THR50 (64'bxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
209 wildcard state ADATA_THR51 (64'bxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
210 wildcard state ADATA_THR52 (64'bxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
211 wildcard state ADATA_THR53 (64'bxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
212 wildcard state ADATA_THR54 (64'bxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
213 wildcard state ADATA_THR55 (64'bxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
214 wildcard state ADATA_THR56 (64'bxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
215 wildcard state ADATA_THR57 (64'bxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
216 wildcard state ADATA_THR58 (64'bxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
217 wildcard state ADATA_THR59 (64'bxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
218 wildcard state ADATA_THR60 (64'bxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
219 wildcard state ADATA_THR61 (64'bxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
220 wildcard state ADATA_THR62 (64'bx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
221 wildcard state ADATA_THR63 (64'b1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
222}
223sample ncu_intr_alias_data1_cov (ncu_pcx_adata1_thr_reg)
224{
225 wildcard state ADATA_THR0 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1) ;
226 wildcard state ADATA_THR1 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1x) ;
227 wildcard state ADATA_THR2 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xx) ;
228 wildcard state ADATA_THR3 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxx) ;
229 wildcard state ADATA_THR4 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxx) ;
230 wildcard state ADATA_THR5 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxx) ;
231 wildcard state ADATA_THR6 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxx) ;
232 wildcard state ADATA_THR7 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxx) ;
233 wildcard state ADATA_THR8 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxx) ;
234 wildcard state ADATA_THR9 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxx) ;
235 wildcard state ADATA_THR10 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxx) ;
236 wildcard state ADATA_THR11 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxx) ;
237 wildcard state ADATA_THR12 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxx) ;
238 wildcard state ADATA_THR13 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxx) ;
239 wildcard state ADATA_THR14 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxx) ;
240 wildcard state ADATA_THR15 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxx) ;
241 wildcard state ADATA_THR16 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxx) ;
242 wildcard state ADATA_THR17 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxx) ;
243 wildcard state ADATA_THR18 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxx) ;
244 wildcard state ADATA_THR19 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxx) ;
245 wildcard state ADATA_THR20 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxx) ;
246 wildcard state ADATA_THR21 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxx) ;
247 wildcard state ADATA_THR22 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxx) ;
248 wildcard state ADATA_THR23 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxx) ;
249 wildcard state ADATA_THR24 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxx) ;
250 wildcard state ADATA_THR25 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxx) ;
251 wildcard state ADATA_THR26 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxx) ;
252 wildcard state ADATA_THR27 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
253 wildcard state ADATA_THR28 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
254 wildcard state ADATA_THR29 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
255 wildcard state ADATA_THR30 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
256 wildcard state ADATA_THR31 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
257 wildcard state ADATA_THR32 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
258 wildcard state ADATA_THR33 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
259 wildcard state ADATA_THR34 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
260 wildcard state ADATA_THR35 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
261 wildcard state ADATA_THR36 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
262 wildcard state ADATA_THR37 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
263 wildcard state ADATA_THR38 (64'bxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
264 wildcard state ADATA_THR39 (64'bxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
265 wildcard state ADATA_THR40 (64'bxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
266 wildcard state ADATA_THR41 (64'bxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
267 wildcard state ADATA_THR42 (64'bxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
268 wildcard state ADATA_THR43 (64'bxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
269 wildcard state ADATA_THR44 (64'bxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
270 wildcard state ADATA_THR45 (64'bxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
271 wildcard state ADATA_THR46 (64'bxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
272 wildcard state ADATA_THR47 (64'bxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
273 wildcard state ADATA_THR48 (64'bxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
274 wildcard state ADATA_THR49 (64'bxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
275 wildcard state ADATA_THR50 (64'bxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
276 wildcard state ADATA_THR51 (64'bxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
277 wildcard state ADATA_THR52 (64'bxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
278 wildcard state ADATA_THR53 (64'bxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
279 wildcard state ADATA_THR54 (64'bxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
280 wildcard state ADATA_THR55 (64'bxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
281 wildcard state ADATA_THR56 (64'bxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
282 wildcard state ADATA_THR57 (64'bxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
283 wildcard state ADATA_THR58 (64'bxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
284 wildcard state ADATA_THR59 (64'bxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
285 wildcard state ADATA_THR60 (64'bxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
286 wildcard state ADATA_THR61 (64'bxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
287 wildcard state ADATA_THR62 (64'bx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
288 wildcard state ADATA_THR63 (64'b1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
289}
290sample ncu_intr_alias_busy_cov (ncu_pcx_abusy_thr_reg)
291{
292 wildcard state ABUSY_THR0 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1) ;
293 wildcard state ABUSY_THR1 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1x) ;
294 wildcard state ABUSY_THR2 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xx) ;
295 wildcard state ABUSY_THR3 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxx) ;
296 wildcard state ABUSY_THR4 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxx) ;
297 wildcard state ABUSY_THR5 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxx) ;
298 wildcard state ABUSY_THR6 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxx) ;
299 wildcard state ABUSY_THR7 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxx) ;
300 wildcard state ABUSY_THR8 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxx) ;
301 wildcard state ABUSY_THR9 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxx) ;
302 wildcard state ABUSY_THR10 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxx) ;
303 wildcard state ABUSY_THR11 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxx) ;
304 wildcard state ABUSY_THR12 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxx) ;
305 wildcard state ABUSY_THR13 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxx) ;
306 wildcard state ABUSY_THR14 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxx) ;
307 wildcard state ABUSY_THR15 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxx) ;
308 wildcard state ABUSY_THR16 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxx) ;
309 wildcard state ABUSY_THR17 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxx) ;
310 wildcard state ABUSY_THR18 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxx) ;
311 wildcard state ABUSY_THR19 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxx) ;
312 wildcard state ABUSY_THR20 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxx) ;
313 wildcard state ABUSY_THR21 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxx) ;
314 wildcard state ABUSY_THR22 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxx) ;
315 wildcard state ABUSY_THR23 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxx) ;
316 wildcard state ABUSY_THR24 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxx) ;
317 wildcard state ABUSY_THR25 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxx) ;
318 wildcard state ABUSY_THR26 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxx) ;
319 wildcard state ABUSY_THR27 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
320 wildcard state ABUSY_THR28 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
321 wildcard state ABUSY_THR29 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
322 wildcard state ABUSY_THR30 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
323 wildcard state ABUSY_THR31 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
324 wildcard state ABUSY_THR32 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
325 wildcard state ABUSY_THR33 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
326 wildcard state ABUSY_THR34 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
327 wildcard state ABUSY_THR35 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
328 wildcard state ABUSY_THR36 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
329 wildcard state ABUSY_THR37 (64'bxxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
330 wildcard state ABUSY_THR38 (64'bxxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
331 wildcard state ABUSY_THR39 (64'bxxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
332 wildcard state ABUSY_THR40 (64'bxxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
333 wildcard state ABUSY_THR41 (64'bxxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
334 wildcard state ABUSY_THR42 (64'bxxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
335 wildcard state ABUSY_THR43 (64'bxxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
336 wildcard state ABUSY_THR44 (64'bxxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
337 wildcard state ABUSY_THR45 (64'bxxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
338 wildcard state ABUSY_THR46 (64'bxxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
339 wildcard state ABUSY_THR47 (64'bxxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
340 wildcard state ABUSY_THR48 (64'bxxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
341 wildcard state ABUSY_THR49 (64'bxxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
342 wildcard state ABUSY_THR50 (64'bxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
343 wildcard state ABUSY_THR51 (64'bxxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
344 wildcard state ABUSY_THR52 (64'bxxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
345 wildcard state ABUSY_THR53 (64'bxxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
346 wildcard state ABUSY_THR54 (64'bxxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
347 wildcard state ABUSY_THR55 (64'bxxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
348 wildcard state ABUSY_THR56 (64'bxxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
349 wildcard state ABUSY_THR57 (64'bxxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
350 wildcard state ABUSY_THR58 (64'bxxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
351 wildcard state ABUSY_THR59 (64'bxxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
352 wildcard state ABUSY_THR60 (64'bxxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
353 wildcard state ABUSY_THR61 (64'bxx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
354 wildcard state ABUSY_THR62 (64'bx1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
355 wildcard state ABUSY_THR63 (64'b1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx) ;
356}
357
358sample ncu_siu_intf_intr_ack_nack_cov (mondo_ack_nack_cov_flag)
359{
360 state NACK_ACK (1'b1) ;
361}
362sample ccx_ncu_intf_intr_dense_to_spc_cov (ncu_cpx_int_multi_pkt)
363{
364 wildcard state INT_DES_5 (4'bxxx1) ;
365 wildcard state INT_DES_10 (4'bxx1x) ;
366 wildcard state INT_DES_15 (4'bx1xx) ;
367 wildcard state INT_DES_20 (4'b1xxx) ;
368}
369
370sample ncu_niu_intf_intr_dense_from_niu_cov (niu_ncu_int_des_reg)
371{
372 wildcard state NIU_INT_DES2_5 ( 5'bxxxx1);
373 wildcard state NIU_INT_DES4_20 ( 5'bxxx1x);
374 wildcard state NIU_INT_DES8_50 ( 5'bxx1xx);
375 wildcard state NIU_INT_DES16_150 ( 5'bx1xxx);
376 wildcard state NIU_INT_DES32_800 ( 5'b1xxxx);
377}
378
Full OpenSPARC design & verification tarball including full HDL.