Initial commit of OpenSPARC T2 design and verification files.
[OpenSPARC-T2-DV] / verif / env / ilu_peu / vera / N2str / ilupeuIngressFCPErr.vr
CommitLineData
86530b38
AT
1// ========== Copyright Header Begin ==========================================
2//
3// OpenSPARC T2 Processor File: ilupeuIngressFCPErr.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 ============================================
35class ilupeuIngressFCPErr extends PEUStrBase
36 {
37 integer f_errQueue; // A mailbox for bad pkt headers
38
39 integer nmbrFCPErrsToInject = 10; //Total number of packets that get error injected
40 //Set the percentage weight of each type of FCP errors
41 integer DLLP_FCP_Infinite_FC_PH_ErrWeight = 0;
42 integer DLLP_FCP_Infinite_FC_PD_ErrWeight = 0;
43 integer DLLP_FCP_Infinite_FC_NPH_ErrWeight = 0;
44 integer DLLP_FCP_Infinite_FC_NPD_ErrWeight = 0;
45 integer DLLP_FCP_Infinite_FC_CLPH_ErrWeight = 0;
46 integer DLLP_FCP_Infinite_FC_CLPD_ErrWeight = 0;
47
48 integer DLLP_FCP_Infinite_FC_all_P_ErrWeight = 0;
49 integer DLLP_FCP_Infinite_FC_all_NP_ErrWeight = 0;
50 integer DLLP_FCP_Infinite_FC_all_CLP_ErrWeight = 0;
51
52 integer DLLP_FCP_over128_FC_PH_ErrWeight = 0;
53 integer DLLP_FCP_over2048_FC_PD_ErrWeight = 0;
54 integer DLLP_FCP_over128_FC_NPH_ErrWeight = 0;
55 integer DLLP_FCP_over2048_FC_NPD_ErrWeight = 0;
56 integer DLLP_FCP_over128_FC_CLPH_ErrWeight = 0;
57 integer DLLP_FCP_over2048_FC_CLPD_ErrWeight = 0;
58
59
60 denaliPcieEiTypeT DenaliErrortype;
61 bit [FNX_PCIE_XTR_DLLP_TYPE_WIDTH-1:0] DLLPtype;
62
63 //Only allow 1 of these strategies to be active at a time
64 static integer FCPErr_semaphore = alloc(SEMAPHORE, 0, 1, 1);
65
66 task new( PEUTestEnv a_env )
67 {
68 super.new( a_env );
69 f_errQueue = 0;
70 }
71
72 task SetErrQueue( integer a_queue )
73 {
74 f_errQueue = a_queue;
75 } /* end SetErrQueue */
76
77 task Execute()
78 {
79 integer nmbrErrs;
80 integer DLLPFCPErrsInject_freq = 100; // freq of clock cycles to inject this error
81 integer nmbrFCPErrsInjected;
82
83
84 integer FC_H_random ;
85 integer FC_D_random;
86 integer FC_H_over128;
87 integer FC_D_over2048;
88 integer HdrFC;
89 integer DataFC;
90 string FCtype = "";
91
92 //Get the semaphore when its your turn
93 semaphore_get( WAIT, FCPErr_semaphore, 1);
94
95
96
97 //Clear all the specific error trackers
98 nmbrFCPErrsInjected = 0;
99
100 // create random number to cause Ack/Nak DLLP type
101 DLLPFCPErrsInject_freq = (urandom() % 20) + 20;
102
103// PCIEDllpTrans = new( Pod.FNXPCIEBldr );
104
105 //inject errors until all the errors are injected
106 while (nmbrFCPErrsToInject > nmbrFCPErrsInjected) {
107
108
109 // adjust FC credit number between 1 to FFx for header, between 1 to FFFx for data
110 FC_H_random = (urandom() % 254) + 1;
111 FC_D_random = (urandom() % 4094) + 1;
112
113 FC_H_over128 = (urandom_range(256, 129) );
114 FC_D_over2048 = (urandom_range(4000, 2049));
115
116 //determine the type of errors inject based on the weight specified in the testcase
117 randcase {
118 // for infinite case.
119 DLLP_FCP_Infinite_FC_PH_ErrWeight: {f_env.FCP_inject = 1; FCtype = "PH"; HdrFC = FC_H_random; DataFC = 0 ;}
120 DLLP_FCP_Infinite_FC_PD_ErrWeight: {f_env.FCP_inject = 1; FCtype = "PD"; HdrFC = 0; DataFC = FC_D_random ;}
121 DLLP_FCP_Infinite_FC_NPH_ErrWeight: {f_env.FCP_inject = 1; FCtype = "NPH"; HdrFC = FC_H_random; DataFC = 0 ;}
122 DLLP_FCP_Infinite_FC_NPD_ErrWeight: {f_env.FCP_inject = 1; FCtype = "NPD"; HdrFC = FC_H_random; DataFC = FC_D_random ;}
123 DLLP_FCP_Infinite_FC_CLPH_ErrWeight: {f_env.FCP_inject = 1; FCtype = "CLPH"; HdrFC = FC_H_random; DataFC = 0 ;}
124 DLLP_FCP_Infinite_FC_CLPD_ErrWeight: {f_env.FCP_inject = 1; FCtype = "CLPD"; HdrFC = 0; DataFC = FC_D_random ;}
125
126 DLLP_FCP_Infinite_FC_all_P_ErrWeight: {f_env.FCP_inject = 1; FCtype = "all_P"; HdrFC = FC_H_random; DataFC = FC_D_random ;}
127 DLLP_FCP_Infinite_FC_all_NP_ErrWeight: {f_env.FCP_inject = 1; FCtype = "all_NP"; HdrFC = FC_H_random; DataFC = FC_D_random ;}
128 DLLP_FCP_Infinite_FC_all_CLP_ErrWeight: {f_env.FCP_inject = 1; FCtype = "all_CLP"; HdrFC = FC_H_random; DataFC = FC_D_random ;}
129
130 // for FC over limit case.
131// DLLP_FCP_over128_FC_PH_ErrWeight: {f_env.FCP_inject = 1; FCtype = "PH"; HdrFC = FC_H_over128; DataFC = f_env.Scenario.denaliInitialPostedDataCredit ;}
132// DLLP_FCP_over2048_FC_PD_ErrWeight: {f_env.FCP_inject = 1; FCtype = "PD"; HdrFC = f_env.Scenario.denaliInitialPostedHeaderCredit; DataFC = FC_D_over2048 ;}
133// DLLP_FCP_over128_FC_NPH_ErrWeight: {f_env.FCP_inject = 1; FCtype = "NPH"; HdrFC = FC_H_over128; DataFC = f_env.Scenario.denaliInitialNonPostedDataCredit ;}
134// DLLP_FCP_over2048_FC_NPD_ErrWeight: {f_env.FCP_inject = 1; FCtype = "NPD"; HdrFC = f_env.Scenario.denaliInitialNonPostedHeaderCredit; DataFC = FC_D_over2048 ;}
135// DLLP_FCP_over128_FC_CLPH_ErrWeight: {f_env.FCP_inject = 1; FCtype = "CLPH"; HdrFC = FC_H_over128; DataFC = f_env.Scenario.denaliInitialCompletionDataCredit ;}
136// DLLP_FCP_over2048_FC_CLPD_ErrWeight: {f_env.FCP_inject = 1; FCtype = "CLPD"; HdrFC = f_env.Scenario.denaliInitialCompletionHeaderCredit; DataFC = FC_D_over2048 ;}
137
138 DLLP_FCP_over128_FC_PH_ErrWeight: {f_env.FCP_P_inject = 1; FCtype = "PH"; HdrFC = FC_H_over128; DataFC = f_env.Scenario.denaliInitialPostedDataCredit ;}
139 DLLP_FCP_over2048_FC_PD_ErrWeight: {f_env.FCP_P_inject = 1; FCtype = "PD"; HdrFC = f_env.Scenario.denaliInitialPostedHeaderCredit; DataFC = FC_D_over2048 ;}
140 DLLP_FCP_over128_FC_NPH_ErrWeight: {f_env.FCP_NP_inject = 1; FCtype = "NPH"; HdrFC = FC_H_over128; DataFC = f_env.Scenario.denaliInitialNonPostedDataCredit ;}
141 DLLP_FCP_over2048_FC_NPD_ErrWeight: {f_env.FCP_NP_inject = 1; FCtype = "NPD"; HdrFC = f_env.Scenario.denaliInitialNonPostedHeaderCredit; DataFC = FC_D_over2048 ;}
142 DLLP_FCP_over128_FC_CLPH_ErrWeight: {f_env.FCP_CPL_inject = 1; FCtype = "CLPH"; HdrFC = FC_H_over128; DataFC = f_env.Scenario.denaliInitialCompletionDataCredit ;}
143 DLLP_FCP_over2048_FC_CLPD_ErrWeight: {f_env.FCP_CPL_inject = 1; FCtype = "CLPD"; HdrFC = f_env.Scenario.denaliInitialCompletionHeaderCredit; DataFC = FC_D_over2048 ;}
144
145 }
146
147 f_env.Report.report(RTYP_DEBUG_3, "AC: at time %0d, FC_type to be sent = %0s \n", get_time(LO), FCtype);
148
149 // sending the intended FC update
150 if (FCtype == "PH" || FCtype == "PD" || FCtype == "all_P") {
151 // DLLPtype = FNX_PCIE_XTR_DLLP_TYPE_UPDATE_FC_P;
152 DLLPtype = {FNX_PCIE_XTR_FC_DLLP_TYPE_UPDATE_FC_P, 3'b000 };
153 }
154 if (FCtype == "NPH" || FCtype == "NPD" || FCtype == "all_NP") {
155 // DLLPtype = FNX_PCIE_XTR_DLLP_TYPE_UPDATE_FC_NP;
156 DLLPtype = {FNX_PCIE_XTR_FC_DLLP_TYPE_UPDATE_FC_NP, 3'b000};
157 }
158 if (FCtype == "CLPH" || FCtype == "CLPD" || FCtype == "all_CLP") {
159 // DLLPtype = FNX_PCIE_XTR_DLLP_TYPE_UPDATE_FC_CPL;
160 DLLPtype = {FNX_PCIE_XTR_FC_DLLP_TYPE_UPDATE_FC_CPL, 3'b000};
161
162 }
163
164
165 f_env.Endpoint_send_FC_update(DLLPtype, HdrFC, DataFC );
166
167
168 f_env.Report.report( RTYP_DEBUG_3, "FCP_P_inject = %d, FCP_NP_inject = %d, FCP_CPL_inject = %d \n", f_env.FCP_P_inject, f_env.FCP_NP_inject, f_env.FCP_CPL_inject);
169
170 nmbrFCPErrsInjected += 1;
171 printf("AC: ilupeuIngressFCPErr injects error: nmbrFCPErrsInjected=%0d nmbrFCPErrsToInject=%0d \n",nmbrFCPErrsInjected, nmbrFCPErrsToInject);
172
173 repeat (DLLPFCPErrsInject_freq) @(posedge CLOCK);
174 }
175
176 //Delay to allow the last error to propogate before checking
177 repeat( 100 ) @(posedge CLOCK);
178
179 //Track possible errors based on the type of errors injected
180 nmbrErrs = 0; // number of error type that got set.
181
182
183 if (nmbrFCPErrsInjected == 1) {
184 nmbrErrs += 1; // only primary error got set.
185 }
186 else if (nmbrFCPErrsInjected > 1) {
187 nmbrErrs += 2; // both primary and secondary errors got set.
188 }
189
190 printf("AC: nmbrErrs = %d \n", nmbrErrs);
191
192
193
194 if( f_errQueue != 0 ){
195
196 // note: bx = no header to check
197 // bx0 = error above is optional. clear it if it's set
198
199 mailbox_put( f_errQueue, e_ERR_none );
200 mailbox_put( f_errQueue, nmbrErrs );
201
202 if (nmbrFCPErrsInjected >= 1) {
203 mailbox_put( f_errQueue, e_ERR_ue_fcp ); // e_ERR_ue_fcp = Flow control protocol error
204 mailbox_put( f_errQueue, 128'bx );
205 }
206 if (nmbrFCPErrsInjected > 1) {
207 mailbox_put( f_errQueue, e_ERR_ue_fcp ); // e_ERR_ue_fcp = Flow control protocol error
208 mailbox_put( f_errQueue, 128'bx );
209 }
210
211 } // f_errQueue !=0
212
213 repeat( 10 ) @(posedge CLOCK);
214 semaphore_put( FCPErr_semaphore, 1 );
215
216 } /* end Execute */
217
218 } /* end IngressUnsupportDLLPErr */