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: T3 T4 T13
130 1/1 lc_dft_en = On;
Tests: T3 T4 T13
131 1/1 lc_hw_debug_en = On;
Tests: T3 T4 T13
132 1/1 lc_cpu_en = On;
Tests: T3 T4 T13
133 1/1 lc_iso_part_sw_wr_en = On;
Tests: T3 T4 T13
134 1/1 lc_keymgr_div_d = RndCnstLcKeymgrDivTestUnlocked;
Tests: T3 T4 T13
135 end
136 ///////////////////////////////////////////////////////////////////
137 // Enable production functions
138 LcStProd,
139 LcStProdEnd: begin
140 1/1 lc_cpu_en = On;
Tests: T3 T5 T14
141 1/1 lc_keymgr_en = On;
Tests: T3 T5 T14
142 1/1 lc_owner_seed_sw_rw_en = On;
Tests: T3 T5 T14
143 1/1 lc_iso_part_sw_wr_en = On;
Tests: T3 T5 T14
144 1/1 lc_iso_part_sw_rd_en = On;
Tests: T3 T5 T14
145 1/1 lc_keymgr_div_d = RndCnstLcKeymgrDivProduction;
Tests: T3 T5 T14
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 T5 T14
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 T5 T14
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 T4 T5
160 1/1 lc_cpu_en = On;
Tests: T3 T4 T5
161 1/1 lc_keymgr_en = On;
Tests: T3 T4 T5
162 1/1 lc_owner_seed_sw_rw_en = On;
Tests: T3 T4 T5
163 1/1 lc_iso_part_sw_wr_en = On;
Tests: T3 T4 T5
164 1/1 lc_keymgr_div_d = RndCnstLcKeymgrDivDev;
Tests: T3 T4 T5
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 T4 T5
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 T4 T5
172 end
173 ///////////////////////////////////////////////////////////////////
174 // Enable all test and production functions.
175 LcStRma: begin
176 1/1 lc_raw_test_rma = On;
Tests: T13 T14 T16
177 1/1 lc_dft_en = On;
Tests: T13 T14 T16
178 1/1 lc_nvm_debug_en = On;
Tests: T13 T14 T16
179 1/1 lc_hw_debug_en = On;
Tests: T13 T14 T16
180 1/1 lc_cpu_en = On;
Tests: T13 T14 T16
181 1/1 lc_keymgr_en = On;
Tests: T13 T14 T16
182 1/1 lc_creator_seed_sw_rw_en = On;
Tests: T13 T14 T16
183 1/1 lc_owner_seed_sw_rw_en = On;
Tests: T13 T14 T16
184 1/1 lc_iso_part_sw_wr_en = On;
Tests: T13 T14 T16
185 1/1 lc_iso_part_sw_rd_en = On;
Tests: T13 T14 T16
186 1/1 lc_seed_hw_rd_en = On;
Tests: T13 T14 T16
187 1/1 lc_keymgr_div_d = RndCnstLcKeymgrDivRma;
Tests: T13 T14 T16
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 T3 T4
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: T3 T4 T5
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 |
T3,T4,T13 |
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
LcStProd LcStProdEnd |
Covered |
T3,T5,T14 |
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
LcStDev |
Covered |
T3,T4,T5 |
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
LcStRma |
Covered |
T13,T14,T16 |
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
1 |
default |
Covered |
T3,T5,T13 |
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt |
0 |
- |
Not Covered |
|
PostTransSt |
- |
- |
Covered |
T1,T3,T4 |
ScrapSt EscalateSt InvalidSt |
- |
- |
Covered |
T3,T4,T5 |
default |
- |
- |
Covered |
T50,T73,T51 |
Assert Coverage for Module :
lc_ctrl_signal_decode
Assertion Details
FsmInScrap_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
63056971 |
11693734 |
0 |
0 |
T3 |
2167 |
33 |
0 |
0 |
T4 |
8773 |
2232 |
0 |
0 |
T5 |
5820 |
2185 |
0 |
0 |
T6 |
20377 |
0 |
0 |
0 |
T7 |
0 |
426 |
0 |
0 |
T8 |
0 |
3744 |
0 |
0 |
T13 |
35144 |
1140 |
0 |
0 |
T14 |
30973 |
14950 |
0 |
0 |
T15 |
2264 |
0 |
0 |
0 |
T16 |
42484 |
904 |
0 |
0 |
T17 |
1394 |
0 |
0 |
0 |
T22 |
0 |
33 |
0 |
0 |
T28 |
0 |
598 |
0 |
0 |
T34 |
1284 |
0 |
0 |
0 |
LcKeymgrDivUnique0_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
816 |
816 |
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 |
T13 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
LcKeymgrDivUnique1_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
816 |
816 |
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 |
T13 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
LcKeymgrDivUnique2_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
816 |
816 |
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 |
T13 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
LcKeymgrDivUnique3_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
816 |
816 |
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 |
T13 |
1 |
1 |
0 |
0 |
T14 |
1 |
1 |
0 |
0 |
T15 |
1 |
1 |
0 |
0 |
T16 |
1 |
1 |
0 |
0 |
T17 |
1 |
1 |
0 |
0 |
SignalsAreOffWhenNotEnabled_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
63056971 |
1262455 |
0 |
0 |
T1 |
1459 |
1 |
0 |
0 |
T2 |
712 |
1 |
0 |
0 |
T3 |
2167 |
7 |
0 |
0 |
T4 |
8773 |
18 |
0 |
0 |
T5 |
5820 |
15 |
0 |
0 |
T13 |
35144 |
10 |
0 |
0 |
T14 |
30973 |
82 |
0 |
0 |
T15 |
2264 |
1 |
0 |
0 |
T16 |
42484 |
58 |
0 |
0 |
T17 |
1394 |
1 |
0 |
0 |
StateInScrap_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
63056971 |
4148 |
0 |
0 |
T3 |
2167 |
1 |
0 |
0 |
T4 |
8773 |
0 |
0 |
0 |
T5 |
5820 |
4 |
0 |
0 |
T6 |
20377 |
0 |
0 |
0 |
T7 |
0 |
1 |
0 |
0 |
T13 |
35144 |
1 |
0 |
0 |
T14 |
30973 |
4 |
0 |
0 |
T15 |
2264 |
0 |
0 |
0 |
T16 |
42484 |
0 |
0 |
0 |
T17 |
1394 |
0 |
0 |
0 |
T22 |
0 |
3 |
0 |
0 |
T32 |
0 |
1 |
0 |
0 |
T34 |
1284 |
0 |
0 |
0 |
T49 |
0 |
5 |
0 |
0 |
T50 |
0 |
31 |
0 |
0 |
T79 |
0 |
1 |
0 |
0 |