Commit | Line | Data |
---|---|---|
86530b38 AT |
1 | // ========== Copyright Header Begin ========================================== |
2 | // | |
3 | // OpenSPARC T2 Processor File: efu_ncu_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 efu_ncu_intf_hit_cov (efu_ncu_intf_hit) | |
36 | { | |
37 | wildcard state (6'bxxxxx1); | |
38 | wildcard state (6'bxxxx1x); | |
39 | wildcard state (6'bxxx1xx); | |
40 | wildcard state (6'bxx1xxx); | |
41 | wildcard state (6'bx1xxxx); | |
42 | wildcard state (6'b1xxxxx); | |
43 | } | |
44 | ||
45 | sample efu_ncu_intf_sernum0_cov (efu_ncu_sernum0[21:0]) | |
46 | { | |
47 | state DATA_WALK0 (22'h000001) ; | |
48 | state DATA_WALK1 (22'h000002) ; | |
49 | state DATA_WALK2 (22'h000004) ; | |
50 | state DATA_WALK3 (22'h000008) ; | |
51 | state DATA_WALK4 (22'h000010) ; | |
52 | state DATA_WALK5 (22'h000020) ; | |
53 | state DATA_WALK6 (22'h000040) ; | |
54 | state DATA_WALK7 (22'h000080) ; | |
55 | state DATA_WALK8 (22'h000100) ; | |
56 | state DATA_WALK9 (22'h000200) ; | |
57 | state DATA_WALK10 (22'h000400) ; | |
58 | state DATA_WALK11 (22'h000800) ; | |
59 | state DATA_WALK12 (22'h001000) ; | |
60 | state DATA_WALK13 (22'h002000) ; | |
61 | state DATA_WALK14 (22'h004000) ; | |
62 | state DATA_WALK15 (22'h008000) ; | |
63 | state DATA_WALK16 (22'h010000) ; | |
64 | state DATA_WALK17 (22'h020000) ; | |
65 | state DATA_WALK18 (22'h040000) ; | |
66 | state DATA_WALK19 (22'h080000) ; | |
67 | state DATA_WALK20 (22'h100000) ; | |
68 | state DATA_WALK21 (22'h200000) ; | |
69 | state DATA_PATTERN0 (22'h2aaaaa) ; | |
70 | state DATA_PATTERN1 (22'h155555) ; | |
71 | } | |
72 | sample efu_ncu_intf_sernum1_cov (efu_ncu_sernum1[21:0]) | |
73 | { | |
74 | state DATA_WALK0 (22'h000001) ; | |
75 | state DATA_WALK1 (22'h000002) ; | |
76 | state DATA_WALK2 (22'h000004) ; | |
77 | state DATA_WALK3 (22'h000008) ; | |
78 | state DATA_WALK4 (22'h000010) ; | |
79 | state DATA_WALK5 (22'h000020) ; | |
80 | state DATA_WALK6 (22'h000040) ; | |
81 | state DATA_WALK7 (22'h000080) ; | |
82 | state DATA_WALK8 (22'h000100) ; | |
83 | state DATA_WALK9 (22'h000200) ; | |
84 | state DATA_WALK10 (22'h000400) ; | |
85 | state DATA_WALK11 (22'h000800) ; | |
86 | state DATA_WALK12 (22'h001000) ; | |
87 | state DATA_WALK13 (22'h002000) ; | |
88 | state DATA_WALK14 (22'h004000) ; | |
89 | state DATA_WALK15 (22'h008000) ; | |
90 | state DATA_WALK16 (22'h010000) ; | |
91 | state DATA_WALK17 (22'h020000) ; | |
92 | state DATA_WALK18 (22'h040000) ; | |
93 | state DATA_WALK19 (22'h080000) ; | |
94 | state DATA_WALK20 (22'h100000) ; | |
95 | state DATA_WALK21 (22'h200000) ; | |
96 | state DATA_PATTERN0 (22'h2aaaaa) ; | |
97 | state DATA_PATTERN1 (22'h155555) ; | |
98 | } | |
99 | sample efu_ncu_intf_sernum2_cov (efu_ncu_sernum2[21:0]) | |
100 | { | |
101 | state DATA_WALK0 (22'h000001) ; | |
102 | state DATA_WALK1 (22'h000002) ; | |
103 | state DATA_WALK2 (22'h000004) ; | |
104 | state DATA_WALK3 (22'h000008) ; | |
105 | state DATA_WALK4 (22'h000010) ; | |
106 | state DATA_WALK5 (22'h000020) ; | |
107 | state DATA_WALK6 (22'h000040) ; | |
108 | state DATA_WALK7 (22'h000080) ; | |
109 | state DATA_WALK8 (22'h000100) ; | |
110 | state DATA_WALK9 (22'h000200) ; | |
111 | state DATA_WALK10 (22'h000400) ; | |
112 | state DATA_WALK11 (22'h000800) ; | |
113 | state DATA_WALK12 (22'h001000) ; | |
114 | state DATA_WALK13 (22'h002000) ; | |
115 | state DATA_WALK14 (22'h004000) ; | |
116 | state DATA_WALK15 (22'h008000) ; | |
117 | state DATA_WALK16 (22'h010000) ; | |
118 | state DATA_WALK17 (22'h020000) ; | |
119 | state DATA_WALK18 (22'h040000) ; | |
120 | state DATA_WALK19 (22'h080000) ; | |
121 | /* | |
122 | state DATA_WALK20 (22'h100000) ; | |
123 | state DATA_WALK21 (22'h200000) ; | |
124 | state DATA_PATTERN0 (22'h2aaaaa) ; | |
125 | state DATA_PATTERN1 (22'h155555) ; | |
126 | */ | |
127 | wildcard state DATA_PATTERN0 (22'hxaaaaa) ; | |
128 | wildcard state DATA_PATTERN1 (22'hx55555) ; | |
129 | } | |
130 | ||
131 | sample efu_ncu_intf_coreaval_cov (efu_ncu_coreaval[7:0]) | |
132 | { | |
133 | state DATA_WALK0 (8'h01) ; | |
134 | state DATA_WALK1 (8'h02) ; | |
135 | state DATA_WALK2 (8'h04) ; | |
136 | state DATA_WALK3 (8'h08) ; | |
137 | state DATA_WALK4 (8'h10) ; | |
138 | state DATA_WALK5 (8'h20) ; | |
139 | state DATA_WALK6 (8'h40) ; | |
140 | state DATA_WALK7 (8'h80) ; | |
141 | state DATA_PATTERN0 (8'haa) ; | |
142 | state DATA_PATTERN1 (8'h55) ; | |
143 | } | |
144 | sample efu_ncu_intf_bankaval_cov (efu_ncu_bankaval[7:0]) | |
145 | { | |
146 | state DATA0 (8'h03) ; | |
147 | state DATA1 (8'h0c) ; | |
148 | state DATA2 (8'h0f) ; | |
149 | state DATA3 (8'h30) ; | |
150 | state DATA4 (8'h33) ; | |
151 | state DATA5 (8'h3c) ; | |
152 | state DATA6 (8'hc0) ; | |
153 | state DATA7 (8'hcc) ; | |
154 | state DATA8 (8'hf0) ; | |
155 | state DATA9 (8'hff) ; | |
156 | } | |
157 | sample efu_ncu_intf_efustat_cov (efu_ncu_efustat) | |
158 | { | |
159 | state DATA_WALK0 (64'h0000000000000001) ; | |
160 | state DATA_WALK1 (64'h0000000000000002) ; | |
161 | state DATA_WALK2 (64'h0000000000000004) ; | |
162 | state DATA_WALK3 (64'h0000000000000008) ; | |
163 | state DATA_WALK4 (64'h0000000000000010) ; | |
164 | state DATA_WALK5 (64'h0000000000000020) ; | |
165 | state DATA_WALK6 (64'h0000000000000040) ; | |
166 | state DATA_WALK7 (64'h0000000000000080) ; | |
167 | state DATA_WALK8 (64'h0000000000000100) ; | |
168 | state DATA_WALK9 (64'h0000000000000200) ; | |
169 | state DATA_WALK10 (64'h0000000000000400) ; | |
170 | state DATA_WALK11 (64'h0000000000000800) ; | |
171 | state DATA_WALK12 (64'h0000000000001000) ; | |
172 | state DATA_WALK13 (64'h0000000000002000) ; | |
173 | state DATA_WALK14 (64'h0000000000004000) ; | |
174 | state DATA_WALK15 (64'h0000000000008000) ; | |
175 | state DATA_WALK16 (64'h0000000000010000) ; | |
176 | state DATA_WALK17 (64'h0000000000020000) ; | |
177 | state DATA_WALK18 (64'h0000000000040000) ; | |
178 | state DATA_WALK19 (64'h0000000000080000) ; | |
179 | state DATA_WALK20 (64'h0000000000100000) ; | |
180 | state DATA_WALK21 (64'h0000000000200000) ; | |
181 | state DATA_WALK22 (64'h0000000000400000) ; | |
182 | state DATA_WALK23 (64'h0000000000800000) ; | |
183 | state DATA_WALK24 (64'h0000000001000000) ; | |
184 | state DATA_WALK25 (64'h0000000002000000) ; | |
185 | state DATA_WALK26 (64'h0000000004000000) ; | |
186 | state DATA_WALK27 (64'h0000000008000000) ; | |
187 | state DATA_WALK28 (64'h0000000010000000) ; | |
188 | state DATA_WALK29 (64'h0000000020000000) ; | |
189 | state DATA_WALK30 (64'h0000000040000000) ; | |
190 | state DATA_WALK31 (64'h0000000080000000) ; | |
191 | state DATA_WALK32 (64'h0000000100000000) ; | |
192 | state DATA_WALK33 (64'h0000000200000000) ; | |
193 | state DATA_WALK34 (64'h0000000400000000) ; | |
194 | state DATA_WALK35 (64'h0000000800000000) ; | |
195 | state DATA_WALK36 (64'h0000001000000000) ; | |
196 | state DATA_WALK37 (64'h0000002000000000) ; | |
197 | state DATA_WALK38 (64'h0000004000000000) ; | |
198 | state DATA_WALK39 (64'h0000008000000000) ; | |
199 | state DATA_WALK40 (64'h0000010000000000) ; | |
200 | state DATA_WALK41 (64'h0000020000000000) ; | |
201 | state DATA_WALK42 (64'h0000040000000000) ; | |
202 | state DATA_WALK43 (64'h0000080000000000) ; | |
203 | state DATA_WALK44 (64'h0000100000000000) ; | |
204 | state DATA_WALK45 (64'h0000200000000000) ; | |
205 | state DATA_WALK46 (64'h0000400000000000) ; | |
206 | state DATA_WALK47 (64'h0000800000000000) ; | |
207 | state DATA_WALK48 (64'h0001000000000000) ; | |
208 | state DATA_WALK49 (64'h0002000000000000) ; | |
209 | state DATA_WALK50 (64'h0004000000000000) ; | |
210 | state DATA_WALK51 (64'h0008000000000000) ; | |
211 | state DATA_WALK52 (64'h0010000000000000) ; | |
212 | state DATA_WALK53 (64'h0020000000000000) ; | |
213 | state DATA_WALK54 (64'h0040000000000000) ; | |
214 | state DATA_WALK55 (64'h0080000000000000) ; | |
215 | state DATA_WALK56 (64'h0100000000000000) ; | |
216 | state DATA_WALK57 (64'h0200000000000000) ; | |
217 | state DATA_WALK58 (64'h0400000000000000) ; | |
218 | state DATA_WALK59 (64'h0800000000000000) ; | |
219 | state DATA_WALK60 (64'h1000000000000000) ; | |
220 | state DATA_WALK61 (64'h2000000000000000) ; | |
221 | state DATA_WALK62 (64'h4000000000000000) ; | |
222 | state DATA_WALK63 (64'h8000000000000000) ; | |
223 | state DATA_PATEN0 (64'haaaaaaaaaaaaaaaa) ; | |
224 | state DATA_PATEN1 (64'h5555555555555555) ; | |
225 | } | |
226 | ||
227 | ||
228 | ||
229 |