Line Coverage for Module :
edn_ack_sm
| Line No. | Total | Covered | Percent |
TOTAL | | 32 | 32 | 100.00 |
ALWAYS | 52 | 3 | 3 | 100.00 |
ALWAYS | 55 | 29 | 29 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
52 |
3 |
3 |
55 |
1 |
1 |
56 |
1 |
1 |
57 |
1 |
1 |
58 |
1 |
1 |
59 |
1 |
1 |
60 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
|
|
|
MISSING_ELSE |
68 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
|
|
|
MISSING_ELSE |
75 |
1 |
1 |
|
|
|
MISSING_ELSE |
79 |
1 |
1 |
80 |
1 |
1 |
|
|
|
MISSING_ELSE |
84 |
1 |
1 |
85 |
1 |
1 |
88 |
1 |
1 |
98 |
1 |
1 |
99 |
1 |
1 |
101 |
1 |
1 |
102 |
1 |
1 |
103 |
1 |
1 |
104 |
1 |
1 |
107 |
1 |
1 |
109 |
1 |
1 |
110 |
1 |
1 |
111 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Module :
edn_ack_sm
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 104
EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
------1------ ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T31,T51 |
FSM Coverage for Module :
edn_ack_sm
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
6 |
6 |
100.00 |
(Not included in score) |
Transitions |
14 |
14 |
100.00 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
AckPls |
80 |
Covered |
T1,T2,T3 |
DataWait |
75 |
Covered |
T1,T2,T3 |
Disabled |
107 |
Covered |
T1,T2,T3 |
EndPointClear |
63 |
Covered |
T1,T2,T3 |
Error |
99 |
Covered |
T4,T5,T21 |
Idle |
68 |
Covered |
T1,T2,T3 |
transitions | Line No. | Covered | Tests |
AckPls->Disabled |
107 |
Covered |
T75 |
AckPls->Error |
99 |
Covered |
T4,T243,T177 |
AckPls->Idle |
85 |
Covered |
T1,T2,T3 |
DataWait->AckPls |
80 |
Covered |
T1,T2,T3 |
DataWait->Disabled |
107 |
Covered |
T84,T128,T76 |
DataWait->Error |
99 |
Covered |
T21,T9,T112 |
Disabled->EndPointClear |
63 |
Covered |
T1,T2,T3 |
Disabled->Error |
99 |
Covered |
T22,T23,T24 |
EndPointClear->Disabled |
107 |
Covered |
T6,T242,T73 |
EndPointClear->Error |
99 |
Covered |
T45,T244,T47 |
EndPointClear->Idle |
68 |
Covered |
T1,T2,T3 |
Idle->DataWait |
75 |
Covered |
T1,T2,T3 |
Idle->Disabled |
107 |
Covered |
T1,T6,T37 |
Idle->Error |
99 |
Covered |
T4,T5,T21 |
Branch Coverage for Module :
edn_ack_sm
| Line No. | Total | Covered | Percent |
Branches |
|
16 |
16 |
100.00 |
IF |
52 |
2 |
2 |
100.00 |
CASE |
60 |
11 |
11 |
100.00 |
IF |
98 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 52 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 60 case (state_q)
-2-: 62 if (enable_i)
-3-: 71 if (req_i)
-4-: 72 if (fifo_not_empty_i)
-5-: 79 if (fifo_not_empty_i)
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
Disabled |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
Disabled |
0 |
- |
- |
- |
Covered |
T1,T2,T3 |
EndPointClear |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
- |
1 |
1 |
- |
Covered |
T1,T2,T3 |
Idle |
- |
1 |
0 |
- |
Covered |
T1,T2,T3 |
Idle |
- |
0 |
- |
- |
Covered |
T1,T2,T3 |
DataWait |
- |
- |
- |
1 |
Covered |
T1,T2,T3 |
DataWait |
- |
- |
- |
0 |
Covered |
T1,T2,T3 |
AckPls |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Error |
- |
- |
- |
- |
Covered |
T4,T5,T21 |
default |
- |
- |
- |
- |
Covered |
T5,T50,T52 |
LineNo. Expression
-1-: 98 if (local_escalate_i)
-2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T4,T5,T21 |
0 |
1 |
Covered |
T1,T31,T51 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
edn_ack_sm
Assertion Details
AckSmErrorStStable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1319864539 |
881252 |
0 |
0 |
T4 |
4025 |
1771 |
0 |
0 |
T5 |
7672 |
4556 |
0 |
0 |
T6 |
77742 |
0 |
0 |
0 |
T7 |
11942 |
6734 |
0 |
0 |
T8 |
0 |
4487 |
0 |
0 |
T15 |
0 |
3122 |
0 |
0 |
T16 |
10227 |
0 |
0 |
0 |
T17 |
14112 |
0 |
0 |
0 |
T19 |
8925 |
0 |
0 |
0 |
T20 |
7560 |
0 |
0 |
0 |
T21 |
12264 |
2807 |
0 |
0 |
T37 |
89985 |
0 |
0 |
0 |
T50 |
0 |
2960 |
0 |
0 |
T52 |
0 |
7720 |
0 |
0 |
T65 |
0 |
4087 |
0 |
0 |
T66 |
0 |
2120 |
0 |
0 |
FpvSecCmErrorStEscalate_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1319864539 |
886579 |
0 |
0 |
T4 |
4025 |
1778 |
0 |
0 |
T5 |
7672 |
4563 |
0 |
0 |
T6 |
77742 |
0 |
0 |
0 |
T7 |
11942 |
6741 |
0 |
0 |
T8 |
0 |
4494 |
0 |
0 |
T15 |
0 |
3129 |
0 |
0 |
T16 |
10227 |
0 |
0 |
0 |
T17 |
14112 |
0 |
0 |
0 |
T19 |
8925 |
0 |
0 |
0 |
T20 |
7560 |
0 |
0 |
0 |
T21 |
12264 |
2814 |
0 |
0 |
T37 |
89985 |
0 |
0 |
0 |
T50 |
0 |
2967 |
0 |
0 |
T52 |
0 |
7727 |
0 |
0 |
T65 |
0 |
4094 |
0 |
0 |
T66 |
0 |
2127 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1319828829 |
1318945856 |
0 |
0 |
T1 |
5838 |
5397 |
0 |
0 |
T2 |
10213 |
9520 |
0 |
0 |
T3 |
7742 |
7238 |
0 |
0 |
T4 |
3784 |
2727 |
0 |
0 |
T5 |
7461 |
6383 |
0 |
0 |
T6 |
77742 |
74711 |
0 |
0 |
T16 |
10227 |
9541 |
0 |
0 |
T19 |
8925 |
8379 |
0 |
0 |
T20 |
7560 |
6895 |
0 |
0 |
T21 |
11112 |
10293 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[3].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
TOTAL | | 32 | 32 | 100.00 |
ALWAYS | 52 | 3 | 3 | 100.00 |
ALWAYS | 55 | 29 | 29 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
52 |
3 |
3 |
55 |
1 |
1 |
56 |
1 |
1 |
57 |
1 |
1 |
58 |
1 |
1 |
59 |
1 |
1 |
60 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
|
|
|
MISSING_ELSE |
68 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
|
|
|
MISSING_ELSE |
75 |
1 |
1 |
|
|
|
MISSING_ELSE |
79 |
1 |
1 |
80 |
1 |
1 |
|
|
|
MISSING_ELSE |
84 |
1 |
1 |
85 |
1 |
1 |
88 |
1 |
1 |
98 |
1 |
1 |
99 |
1 |
1 |
101 |
1 |
1 |
102 |
1 |
1 |
103 |
1 |
1 |
104 |
1 |
1 |
107 |
1 |
1 |
109 |
1 |
1 |
110 |
1 |
1 |
111 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[3].u_edn_ack_sm_ep
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 104
EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
------1------ ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T31,T51 |
FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[3].u_edn_ack_sm_ep
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
6 |
6 |
100.00 |
(Not included in score) |
Transitions |
14 |
11 |
78.57 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
AckPls |
80 |
Covered |
T29,T30,T38 |
DataWait |
75 |
Covered |
T7,T29,T30 |
Disabled |
107 |
Covered |
T1,T2,T3 |
EndPointClear |
63 |
Covered |
T1,T2,T3 |
Error |
99 |
Covered |
T4,T5,T21 |
Idle |
68 |
Covered |
T1,T2,T3 |
transitions | Line No. | Covered | Tests |
AckPls->Disabled |
107 |
Not Covered |
|
AckPls->Error |
99 |
Not Covered |
|
AckPls->Idle |
85 |
Covered |
T29,T30,T38 |
DataWait->AckPls |
80 |
Covered |
T29,T30,T38 |
DataWait->Disabled |
107 |
Not Covered |
|
DataWait->Error |
99 |
Covered |
T7,T134,T245 |
Disabled->EndPointClear |
63 |
Covered |
T1,T2,T3 |
Disabled->Error |
99 |
Covered |
T22,T23,T24 |
EndPointClear->Disabled |
107 |
Covered |
T6,T242,T73 |
EndPointClear->Error |
99 |
Covered |
T45,T244,T47 |
EndPointClear->Idle |
68 |
Covered |
T1,T2,T3 |
Idle->DataWait |
75 |
Covered |
T7,T29,T30 |
Idle->Disabled |
107 |
Covered |
T1,T6,T37 |
Idle->Error |
99 |
Covered |
T4,T5,T21 |
Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[3].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
Branches |
|
16 |
16 |
100.00 |
IF |
52 |
2 |
2 |
100.00 |
CASE |
60 |
11 |
11 |
100.00 |
IF |
98 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 52 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 60 case (state_q)
-2-: 62 if (enable_i)
-3-: 71 if (req_i)
-4-: 72 if (fifo_not_empty_i)
-5-: 79 if (fifo_not_empty_i)
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
Disabled |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
Disabled |
0 |
- |
- |
- |
Covered |
T1,T2,T3 |
EndPointClear |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
- |
1 |
1 |
- |
Covered |
T29,T30,T38 |
Idle |
- |
1 |
0 |
- |
Covered |
T7,T29,T30 |
Idle |
- |
0 |
- |
- |
Covered |
T1,T2,T3 |
DataWait |
- |
- |
- |
1 |
Covered |
T29,T30,T38 |
DataWait |
- |
- |
- |
0 |
Covered |
T7,T29,T30 |
AckPls |
- |
- |
- |
- |
Covered |
T29,T30,T38 |
Error |
- |
- |
- |
- |
Covered |
T4,T5,T21 |
default |
- |
- |
- |
- |
Covered |
T22,T23,T24 |
LineNo. Expression
-1-: 98 if (local_escalate_i)
-2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T4,T5,T21 |
0 |
1 |
Covered |
T1,T31,T51 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[3].u_edn_ack_sm_ep
Assertion Details
AckSmErrorStStable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126236 |
0 |
0 |
T4 |
575 |
253 |
0 |
0 |
T5 |
1096 |
658 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
962 |
0 |
0 |
T8 |
0 |
641 |
0 |
0 |
T15 |
0 |
446 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
401 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
430 |
0 |
0 |
T52 |
0 |
1110 |
0 |
0 |
T65 |
0 |
591 |
0 |
0 |
T66 |
0 |
310 |
0 |
0 |
FpvSecCmErrorStEscalate_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126997 |
0 |
0 |
T4 |
575 |
254 |
0 |
0 |
T5 |
1096 |
659 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
963 |
0 |
0 |
T8 |
0 |
642 |
0 |
0 |
T15 |
0 |
447 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
402 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
431 |
0 |
0 |
T52 |
0 |
1111 |
0 |
0 |
T65 |
0 |
592 |
0 |
0 |
T66 |
0 |
311 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
188425938 |
0 |
0 |
T1 |
834 |
771 |
0 |
0 |
T2 |
1459 |
1360 |
0 |
0 |
T3 |
1106 |
1034 |
0 |
0 |
T4 |
575 |
424 |
0 |
0 |
T5 |
1096 |
942 |
0 |
0 |
T6 |
11106 |
10673 |
0 |
0 |
T16 |
1461 |
1363 |
0 |
0 |
T19 |
1275 |
1197 |
0 |
0 |
T20 |
1080 |
985 |
0 |
0 |
T21 |
1752 |
1635 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[1].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
TOTAL | | 32 | 32 | 100.00 |
ALWAYS | 52 | 3 | 3 | 100.00 |
ALWAYS | 55 | 29 | 29 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
52 |
3 |
3 |
55 |
1 |
1 |
56 |
1 |
1 |
57 |
1 |
1 |
58 |
1 |
1 |
59 |
1 |
1 |
60 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
|
|
|
MISSING_ELSE |
68 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
|
|
|
MISSING_ELSE |
75 |
1 |
1 |
|
|
|
MISSING_ELSE |
79 |
1 |
1 |
80 |
1 |
1 |
|
|
|
MISSING_ELSE |
84 |
1 |
1 |
85 |
1 |
1 |
88 |
1 |
1 |
98 |
1 |
1 |
99 |
1 |
1 |
101 |
1 |
1 |
102 |
1 |
1 |
103 |
1 |
1 |
104 |
1 |
1 |
107 |
1 |
1 |
109 |
1 |
1 |
110 |
1 |
1 |
111 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[1].u_edn_ack_sm_ep
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 104
EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
------1------ ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T31,T51 |
FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[1].u_edn_ack_sm_ep
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
6 |
6 |
100.00 |
(Not included in score) |
Transitions |
14 |
12 |
85.71 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
AckPls |
80 |
Covered |
T2,T20,T18 |
DataWait |
75 |
Covered |
T2,T20,T18 |
Disabled |
107 |
Covered |
T1,T2,T3 |
EndPointClear |
63 |
Covered |
T1,T2,T3 |
Error |
99 |
Covered |
T4,T5,T21 |
Idle |
68 |
Covered |
T1,T2,T3 |
transitions | Line No. | Covered | Tests |
AckPls->Disabled |
107 |
Not Covered |
|
AckPls->Error |
99 |
Not Covered |
|
AckPls->Idle |
85 |
Covered |
T2,T20,T18 |
DataWait->AckPls |
80 |
Covered |
T2,T20,T18 |
DataWait->Disabled |
107 |
Covered |
T71,T169,T246 |
DataWait->Error |
99 |
Covered |
T112,T150,T121 |
Disabled->EndPointClear |
63 |
Covered |
T1,T2,T3 |
Disabled->Error |
99 |
Covered |
T22,T23,T24 |
EndPointClear->Disabled |
107 |
Covered |
T6,T242,T73 |
EndPointClear->Error |
99 |
Covered |
T45,T244,T47 |
EndPointClear->Idle |
68 |
Covered |
T1,T2,T3 |
Idle->DataWait |
75 |
Covered |
T2,T20,T18 |
Idle->Disabled |
107 |
Covered |
T1,T6,T37 |
Idle->Error |
99 |
Covered |
T4,T5,T21 |
Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[1].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
Branches |
|
16 |
16 |
100.00 |
IF |
52 |
2 |
2 |
100.00 |
CASE |
60 |
11 |
11 |
100.00 |
IF |
98 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 52 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 60 case (state_q)
-2-: 62 if (enable_i)
-3-: 71 if (req_i)
-4-: 72 if (fifo_not_empty_i)
-5-: 79 if (fifo_not_empty_i)
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
Disabled |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
Disabled |
0 |
- |
- |
- |
Covered |
T1,T2,T3 |
EndPointClear |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
- |
1 |
1 |
- |
Covered |
T2,T20,T18 |
Idle |
- |
1 |
0 |
- |
Covered |
T2,T20,T18 |
Idle |
- |
0 |
- |
- |
Covered |
T1,T2,T3 |
DataWait |
- |
- |
- |
1 |
Covered |
T2,T20,T18 |
DataWait |
- |
- |
- |
0 |
Covered |
T2,T20,T18 |
AckPls |
- |
- |
- |
- |
Covered |
T2,T20,T18 |
Error |
- |
- |
- |
- |
Covered |
T4,T5,T21 |
default |
- |
- |
- |
- |
Covered |
T22,T23,T24 |
LineNo. Expression
-1-: 98 if (local_escalate_i)
-2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T4,T5,T21 |
0 |
1 |
Covered |
T1,T31,T51 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[1].u_edn_ack_sm_ep
Assertion Details
AckSmErrorStStable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126236 |
0 |
0 |
T4 |
575 |
253 |
0 |
0 |
T5 |
1096 |
658 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
962 |
0 |
0 |
T8 |
0 |
641 |
0 |
0 |
T15 |
0 |
446 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
401 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
430 |
0 |
0 |
T52 |
0 |
1110 |
0 |
0 |
T65 |
0 |
591 |
0 |
0 |
T66 |
0 |
310 |
0 |
0 |
FpvSecCmErrorStEscalate_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126997 |
0 |
0 |
T4 |
575 |
254 |
0 |
0 |
T5 |
1096 |
659 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
963 |
0 |
0 |
T8 |
0 |
642 |
0 |
0 |
T15 |
0 |
447 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
402 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
431 |
0 |
0 |
T52 |
0 |
1111 |
0 |
0 |
T65 |
0 |
592 |
0 |
0 |
T66 |
0 |
311 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
188425938 |
0 |
0 |
T1 |
834 |
771 |
0 |
0 |
T2 |
1459 |
1360 |
0 |
0 |
T3 |
1106 |
1034 |
0 |
0 |
T4 |
575 |
424 |
0 |
0 |
T5 |
1096 |
942 |
0 |
0 |
T6 |
11106 |
10673 |
0 |
0 |
T16 |
1461 |
1363 |
0 |
0 |
T19 |
1275 |
1197 |
0 |
0 |
T20 |
1080 |
985 |
0 |
0 |
T21 |
1752 |
1635 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[4].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
TOTAL | | 32 | 32 | 100.00 |
ALWAYS | 52 | 3 | 3 | 100.00 |
ALWAYS | 55 | 29 | 29 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
52 |
3 |
3 |
55 |
1 |
1 |
56 |
1 |
1 |
57 |
1 |
1 |
58 |
1 |
1 |
59 |
1 |
1 |
60 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
|
|
|
MISSING_ELSE |
68 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
|
|
|
MISSING_ELSE |
75 |
1 |
1 |
|
|
|
MISSING_ELSE |
79 |
1 |
1 |
80 |
1 |
1 |
|
|
|
MISSING_ELSE |
84 |
1 |
1 |
85 |
1 |
1 |
88 |
1 |
1 |
98 |
1 |
1 |
99 |
1 |
1 |
101 |
1 |
1 |
102 |
1 |
1 |
103 |
1 |
1 |
104 |
1 |
1 |
107 |
1 |
1 |
109 |
1 |
1 |
110 |
1 |
1 |
111 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[4].u_edn_ack_sm_ep
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 104
EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
------1------ ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T31,T51 |
FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[4].u_edn_ack_sm_ep
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
6 |
6 |
100.00 |
(Not included in score) |
Transitions |
14 |
12 |
85.71 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
AckPls |
80 |
Covered |
T31,T32,T10 |
DataWait |
75 |
Covered |
T31,T32,T10 |
Disabled |
107 |
Covered |
T1,T2,T3 |
EndPointClear |
63 |
Covered |
T1,T2,T3 |
Error |
99 |
Covered |
T4,T5,T21 |
Idle |
68 |
Covered |
T1,T2,T3 |
transitions | Line No. | Covered | Tests |
AckPls->Disabled |
107 |
Not Covered |
|
AckPls->Error |
99 |
Not Covered |
|
AckPls->Idle |
85 |
Covered |
T31,T32,T10 |
DataWait->AckPls |
80 |
Covered |
T31,T32,T10 |
DataWait->Disabled |
107 |
Covered |
T173 |
DataWait->Error |
99 |
Covered |
T15,T44 |
Disabled->EndPointClear |
63 |
Covered |
T1,T2,T3 |
Disabled->Error |
99 |
Covered |
T22,T23,T24 |
EndPointClear->Disabled |
107 |
Covered |
T6,T242,T73 |
EndPointClear->Error |
99 |
Covered |
T45,T244,T47 |
EndPointClear->Idle |
68 |
Covered |
T1,T2,T3 |
Idle->DataWait |
75 |
Covered |
T31,T32,T10 |
Idle->Disabled |
107 |
Covered |
T1,T6,T37 |
Idle->Error |
99 |
Covered |
T4,T5,T21 |
Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[4].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
Branches |
|
16 |
16 |
100.00 |
IF |
52 |
2 |
2 |
100.00 |
CASE |
60 |
11 |
11 |
100.00 |
IF |
98 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 52 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 60 case (state_q)
-2-: 62 if (enable_i)
-3-: 71 if (req_i)
-4-: 72 if (fifo_not_empty_i)
-5-: 79 if (fifo_not_empty_i)
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
Disabled |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
Disabled |
0 |
- |
- |
- |
Covered |
T1,T2,T3 |
EndPointClear |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
- |
1 |
1 |
- |
Covered |
T31,T32,T10 |
Idle |
- |
1 |
0 |
- |
Covered |
T31,T32,T10 |
Idle |
- |
0 |
- |
- |
Covered |
T1,T2,T3 |
DataWait |
- |
- |
- |
1 |
Covered |
T31,T32,T10 |
DataWait |
- |
- |
- |
0 |
Covered |
T31,T10,T15 |
AckPls |
- |
- |
- |
- |
Covered |
T31,T32,T10 |
Error |
- |
- |
- |
- |
Covered |
T4,T5,T21 |
default |
- |
- |
- |
- |
Covered |
T22,T23,T24 |
LineNo. Expression
-1-: 98 if (local_escalate_i)
-2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T4,T5,T21 |
0 |
1 |
Covered |
T1,T31,T51 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[4].u_edn_ack_sm_ep
Assertion Details
AckSmErrorStStable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126236 |
0 |
0 |
T4 |
575 |
253 |
0 |
0 |
T5 |
1096 |
658 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
962 |
0 |
0 |
T8 |
0 |
641 |
0 |
0 |
T15 |
0 |
446 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
401 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
430 |
0 |
0 |
T52 |
0 |
1110 |
0 |
0 |
T65 |
0 |
591 |
0 |
0 |
T66 |
0 |
310 |
0 |
0 |
FpvSecCmErrorStEscalate_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126997 |
0 |
0 |
T4 |
575 |
254 |
0 |
0 |
T5 |
1096 |
659 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
963 |
0 |
0 |
T8 |
0 |
642 |
0 |
0 |
T15 |
0 |
447 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
402 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
431 |
0 |
0 |
T52 |
0 |
1111 |
0 |
0 |
T65 |
0 |
592 |
0 |
0 |
T66 |
0 |
311 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
188425938 |
0 |
0 |
T1 |
834 |
771 |
0 |
0 |
T2 |
1459 |
1360 |
0 |
0 |
T3 |
1106 |
1034 |
0 |
0 |
T4 |
575 |
424 |
0 |
0 |
T5 |
1096 |
942 |
0 |
0 |
T6 |
11106 |
10673 |
0 |
0 |
T16 |
1461 |
1363 |
0 |
0 |
T19 |
1275 |
1197 |
0 |
0 |
T20 |
1080 |
985 |
0 |
0 |
T21 |
1752 |
1635 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[6].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
TOTAL | | 32 | 32 | 100.00 |
ALWAYS | 52 | 3 | 3 | 100.00 |
ALWAYS | 55 | 29 | 29 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
52 |
3 |
3 |
55 |
1 |
1 |
56 |
1 |
1 |
57 |
1 |
1 |
58 |
1 |
1 |
59 |
1 |
1 |
60 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
|
|
|
MISSING_ELSE |
68 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
|
|
|
MISSING_ELSE |
75 |
1 |
1 |
|
|
|
MISSING_ELSE |
79 |
1 |
1 |
80 |
1 |
1 |
|
|
|
MISSING_ELSE |
84 |
1 |
1 |
85 |
1 |
1 |
88 |
1 |
1 |
98 |
1 |
1 |
99 |
1 |
1 |
101 |
1 |
1 |
102 |
1 |
1 |
103 |
1 |
1 |
104 |
1 |
1 |
107 |
1 |
1 |
109 |
1 |
1 |
110 |
1 |
1 |
111 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[6].u_edn_ack_sm_ep
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 104
EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
------1------ ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T31,T51 |
FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[6].u_edn_ack_sm_ep
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
6 |
6 |
100.00 |
(Not included in score) |
Transitions |
14 |
12 |
85.71 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
AckPls |
80 |
Covered |
T30,T39,T42 |
DataWait |
75 |
Covered |
T30,T35,T36 |
Disabled |
107 |
Covered |
T1,T2,T3 |
EndPointClear |
63 |
Covered |
T1,T2,T3 |
Error |
99 |
Covered |
T4,T5,T21 |
Idle |
68 |
Covered |
T1,T2,T3 |
transitions | Line No. | Covered | Tests |
AckPls->Disabled |
107 |
Not Covered |
|
AckPls->Error |
99 |
Not Covered |
|
AckPls->Idle |
85 |
Covered |
T30,T39,T42 |
DataWait->AckPls |
80 |
Covered |
T30,T39,T42 |
DataWait->Disabled |
107 |
Covered |
T103,T106 |
DataWait->Error |
99 |
Covered |
T35,T36,T139 |
Disabled->EndPointClear |
63 |
Covered |
T1,T2,T3 |
Disabled->Error |
99 |
Covered |
T22,T23,T24 |
EndPointClear->Disabled |
107 |
Covered |
T6,T242,T73 |
EndPointClear->Error |
99 |
Covered |
T45,T244,T47 |
EndPointClear->Idle |
68 |
Covered |
T1,T2,T3 |
Idle->DataWait |
75 |
Covered |
T30,T35,T36 |
Idle->Disabled |
107 |
Covered |
T1,T6,T37 |
Idle->Error |
99 |
Covered |
T4,T5,T21 |
Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[6].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
Branches |
|
16 |
16 |
100.00 |
IF |
52 |
2 |
2 |
100.00 |
CASE |
60 |
11 |
11 |
100.00 |
IF |
98 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 52 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 60 case (state_q)
-2-: 62 if (enable_i)
-3-: 71 if (req_i)
-4-: 72 if (fifo_not_empty_i)
-5-: 79 if (fifo_not_empty_i)
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
Disabled |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
Disabled |
0 |
- |
- |
- |
Covered |
T1,T2,T3 |
EndPointClear |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
- |
1 |
1 |
- |
Covered |
T30,T39,T42 |
Idle |
- |
1 |
0 |
- |
Covered |
T30,T35,T36 |
Idle |
- |
0 |
- |
- |
Covered |
T1,T2,T3 |
DataWait |
- |
- |
- |
1 |
Covered |
T30,T39,T42 |
DataWait |
- |
- |
- |
0 |
Covered |
T30,T35,T36 |
AckPls |
- |
- |
- |
- |
Covered |
T30,T39,T42 |
Error |
- |
- |
- |
- |
Covered |
T4,T5,T21 |
default |
- |
- |
- |
- |
Covered |
T22,T23,T24 |
LineNo. Expression
-1-: 98 if (local_escalate_i)
-2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T4,T5,T21 |
0 |
1 |
Covered |
T1,T31,T51 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[6].u_edn_ack_sm_ep
Assertion Details
AckSmErrorStStable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126236 |
0 |
0 |
T4 |
575 |
253 |
0 |
0 |
T5 |
1096 |
658 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
962 |
0 |
0 |
T8 |
0 |
641 |
0 |
0 |
T15 |
0 |
446 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
401 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
430 |
0 |
0 |
T52 |
0 |
1110 |
0 |
0 |
T65 |
0 |
591 |
0 |
0 |
T66 |
0 |
310 |
0 |
0 |
FpvSecCmErrorStEscalate_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126997 |
0 |
0 |
T4 |
575 |
254 |
0 |
0 |
T5 |
1096 |
659 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
963 |
0 |
0 |
T8 |
0 |
642 |
0 |
0 |
T15 |
0 |
447 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
402 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
431 |
0 |
0 |
T52 |
0 |
1111 |
0 |
0 |
T65 |
0 |
592 |
0 |
0 |
T66 |
0 |
311 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
188425938 |
0 |
0 |
T1 |
834 |
771 |
0 |
0 |
T2 |
1459 |
1360 |
0 |
0 |
T3 |
1106 |
1034 |
0 |
0 |
T4 |
575 |
424 |
0 |
0 |
T5 |
1096 |
942 |
0 |
0 |
T6 |
11106 |
10673 |
0 |
0 |
T16 |
1461 |
1363 |
0 |
0 |
T19 |
1275 |
1197 |
0 |
0 |
T20 |
1080 |
985 |
0 |
0 |
T21 |
1752 |
1635 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
TOTAL | | 32 | 32 | 100.00 |
ALWAYS | 52 | 3 | 3 | 100.00 |
ALWAYS | 55 | 29 | 29 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
52 |
3 |
3 |
55 |
1 |
1 |
56 |
1 |
1 |
57 |
1 |
1 |
58 |
1 |
1 |
59 |
1 |
1 |
60 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
|
|
|
MISSING_ELSE |
68 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
|
|
|
MISSING_ELSE |
75 |
1 |
1 |
|
|
|
MISSING_ELSE |
79 |
1 |
1 |
80 |
1 |
1 |
|
|
|
MISSING_ELSE |
84 |
1 |
1 |
85 |
1 |
1 |
88 |
1 |
1 |
98 |
1 |
1 |
99 |
1 |
1 |
101 |
1 |
1 |
102 |
1 |
1 |
103 |
1 |
1 |
104 |
1 |
1 |
107 |
1 |
1 |
109 |
1 |
1 |
110 |
1 |
1 |
111 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 104
EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
------1------ ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T31,T51 |
FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
6 |
6 |
100.00 |
(Not included in score) |
Transitions |
14 |
13 |
92.86 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
AckPls |
80 |
Covered |
T3,T4,T16 |
DataWait |
75 |
Covered |
T3,T4,T16 |
Disabled |
107 |
Covered |
T1,T2,T3 |
EndPointClear |
63 |
Covered |
T1,T2,T3 |
Error |
99 |
Covered |
T4,T5,T21 |
Idle |
68 |
Covered |
T1,T2,T3 |
transitions | Line No. | Covered | Tests |
AckPls->Disabled |
107 |
Not Covered |
|
AckPls->Error |
99 |
Covered |
T4,T243,T247 |
AckPls->Idle |
85 |
Covered |
T3,T16,T6 |
DataWait->AckPls |
80 |
Covered |
T3,T4,T16 |
DataWait->Disabled |
107 |
Covered |
T84,T128,T149 |
DataWait->Error |
99 |
Covered |
T21,T9,T202 |
Disabled->EndPointClear |
63 |
Covered |
T1,T2,T3 |
Disabled->Error |
99 |
Covered |
T22,T23,T24 |
EndPointClear->Disabled |
107 |
Covered |
T6,T242,T73 |
EndPointClear->Error |
99 |
Covered |
T45,T244,T47 |
EndPointClear->Idle |
68 |
Covered |
T1,T2,T3 |
Idle->DataWait |
75 |
Covered |
T3,T4,T16 |
Idle->Disabled |
107 |
Covered |
T1,T6,T37 |
Idle->Error |
99 |
Covered |
T7,T8,T15 |
Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
Branches |
|
16 |
16 |
100.00 |
IF |
52 |
2 |
2 |
100.00 |
CASE |
60 |
11 |
11 |
100.00 |
IF |
98 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 52 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 60 case (state_q)
-2-: 62 if (enable_i)
-3-: 71 if (req_i)
-4-: 72 if (fifo_not_empty_i)
-5-: 79 if (fifo_not_empty_i)
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
Disabled |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
Disabled |
0 |
- |
- |
- |
Covered |
T1,T2,T3 |
EndPointClear |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
- |
1 |
1 |
- |
Covered |
T3,T16,T6 |
Idle |
- |
1 |
0 |
- |
Covered |
T3,T4,T16 |
Idle |
- |
0 |
- |
- |
Covered |
T1,T2,T3 |
DataWait |
- |
- |
- |
1 |
Covered |
T3,T4,T16 |
DataWait |
- |
- |
- |
0 |
Covered |
T3,T4,T16 |
AckPls |
- |
- |
- |
- |
Covered |
T3,T4,T16 |
Error |
- |
- |
- |
- |
Covered |
T4,T5,T21 |
default |
- |
- |
- |
- |
Covered |
T5,T50,T52 |
LineNo. Expression
-1-: 98 if (local_escalate_i)
-2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T4,T5,T21 |
0 |
1 |
Covered |
T1,T31,T51 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep
Assertion Details
AckSmErrorStStable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
123836 |
0 |
0 |
T4 |
575 |
253 |
0 |
0 |
T5 |
1096 |
608 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
962 |
0 |
0 |
T8 |
0 |
641 |
0 |
0 |
T15 |
0 |
446 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
401 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
380 |
0 |
0 |
T52 |
0 |
1060 |
0 |
0 |
T65 |
0 |
541 |
0 |
0 |
T66 |
0 |
260 |
0 |
0 |
FpvSecCmErrorStEscalate_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
124597 |
0 |
0 |
T4 |
575 |
254 |
0 |
0 |
T5 |
1096 |
609 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
963 |
0 |
0 |
T8 |
0 |
642 |
0 |
0 |
T15 |
0 |
447 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
402 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
381 |
0 |
0 |
T52 |
0 |
1061 |
0 |
0 |
T65 |
0 |
542 |
0 |
0 |
T66 |
0 |
261 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188516367 |
188390228 |
0 |
0 |
T1 |
834 |
771 |
0 |
0 |
T2 |
1459 |
1360 |
0 |
0 |
T3 |
1106 |
1034 |
0 |
0 |
T4 |
334 |
183 |
0 |
0 |
T5 |
885 |
731 |
0 |
0 |
T6 |
11106 |
10673 |
0 |
0 |
T16 |
1461 |
1363 |
0 |
0 |
T19 |
1275 |
1197 |
0 |
0 |
T20 |
1080 |
985 |
0 |
0 |
T21 |
600 |
483 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[5].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
TOTAL | | 32 | 32 | 100.00 |
ALWAYS | 52 | 3 | 3 | 100.00 |
ALWAYS | 55 | 29 | 29 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
52 |
3 |
3 |
55 |
1 |
1 |
56 |
1 |
1 |
57 |
1 |
1 |
58 |
1 |
1 |
59 |
1 |
1 |
60 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
|
|
|
MISSING_ELSE |
68 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
|
|
|
MISSING_ELSE |
75 |
1 |
1 |
|
|
|
MISSING_ELSE |
79 |
1 |
1 |
80 |
1 |
1 |
|
|
|
MISSING_ELSE |
84 |
1 |
1 |
85 |
1 |
1 |
88 |
1 |
1 |
98 |
1 |
1 |
99 |
1 |
1 |
101 |
1 |
1 |
102 |
1 |
1 |
103 |
1 |
1 |
104 |
1 |
1 |
107 |
1 |
1 |
109 |
1 |
1 |
110 |
1 |
1 |
111 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[5].u_edn_ack_sm_ep
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 104
EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
------1------ ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T31,T51 |
FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[5].u_edn_ack_sm_ep
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
6 |
6 |
100.00 |
(Not included in score) |
Transitions |
14 |
13 |
92.86 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
AckPls |
80 |
Covered |
T33,T14,T34 |
DataWait |
75 |
Covered |
T33,T14,T34 |
Disabled |
107 |
Covered |
T1,T2,T3 |
EndPointClear |
63 |
Covered |
T1,T2,T3 |
Error |
99 |
Covered |
T4,T5,T21 |
Idle |
68 |
Covered |
T1,T2,T3 |
transitions | Line No. | Covered | Tests |
AckPls->Disabled |
107 |
Not Covered |
|
AckPls->Error |
99 |
Covered |
T177 |
AckPls->Idle |
85 |
Covered |
T33,T14,T34 |
DataWait->AckPls |
80 |
Covered |
T33,T14,T34 |
DataWait->Disabled |
107 |
Covered |
T248 |
DataWait->Error |
99 |
Covered |
T152,T162,T249 |
Disabled->EndPointClear |
63 |
Covered |
T1,T2,T3 |
Disabled->Error |
99 |
Covered |
T22,T23,T24 |
EndPointClear->Disabled |
107 |
Covered |
T6,T242,T73 |
EndPointClear->Error |
99 |
Covered |
T45,T244,T47 |
EndPointClear->Idle |
68 |
Covered |
T1,T2,T3 |
Idle->DataWait |
75 |
Covered |
T33,T14,T34 |
Idle->Disabled |
107 |
Covered |
T1,T6,T37 |
Idle->Error |
99 |
Covered |
T4,T5,T21 |
Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[5].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
Branches |
|
16 |
16 |
100.00 |
IF |
52 |
2 |
2 |
100.00 |
CASE |
60 |
11 |
11 |
100.00 |
IF |
98 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 52 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 60 case (state_q)
-2-: 62 if (enable_i)
-3-: 71 if (req_i)
-4-: 72 if (fifo_not_empty_i)
-5-: 79 if (fifo_not_empty_i)
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
Disabled |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
Disabled |
0 |
- |
- |
- |
Covered |
T1,T2,T3 |
EndPointClear |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
- |
1 |
1 |
- |
Covered |
T33,T14,T34 |
Idle |
- |
1 |
0 |
- |
Covered |
T33,T14,T34 |
Idle |
- |
0 |
- |
- |
Covered |
T1,T2,T3 |
DataWait |
- |
- |
- |
1 |
Covered |
T33,T14,T34 |
DataWait |
- |
- |
- |
0 |
Covered |
T33,T14,T34 |
AckPls |
- |
- |
- |
- |
Covered |
T33,T14,T34 |
Error |
- |
- |
- |
- |
Covered |
T4,T5,T21 |
default |
- |
- |
- |
- |
Covered |
T22,T23,T24 |
LineNo. Expression
-1-: 98 if (local_escalate_i)
-2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T4,T5,T21 |
0 |
1 |
Covered |
T1,T31,T51 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[5].u_edn_ack_sm_ep
Assertion Details
AckSmErrorStStable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126236 |
0 |
0 |
T4 |
575 |
253 |
0 |
0 |
T5 |
1096 |
658 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
962 |
0 |
0 |
T8 |
0 |
641 |
0 |
0 |
T15 |
0 |
446 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
401 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
430 |
0 |
0 |
T52 |
0 |
1110 |
0 |
0 |
T65 |
0 |
591 |
0 |
0 |
T66 |
0 |
310 |
0 |
0 |
FpvSecCmErrorStEscalate_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126997 |
0 |
0 |
T4 |
575 |
254 |
0 |
0 |
T5 |
1096 |
659 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
963 |
0 |
0 |
T8 |
0 |
642 |
0 |
0 |
T15 |
0 |
447 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
402 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
431 |
0 |
0 |
T52 |
0 |
1111 |
0 |
0 |
T65 |
0 |
592 |
0 |
0 |
T66 |
0 |
311 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
188425938 |
0 |
0 |
T1 |
834 |
771 |
0 |
0 |
T2 |
1459 |
1360 |
0 |
0 |
T3 |
1106 |
1034 |
0 |
0 |
T4 |
575 |
424 |
0 |
0 |
T5 |
1096 |
942 |
0 |
0 |
T6 |
11106 |
10673 |
0 |
0 |
T16 |
1461 |
1363 |
0 |
0 |
T19 |
1275 |
1197 |
0 |
0 |
T20 |
1080 |
985 |
0 |
0 |
T21 |
1752 |
1635 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[2].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
TOTAL | | 32 | 32 | 100.00 |
ALWAYS | 52 | 3 | 3 | 100.00 |
ALWAYS | 55 | 29 | 29 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
52 |
3 |
3 |
55 |
1 |
1 |
56 |
1 |
1 |
57 |
1 |
1 |
58 |
1 |
1 |
59 |
1 |
1 |
60 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
|
|
|
MISSING_ELSE |
68 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
|
|
|
MISSING_ELSE |
75 |
1 |
1 |
|
|
|
MISSING_ELSE |
79 |
1 |
1 |
80 |
1 |
1 |
|
|
|
MISSING_ELSE |
84 |
1 |
1 |
85 |
1 |
1 |
88 |
1 |
1 |
98 |
1 |
1 |
99 |
1 |
1 |
101 |
1 |
1 |
102 |
1 |
1 |
103 |
1 |
1 |
104 |
1 |
1 |
107 |
1 |
1 |
109 |
1 |
1 |
110 |
1 |
1 |
111 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[2].u_edn_ack_sm_ep
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 104
EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
------1------ ----------------------------2---------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T31,T51 |
FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[2].u_edn_ack_sm_ep
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
6 |
6 |
100.00 |
(Not included in score) |
Transitions |
14 |
14 |
100.00 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
AckPls |
80 |
Covered |
T1,T8,T28 |
DataWait |
75 |
Covered |
T1,T8,T28 |
Disabled |
107 |
Covered |
T1,T2,T3 |
EndPointClear |
63 |
Covered |
T1,T2,T3 |
Error |
99 |
Covered |
T4,T5,T21 |
Idle |
68 |
Covered |
T1,T2,T3 |
transitions | Line No. | Covered | Tests |
AckPls->Disabled |
107 |
Covered |
T75 |
AckPls->Error |
99 |
Covered |
T250,T251 |
AckPls->Idle |
85 |
Covered |
T1,T8,T28 |
DataWait->AckPls |
80 |
Covered |
T1,T8,T28 |
DataWait->Disabled |
107 |
Covered |
T76,T77,T252 |
DataWait->Error |
99 |
Covered |
T88 |
Disabled->EndPointClear |
63 |
Covered |
T1,T2,T3 |
Disabled->Error |
99 |
Covered |
T22,T23,T24 |
EndPointClear->Disabled |
107 |
Covered |
T6,T242,T73 |
EndPointClear->Error |
99 |
Covered |
T45,T244,T47 |
EndPointClear->Idle |
68 |
Covered |
T1,T2,T3 |
Idle->DataWait |
75 |
Covered |
T1,T8,T28 |
Idle->Disabled |
107 |
Covered |
T1,T6,T37 |
Idle->Error |
99 |
Covered |
T4,T5,T21 |
Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[2].u_edn_ack_sm_ep
| Line No. | Total | Covered | Percent |
Branches |
|
16 |
16 |
100.00 |
IF |
52 |
2 |
2 |
100.00 |
CASE |
60 |
11 |
11 |
100.00 |
IF |
98 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_ack_sm.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 52 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 60 case (state_q)
-2-: 62 if (enable_i)
-3-: 71 if (req_i)
-4-: 72 if (fifo_not_empty_i)
-5-: 79 if (fifo_not_empty_i)
Branches:
-1- | -2- | -3- | -4- | -5- | Status | Tests |
Disabled |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
Disabled |
0 |
- |
- |
- |
Covered |
T1,T2,T3 |
EndPointClear |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
- |
1 |
1 |
- |
Covered |
T1,T8,T28 |
Idle |
- |
1 |
0 |
- |
Covered |
T1,T8,T28 |
Idle |
- |
0 |
- |
- |
Covered |
T1,T2,T3 |
DataWait |
- |
- |
- |
1 |
Covered |
T1,T8,T28 |
DataWait |
- |
- |
- |
0 |
Covered |
T1,T8,T28 |
AckPls |
- |
- |
- |
- |
Covered |
T1,T8,T28 |
Error |
- |
- |
- |
- |
Covered |
T4,T5,T21 |
default |
- |
- |
- |
- |
Covered |
T22,T23,T24 |
LineNo. Expression
-1-: 98 if (local_escalate_i)
-2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T4,T5,T21 |
0 |
1 |
Covered |
T1,T31,T51 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[2].u_edn_ack_sm_ep
Assertion Details
AckSmErrorStStable_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126236 |
0 |
0 |
T4 |
575 |
253 |
0 |
0 |
T5 |
1096 |
658 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
962 |
0 |
0 |
T8 |
0 |
641 |
0 |
0 |
T15 |
0 |
446 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
401 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
430 |
0 |
0 |
T52 |
0 |
1110 |
0 |
0 |
T65 |
0 |
591 |
0 |
0 |
T66 |
0 |
310 |
0 |
0 |
FpvSecCmErrorStEscalate_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
126997 |
0 |
0 |
T4 |
575 |
254 |
0 |
0 |
T5 |
1096 |
659 |
0 |
0 |
T6 |
11106 |
0 |
0 |
0 |
T7 |
1706 |
963 |
0 |
0 |
T8 |
0 |
642 |
0 |
0 |
T15 |
0 |
447 |
0 |
0 |
T16 |
1461 |
0 |
0 |
0 |
T17 |
2016 |
0 |
0 |
0 |
T19 |
1275 |
0 |
0 |
0 |
T20 |
1080 |
0 |
0 |
0 |
T21 |
1752 |
402 |
0 |
0 |
T37 |
12855 |
0 |
0 |
0 |
T50 |
0 |
431 |
0 |
0 |
T52 |
0 |
1111 |
0 |
0 |
T65 |
0 |
592 |
0 |
0 |
T66 |
0 |
311 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188552077 |
188425938 |
0 |
0 |
T1 |
834 |
771 |
0 |
0 |
T2 |
1459 |
1360 |
0 |
0 |
T3 |
1106 |
1034 |
0 |
0 |
T4 |
575 |
424 |
0 |
0 |
T5 |
1096 |
942 |
0 |
0 |
T6 |
11106 |
10673 |
0 |
0 |
T16 |
1461 |
1363 |
0 |
0 |
T19 |
1275 |
1197 |
0 |
0 |
T20 |
1080 |
985 |
0 |
0 |
T21 |
1752 |
1635 |
0 |
0 |