Line Coverage for Module :
lc_ctrl_signal_decode
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 63 | 62 | 98.41 |
| ALWAYS | 60 | 62 | 61 | 98.39 |
| CONT_ASSIGN | 296 | 1 | 1 | 100.00 |
59 // Life cycle control signal defaults
60 1/1 lc_raw_test_rma = Off;
Tests: T1 T2 T3
61 1/1 lc_dft_en = Off;
Tests: T1 T2 T3
62 1/1 lc_nvm_debug_en = Off;
Tests: T1 T2 T3
63 1/1 lc_hw_debug_en = Off;
Tests: T1 T2 T3
64 1/1 lc_cpu_en = Off;
Tests: T1 T2 T3
65 1/1 lc_creator_seed_sw_rw_en = Off;
Tests: T1 T2 T3
66 1/1 lc_owner_seed_sw_rw_en = Off;
Tests: T1 T2 T3
67 1/1 lc_iso_part_sw_rd_en = Off;
Tests: T1 T2 T3
68 1/1 lc_iso_part_sw_wr_en = Off;
Tests: T1 T2 T3
69 1/1 lc_seed_hw_rd_en = Off;
Tests: T1 T2 T3
70 1/1 lc_keymgr_en = Off;
Tests: T1 T2 T3
71 // This ensures that once escalation has been triggered, it cannot go back to Off.
72 1/1 lc_escalate_en = lc_tx_or_hi(Off, lc_escalate_en_o);
Tests: T1 T2 T3
73 // Set to invalid diversification value by default.
74 1/1 lc_keymgr_div_d = RndCnstLcKeymgrDivInvalid;
Tests: T1 T2 T3
75
76 1/1 unique case (fsm_state_i)
Tests: T1 T2 T3
77 ///////////////////////////////////////////////////////////////////
78 // Don't broadcast anything in this state.
79 1/1 ResetSt: ;
Tests: T1 T2 T3
80 ///////////////////////////////////////////////////////////////////
81 // Broadcasting of most signals is only enabled during the following life cycle states.
82 IdleSt,
83 ClkMuxSt,
84 CntIncrSt,
85 CntProgSt,
86 TransCheckSt,
87 FlashRmaSt,
88 TokenHashSt,
89 TokenCheck0St,
90 TokenCheck1St,
91 TransProgSt: begin
92 1/1 if (lc_state_valid_i) begin
Tests: T1 T2 T3
93 1/1 unique case (lc_state_i)
Tests: T1 T2 T3
94 ///////////////////////////////////////////////////////////////////
95 // Only enable life cycle TAP register for OTP test mechanisms.
96 LcStRaw,
97 LcStTestLocked0,
98 LcStTestLocked1,
99 LcStTestLocked2,
100 LcStTestLocked3,
101 LcStTestLocked4,
102 LcStTestLocked5,
103 LcStTestLocked6: begin
104 1/1 lc_raw_test_rma = On;
Tests: T1 T3 T4
105 end
106 ///////////////////////////////////////////////////////////////////
107 // Enable DFT and debug functionality, including the CPU in the
108 // test unlocked states.
109 LcStTestUnlocked0,
110 LcStTestUnlocked1,
111 LcStTestUnlocked2,
112 LcStTestUnlocked3,
113 LcStTestUnlocked4,
114 LcStTestUnlocked5,
115 LcStTestUnlocked6: begin
116 1/1 lc_raw_test_rma = On;
Tests: T2 T3 T4
117 1/1 lc_dft_en = On;
Tests: T2 T3 T4
118 1/1 lc_nvm_debug_en = On;
Tests: T2 T3 T4
119 1/1 lc_hw_debug_en = On;
Tests: T2 T3 T4
120 1/1 lc_cpu_en = On;
Tests: T2 T3 T4
121 1/1 lc_iso_part_sw_wr_en = On;
Tests: T2 T3 T4
122 1/1 lc_keymgr_div_d = RndCnstLcKeymgrDivTestUnlocked;
Tests: T2 T3 T4
123 end
124 ///////////////////////////////////////////////////////////////////
125 // This is the last TEST_UNLOCKED state. The same feature set is enabled
126 // as in the other TEST_UNLOCKED states above, except for NVM debug en,
127 // which is disabled in this state.
128 LcStTestUnlocked7: begin
129 1/1 lc_raw_test_rma = On;
Tests: T12 T14 T15
130 1/1 lc_dft_en = On;
Tests: T12 T14 T15
131 1/1 lc_hw_debug_en = On;
Tests: T12 T14 T15
132 1/1 lc_cpu_en = On;
Tests: T12 T14 T15
133 1/1 lc_iso_part_sw_wr_en = On;
Tests: T12 T14 T15
134 1/1 lc_keymgr_div_d = RndCnstLcKeymgrDivTestUnlocked;
Tests: T12 T14 T15
135 end
136 ///////////////////////////////////////////////////////////////////
137 // Enable production functions
138 LcStProd,
139 LcStProdEnd: begin
140 1/1 lc_cpu_en = On;
Tests: T3 T4 T12
141 1/1 lc_keymgr_en = On;
Tests: T3 T4 T12
142 1/1 lc_owner_seed_sw_rw_en = On;
Tests: T3 T4 T12
143 1/1 lc_iso_part_sw_wr_en = On;
Tests: T3 T4 T12
144 1/1 lc_iso_part_sw_rd_en = On;
Tests: T3 T4 T12
145 1/1 lc_keymgr_div_d = RndCnstLcKeymgrDivProduction;
Tests: T3 T4 T12
146 // Only allow provisioning if the device has not yet been personalized.
147 // If secrets_valid_i is set to ON, we output OFF.
148 // Note that we can convert ON to OFF with a bitwise inversion due to the encoding.
149 1/1 lc_creator_seed_sw_rw_en = lc_tx_t'(~secrets_valid_i);
Tests: T3 T4 T12
150 // Only allow hardware to consume the seeds once personalized.
151 // If secrets_valid_i is set to ON, we output ON.
152 1/1 lc_seed_hw_rd_en = secrets_valid_i;
Tests: T3 T4 T12
153 end
154 ///////////////////////////////////////////////////////////////////
155 // Similar functions as PROD, with the following differences:
156 // - hardware debug functionality (CPU TAP) is enabled,
157 // - access to the isolated flash partition is disabled.
158 LcStDev: begin
159 1/1 lc_hw_debug_en = On;
Tests: T3 T12 T14
160 1/1 lc_cpu_en = On;
Tests: T3 T12 T14
161 1/1 lc_keymgr_en = On;
Tests: T3 T12 T14
162 1/1 lc_owner_seed_sw_rw_en = On;
Tests: T3 T12 T14
163 1/1 lc_iso_part_sw_wr_en = On;
Tests: T3 T12 T14
164 1/1 lc_keymgr_div_d = RndCnstLcKeymgrDivDev;
Tests: T3 T12 T14
165 // Only allow provisioning if the device has not yet been personalized.
166 // If secrets_valid_i is set to ON, we output OFF.
167 // Note that we can convert ON to OFF with a bitwise inversion due to the encoding.
168 1/1 lc_creator_seed_sw_rw_en = lc_tx_t'(~secrets_valid_i);
Tests: T3 T12 T14
169 // Only allow hardware to consume the seeds once personalized.
170 // If secrets_valid_i is set to ON, we output ON.
171 1/1 lc_seed_hw_rd_en = secrets_valid_i;
Tests: T3 T12 T14
172 end
173 ///////////////////////////////////////////////////////////////////
174 // Enable all test and production functions.
175 LcStRma: begin
176 1/1 lc_raw_test_rma = On;
Tests: T3 T12 T14
177 1/1 lc_dft_en = On;
Tests: T3 T12 T14
178 1/1 lc_nvm_debug_en = On;
Tests: T3 T12 T14
179 1/1 lc_hw_debug_en = On;
Tests: T3 T12 T14
180 1/1 lc_cpu_en = On;
Tests: T3 T12 T14
181 1/1 lc_keymgr_en = On;
Tests: T3 T12 T14
182 1/1 lc_creator_seed_sw_rw_en = On;
Tests: T3 T12 T14
183 1/1 lc_owner_seed_sw_rw_en = On;
Tests: T3 T12 T14
184 1/1 lc_iso_part_sw_wr_en = On;
Tests: T3 T12 T14
185 1/1 lc_iso_part_sw_rd_en = On;
Tests: T3 T12 T14
186 1/1 lc_seed_hw_rd_en = On;
Tests: T3 T12 T14
187 1/1 lc_keymgr_div_d = RndCnstLcKeymgrDivRma;
Tests: T3 T12 T14
188 end
189 ///////////////////////////////////////////////////////////////////
190 // Invalid or scrapped life cycle state, make sure the escalation
191 // signal is also asserted in this case.
192 default: begin
193 lc_escalate_en = On;
194 end
195 endcase // lc_state_i
196 end else begin
197 0/1 ==> lc_escalate_en = On;
198 end
199 end
200 ///////////////////////////////////////////////////////////////////
201 // Post-transition state. Behaves similarly to the virtual scrap
202 // states below, with the exception that escalate_en is NOT asserted,
203 // since that could trigger unwanted alerts / escalations and system resets.
204 1/1 PostTransSt: ;
Tests: T1 T2 T3
205 ///////////////////////////////////////////////////////////////////
206 // Virtual scrap states, make sure the escalation signal is
207 // also asserted in this case.
208 ScrapSt,
209 EscalateSt,
210 InvalidSt: begin
211 1/1 lc_escalate_en = On;
Tests: T2 T3 T4
212 end
213 default: begin
214 lc_escalate_en = On;
215 end
216 endcase // fsm_state_i
217 end
218
219 /////////////////////////////////
220 // Control signal output flops //
221 /////////////////////////////////
222
223 prim_lc_sender u_prim_lc_sender_raw_test_rma (
224 .clk_i,
225 .rst_ni,
226 .lc_en_i(lc_raw_test_rma),
227 .lc_en_o(lc_raw_test_rma_o)
228 );
229 prim_lc_sender u_prim_lc_sender_dft_en (
230 .clk_i,
231 .rst_ni,
232 .lc_en_i(lc_dft_en),
233 .lc_en_o(lc_dft_en_o)
234 );
235 prim_lc_sender u_prim_lc_sender_nvm_debug_en (
236 .clk_i,
237 .rst_ni,
238 .lc_en_i(lc_nvm_debug_en),
239 .lc_en_o(lc_nvm_debug_en_o)
240 );
241 prim_lc_sender u_prim_lc_sender_hw_debug_en (
242 .clk_i,
243 .rst_ni,
244 .lc_en_i(lc_hw_debug_en),
245 .lc_en_o(lc_hw_debug_en_o)
246 );
247 prim_lc_sender u_prim_lc_sender_cpu_en (
248 .clk_i,
249 .rst_ni,
250 .lc_en_i(lc_cpu_en),
251 .lc_en_o(lc_cpu_en_o)
252 );
253 prim_lc_sender u_prim_lc_sender_creator_seed_sw_rw_en (
254 .clk_i,
255 .rst_ni,
256 .lc_en_i(lc_creator_seed_sw_rw_en),
257 .lc_en_o(lc_creator_seed_sw_rw_en_o)
258 );
259 prim_lc_sender u_prim_lc_sender_owner_seed_sw_rw_en (
260 .clk_i,
261 .rst_ni,
262 .lc_en_i(lc_owner_seed_sw_rw_en),
263 .lc_en_o(lc_owner_seed_sw_rw_en_o)
264 );
265 prim_lc_sender u_prim_lc_sender_iso_part_sw_rd_en (
266 .clk_i,
267 .rst_ni,
268 .lc_en_i(lc_iso_part_sw_rd_en),
269 .lc_en_o(lc_iso_part_sw_rd_en_o)
270 );
271 prim_lc_sender u_prim_lc_sender_iso_part_sw_wr_en (
272 .clk_i,
273 .rst_ni,
274 .lc_en_i(lc_iso_part_sw_wr_en),
275 .lc_en_o(lc_iso_part_sw_wr_en_o)
276 );
277 prim_lc_sender u_prim_lc_sender_seed_hw_rd_en (
278 .clk_i,
279 .rst_ni,
280 .lc_en_i(lc_seed_hw_rd_en),
281 .lc_en_o(lc_seed_hw_rd_en_o)
282 );
283 prim_lc_sender u_prim_lc_sender_keymgr_en (
284 .clk_i,
285 .rst_ni,
286 .lc_en_i(lc_keymgr_en),
287 .lc_en_o(lc_keymgr_en_o)
288 );
289 prim_lc_sender u_prim_lc_sender_escalate_en (
290 .clk_i,
291 .rst_ni,
292 .lc_en_i(lc_escalate_en),
293 .lc_en_o(lc_escalate_en_o)
294 );
295
296 1/1 assign lc_keymgr_div_o = lc_keymgr_div_q;
Tests: T1 T2 T3
Branch Coverage for Module :
lc_ctrl_signal_decode
| Line No. | Total | Covered | Percent |
| Branches |
|
12 |
11 |
91.67 |
| CASE |
76 |
12 |
11 |
91.67 |
76 unique case (fsm_state_i)
-1-
77 ///////////////////////////////////////////////////////////////////
78 // Don't broadcast anything in this state.
79 ResetSt: ;
==>
80 ///////////////////////////////////////////////////////////////////
81 // Broadcasting of most signals is only enabled during the following life cycle states.
82 IdleSt,
83 ClkMuxSt,
84 CntIncrSt,
85 CntProgSt,
86 TransCheckSt,
87 FlashRmaSt,
88 TokenHashSt,
89 TokenCheck0St,
90 TokenCheck1St,
91 TransProgSt: begin
92 if (lc_state_valid_i) begin
-2-
93 unique case (lc_state_i)
-3-
94 ///////////////////////////////////////////////////////////////////
95 // Only enable life cycle TAP register for OTP test mechanisms.
96 LcStRaw,
97 LcStTestLocked0,
98 LcStTestLocked1,
99 LcStTestLocked2,
100 LcStTestLocked3,
101 LcStTestLocked4,
102 LcStTestLocked5,
103 LcStTestLocked6: begin
104 lc_raw_test_rma = On;
==>
105 end
106 ///////////////////////////////////////////////////////////////////
107 // Enable DFT and debug functionality, including the CPU in the
108 // test unlocked states.
109 LcStTestUnlocked0,
110 LcStTestUnlocked1,
111 LcStTestUnlocked2,
112 LcStTestUnlocked3,
113 LcStTestUnlocked4,
114 LcStTestUnlocked5,
115 LcStTestUnlocked6: begin
116 lc_raw_test_rma = On;
==>
117 lc_dft_en = On;
118 lc_nvm_debug_en = On;
119 lc_hw_debug_en = On;
120 lc_cpu_en = On;
121 lc_iso_part_sw_wr_en = On;
122 lc_keymgr_div_d = RndCnstLcKeymgrDivTestUnlocked;
123 end
124 ///////////////////////////////////////////////////////////////////
125 // This is the last TEST_UNLOCKED state. The same feature set is enabled
126 // as in the other TEST_UNLOCKED states above, except for NVM debug en,
127 // which is disabled in this state.
128 LcStTestUnlocked7: begin
129 lc_raw_test_rma = On;
==>
130 lc_dft_en = On;
131 lc_hw_debug_en = On;
132 lc_cpu_en = On;
133 lc_iso_part_sw_wr_en = On;
134 lc_keymgr_div_d = RndCnstLcKeymgrDivTestUnlocked;
135 end
136 ///////////////////////////////////////////////////////////////////
137 // Enable production functions
138 LcStProd,
139 LcStProdEnd: begin
140 lc_cpu_en = On;
==>
141 lc_keymgr_en = On;
142 lc_owner_seed_sw_rw_en = On;
143 lc_iso_part_sw_wr_en = On;
144 lc_iso_part_sw_rd_en = On;
145 lc_keymgr_div_d = RndCnstLcKeymgrDivProduction;
146 // Only allow provisioning if the device has not yet been personalized.
147 // If secrets_valid_i is set to ON, we output OFF.
148 // Note that we can convert ON to OFF with a bitwise inversion due to the encoding.
149 lc_creator_seed_sw_rw_en = lc_tx_t'(~secrets_valid_i);
150 // Only allow hardware to consume the seeds once personalized.
151 // If secrets_valid_i is set to ON, we output ON.
152 lc_seed_hw_rd_en = secrets_valid_i;
153 end
154 ///////////////////////////////////////////////////////////////////
155 // Similar functions as PROD, with the following differences:
156 // - hardware debug functionality (CPU TAP) is enabled,
157 // - access to the isolated flash partition is disabled.
158 LcStDev: begin
159 lc_hw_debug_en = On;
==>
160 lc_cpu_en = On;
161 lc_keymgr_en = On;
162 lc_owner_seed_sw_rw_en = On;
163 lc_iso_part_sw_wr_en = On;
164 lc_keymgr_div_d = RndCnstLcKeymgrDivDev;
165 // Only allow provisioning if the device has not yet been personalized.
166 // If secrets_valid_i is set to ON, we output OFF.
167 // Note that we can convert ON to OFF with a bitwise inversion due to the encoding.
168 lc_creator_seed_sw_rw_en = lc_tx_t'(~secrets_valid_i);
169 // Only allow hardware to consume the seeds once personalized.
170 // If secrets_valid_i is set to ON, we output ON.
171 lc_seed_hw_rd_en = secrets_valid_i;
172 end
173 ///////////////////////////////////////////////////////////////////
174 // Enable all test and production functions.
175 LcStRma: begin
176 lc_raw_test_rma = On;
==>
177 lc_dft_en = On;
178 lc_nvm_debug_en = On;
179 lc_hw_debug_en = On;
180 lc_cpu_en = On;
181 lc_keymgr_en = On;
182 lc_creator_seed_sw_rw_en = On;
183 lc_owner_seed_sw_rw_en = On;
184 lc_iso_part_sw_wr_en = On;
185 lc_iso_part_sw_rd_en = On;
186 lc_seed_hw_rd_en = On;
187 lc_keymgr_div_d = RndCnstLcKeymgrDivRma;
188 end
189 ///////////////////////////////////////////////////////////////////
190 // Invalid or scrapped life cycle state, make sure the escalation
191 // signal is also asserted in this case.
192 default: begin
193 lc_escalate_en = On;
==>
194 end
195 endcase // lc_state_i
196 end else begin
197 lc_escalate_en = On;
==>
198 end
199 end
200 ///////////////////////////////////////////////////////////////////
201 // Post-transition state. Behaves similarly to the virtual scrap
202 // states below, with the exception that escalate_en is NOT asserted,
203 // since that could trigger unwanted alerts / escalations and system resets.
204 PostTransSt: ;
==>
205 ///////////////////////////////////////////////////////////////////
206 // Virtual scrap states, make sure the escalation signal is
207 // also asserted in this case.
208 ScrapSt,
209 EscalateSt,
210 InvalidSt: begin
211 lc_escalate_en = On;
==>
212 end
213 default: begin
214 lc_escalate_en = On;
==>
Branches:
| -1- | -2- | -3- | Status | Tests |
| ResetSt |
- |
- |
Covered |
T1,T2,T3 |
| CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
CASEITEM-1: LcStRaw LcStTestLocked0 LcStTestLocked1 LcStTestLocked2 LcStTestLocked3 LcStTestLocked4 LcStTestLocked5 LcStTestLocked6 |
Covered |
T1,T3,T4 |
| CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
CASEITEM-2: LcStTestUnlocked0 LcStTestUnlocked1 LcStTestUnlocked2 LcStTestUnlocked3 LcStTestUnlocked4 LcStTestUnlocked5 LcStTestUnlocked6 |
Covered |
T2,T3,T4 |
| CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
LcStTestUnlocked7 |
Covered |
T12,T14,T15 |
| CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
LcStProd LcStProdEnd |
Covered |
T3,T4,T12 |
| CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
LcStDev |
Covered |
T3,T12,T14 |
| CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
LcStRma |
Covered |
T3,T12,T14 |
| CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
default |
Covered |
T2,T4,T12 |
| CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
0 |
- |
Not Covered |
|
| PostTransSt |
- |
- |
Covered |
T1,T2,T3 |
| ScrapSt EscalateSt InvalidSt |
- |
- |
Covered |
T2,T3,T4 |
| default |
- |
- |
Covered |
T14,T54,T27 |
Assert Coverage for Module :
lc_ctrl_signal_decode
Assertion Details
FsmInScrap_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
56785484 |
11872845 |
0 |
0 |
| T2 |
1410 |
593 |
0 |
0 |
| T3 |
12721 |
2500 |
0 |
0 |
| T4 |
6279 |
750 |
0 |
0 |
| T5 |
20480 |
3113 |
0 |
0 |
| T6 |
14817 |
2532 |
0 |
0 |
| T11 |
0 |
19516 |
0 |
0 |
| T12 |
29648 |
13057 |
0 |
0 |
| T13 |
1218 |
0 |
0 |
0 |
| T14 |
15568 |
8499 |
0 |
0 |
| T15 |
31072 |
2031 |
0 |
0 |
| T16 |
34458 |
0 |
0 |
0 |
| T19 |
0 |
7227 |
0 |
0 |
LcKeymgrDivUnique0_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
826 |
826 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T13 |
1 |
1 |
0 |
0 |
| T14 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
LcKeymgrDivUnique1_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
826 |
826 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T13 |
1 |
1 |
0 |
0 |
| T14 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
LcKeymgrDivUnique2_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
826 |
826 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T13 |
1 |
1 |
0 |
0 |
| T14 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
LcKeymgrDivUnique3_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
826 |
826 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T12 |
1 |
1 |
0 |
0 |
| T13 |
1 |
1 |
0 |
0 |
| T14 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
SignalsAreOffWhenNotEnabled_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
56785484 |
1142691 |
0 |
0 |
| T1 |
1768 |
1 |
0 |
0 |
| T2 |
1410 |
2 |
0 |
0 |
| T3 |
12721 |
20 |
0 |
0 |
| T4 |
6279 |
110 |
0 |
0 |
| T5 |
20480 |
11 |
0 |
0 |
| T12 |
29648 |
82 |
0 |
0 |
| T13 |
1218 |
1 |
0 |
0 |
| T14 |
15568 |
450 |
0 |
0 |
| T15 |
31072 |
74 |
0 |
0 |
| T16 |
34458 |
9 |
0 |
0 |
StateInScrap_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
56785484 |
4249 |
0 |
0 |
| T2 |
1410 |
1 |
0 |
0 |
| T3 |
12721 |
0 |
0 |
0 |
| T4 |
6279 |
1 |
0 |
0 |
| T5 |
20480 |
1 |
0 |
0 |
| T6 |
14817 |
0 |
0 |
0 |
| T11 |
0 |
2 |
0 |
0 |
| T12 |
29648 |
1 |
0 |
0 |
| T13 |
1218 |
0 |
0 |
0 |
| T14 |
15568 |
21 |
0 |
0 |
| T15 |
31072 |
0 |
0 |
0 |
| T16 |
34458 |
0 |
0 |
0 |
| T20 |
0 |
2 |
0 |
0 |
| T29 |
0 |
1 |
0 |
0 |
| T37 |
0 |
3 |
0 |
0 |
| T55 |
0 |
1 |
0 |
0 |
