Initial commit of OpenSPARC T2 design and verification files.
[OpenSPARC-T2-DV] / verif / env / siu / vera / packets / siu_err_mask.vr
CommitLineData
86530b38
AT
1// ========== Copyright Header Begin ==========================================
2//
3// OpenSPARC T2 Processor File: siu_err_mask.vr
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#include <vera_defines.vrh>
36#include <ListMacros.vrh>
37#include "top_defines.vrh"
38
39class siu_err_mask {
40 reg [15:0] id;
41 reg [39:0] pa_mask;
42 reg [1:0] ap_mask;
43 reg [5:0] comm_mask;
44 reg cp_mask;
45 reg [15:0] ctag_mask;
46 reg [5:0] cecc_mask;
47 reg [31:0] data_mask[16];
48 reg [1:0] dp_mask[16];
49 reg for_l2;
50
51 task new (
52 reg [15:0] id,
53 reg [39:0] pa_mask = 0,
54 reg [1:0] ap_mask = 0,
55 reg [5:0] comm_mask = 0,
56 reg cp_mask = 0,
57 reg [15:0] ctag_mask = 0,
58 reg [5:0] cecc_mask = 0,
59 reg [31:0] data_mask0 = 0,
60 reg [1:0] dp_mask0 = 0,
61 reg [31:0] data_mask1 = 0,
62 reg [1:0] dp_mask1 = 0,
63 reg [31:0] data_mask2 = 0,
64 reg [1:0] dp_mask2 = 0,
65 reg [31:0] data_mask3 = 0,
66 reg [1:0] dp_mask3 = 0,
67 reg [31:0] data_mask4 = 0,
68 reg [1:0] dp_mask4 = 0,
69 reg [31:0] data_mask5 = 0,
70 reg [1:0] dp_mask5 = 0,
71 reg [31:0] data_mask6 = 0,
72 reg [1:0] dp_mask6 = 0,
73 reg [31:0] data_mask7 = 0,
74 reg [1:0] dp_mask7 = 0,
75 reg [31:0] data_mask8 = 0,
76 reg [1:0] dp_mask8 = 0,
77 reg [31:0] data_mask9 = 0,
78 reg [1:0] dp_mask9 = 0,
79 reg [31:0] data_mask10 = 0,
80 reg [1:0] dp_mask10 = 0,
81 reg [31:0] data_mask11 = 0,
82 reg [1:0] dp_mask11 = 0,
83 reg [31:0] data_mask12 = 0,
84 reg [1:0] dp_mask12 = 0,
85 reg [31:0] data_mask13 = 0,
86 reg [1:0] dp_mask13 = 0,
87 reg [31:0] data_mask14 = 0,
88 reg [1:0] dp_mask14 = 0,
89 reg [31:0] data_mask15 = 0,
90 reg [1:0] dp_mask15 = 0,
91 reg for_l2 = 0
92);
93
94}
95
96MakeVeraList(siu_err_mask);
97
98task siu_err_mask::new (
99 reg [15:0] id,
100 reg [39:0] pa_mask = 0,
101 reg [1:0] ap_mask = 0,
102 reg [5:0] comm_mask = 0,
103 reg cp_mask = 0,
104 reg [15:0] ctag_mask = 0,
105 reg [5:0] cecc_mask = 0,
106 reg [31:0] data_mask0 = 0,
107 reg [1:0] dp_mask0 = 0,
108 reg [31:0] data_mask1 = 0,
109 reg [1:0] dp_mask1 = 0,
110 reg [31:0] data_mask2 = 0,
111 reg [1:0] dp_mask2 = 0,
112 reg [31:0] data_mask3 = 0,
113 reg [1:0] dp_mask3 = 0,
114 reg [31:0] data_mask4 = 0,
115 reg [1:0] dp_mask4 = 0,
116 reg [31:0] data_mask5 = 0,
117 reg [1:0] dp_mask5 = 0,
118 reg [31:0] data_mask6 = 0,
119 reg [1:0] dp_mask6 = 0,
120 reg [31:0] data_mask7 = 0,
121 reg [1:0] dp_mask7 = 0,
122 reg [31:0] data_mask8 = 0,
123 reg [1:0] dp_mask8 = 0,
124 reg [31:0] data_mask9 = 0,
125 reg [1:0] dp_mask9 = 0,
126 reg [31:0] data_mask10 = 0,
127 reg [1:0] dp_mask10 = 0,
128 reg [31:0] data_mask11 = 0,
129 reg [1:0] dp_mask11 = 0,
130 reg [31:0] data_mask12 = 0,
131 reg [1:0] dp_mask12 = 0,
132 reg [31:0] data_mask13 = 0,
133 reg [1:0] dp_mask13 = 0,
134 reg [31:0] data_mask14 = 0,
135 reg [1:0] dp_mask14 = 0,
136 reg [31:0] data_mask15 = 0,
137 reg [1:0] dp_mask15 = 0,
138 reg for_l2 = 0
139)
140
141{
142 this.id = id;
143 this.pa_mask = pa_mask;
144 this.ap_mask = ap_mask;
145 this.comm_mask = comm_mask;
146 this.cp_mask = cp_mask;
147 this.ctag_mask = ctag_mask;
148 this.cecc_mask = cecc_mask;
149 this.data_mask[0] = data_mask0;
150 this.dp_mask[0] = dp_mask0;
151 this.data_mask[1] = data_mask1;
152 this.dp_mask[1] = dp_mask1;
153 this.data_mask[2] = data_mask2;
154 this.dp_mask[2] = dp_mask2;
155 this.data_mask[3] = data_mask3;
156 this.dp_mask[3] = dp_mask3;
157 this.data_mask[4] = data_mask4;
158 this.dp_mask[4] = dp_mask4;
159 this.data_mask[5] = data_mask5;
160 this.dp_mask[5] = dp_mask5;
161 this.data_mask[6] = data_mask6;
162 this.dp_mask[6] = dp_mask6;
163 this.data_mask[7] = data_mask7;
164 this.dp_mask[7] = dp_mask7;
165 this.data_mask[8] = data_mask8;
166 this.dp_mask[8] = dp_mask8;
167 this.data_mask[9] = data_mask9;
168 this.dp_mask[9] = dp_mask9;
169 this.data_mask[10] = data_mask10;
170 this.dp_mask[10] = dp_mask10;
171 this.data_mask[11] = data_mask11;
172 this.dp_mask[11] = dp_mask11;
173 this.data_mask[12] = data_mask12;
174 this.dp_mask[12] = dp_mask12;
175 this.data_mask[13] = data_mask13;
176 this.dp_mask[13] = dp_mask13;
177 this.data_mask[14] = data_mask14;
178 this.dp_mask[14] = dp_mask14;
179 this.data_mask[15] = data_mask15;
180 this.dp_mask[15] = dp_mask15;
181 this.for_l2 = for_l2;
182}