Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts



Module Instance : tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.14 100.00 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.14 100.00 100.00 85.71 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.28 100.00 90.88 98.23 100.00 u_edn_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_state_regs 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_edn_core.gen_ep_blk[1].u_edn_ack_sm_ep

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.14 100.00 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.14 100.00 100.00 85.71 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.28 100.00 90.88 98.23 100.00 u_edn_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_state_regs 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_edn_core.gen_ep_blk[3].u_edn_ack_sm_ep

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.14 100.00 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.14 100.00 100.00 85.71 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.28 100.00 90.88 98.23 100.00 u_edn_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_state_regs 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_edn_core.gen_ep_blk[4].u_edn_ack_sm_ep

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.14 100.00 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.14 100.00 100.00 85.71 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.28 100.00 90.88 98.23 100.00 u_edn_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_state_regs 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_edn_core.gen_ep_blk[5].u_edn_ack_sm_ep

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.14 100.00 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.14 100.00 100.00 85.71 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.28 100.00 90.88 98.23 100.00 u_edn_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_state_regs 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_edn_core.gen_ep_blk[2].u_edn_ack_sm_ep

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.57 100.00 100.00 92.86 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.57 100.00 100.00 92.86 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.28 100.00 90.88 98.23 100.00 u_edn_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_state_regs 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_edn_core.gen_ep_blk[6].u_edn_ack_sm_ep

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.57 100.00 100.00 92.86 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.57 100.00 100.00 92.86 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.28 100.00 90.88 98.23 100.00 u_edn_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_state_regs 100.00 100.00 100.00 100.00

Line Coverage for Module : edn_ack_sm
Line No.TotalCoveredPercent
TOTAL3232100.00
ALWAYS5233100.00
ALWAYS552929100.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.CoveredStatements
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
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       104
 EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
             ------1------    ----------------------------2---------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T9,T10

FSM Coverage for Module : edn_ack_sm
Summary for FSM :: state_q
TotalCoveredPercent
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 T1,T9,T5
DataWait 75 Covered T1,T9,T5
Disabled 107 Covered T1,T2,T3
EndPointClear 63 Covered T1,T2,T3
Error 99 Covered T2,T4,T6
Idle 68 Covered T1,T2,T3


transitions   Line No.   Covered   Tests   
AckPls->Disabled 107 Covered T10,T200
AckPls->Error 99 Not Covered
AckPls->Idle 85 Covered T1,T9,T5
DataWait->AckPls 80 Covered T1,T9,T5
DataWait->Disabled 107 Covered T9,T36,T78
DataWait->Error 99 Covered T64,T65,T7
Disabled->EndPointClear 63 Covered T1,T2,T3
Disabled->Error 99 Covered T4,T17,T18
EndPointClear->Disabled 107 Covered T58,T201,T176
EndPointClear->Error 99 Covered T4,T6,T17
EndPointClear->Idle 68 Covered T1,T2,T3
Idle->DataWait 75 Covered T1,T9,T5
Idle->Disabled 107 Covered T1,T4,T9
Idle->Error 99 Covered T2,T15,T64



Branch Coverage for Module : edn_ack_sm
Line No.TotalCoveredPercent
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-StatusTests
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-StatusTests
Disabled 1 - - - Covered T1,T2,T3
Disabled 0 - - - Covered T1,T2,T3
EndPointClear - - - - Covered T1,T2,T3
Idle - 1 1 - Covered T1,T9,T5
Idle - 1 0 - Covered T1,T2,T9
Idle - 0 - - Covered T1,T2,T3
DataWait - - - 1 Covered T1,T9,T5
DataWait - - - 0 Covered T1,T9,T5
AckPls - - - - Covered T1,T9,T5
Error - - - - Covered T2,T4,T6
default - - - - Covered T4,T17,T72


LineNo. Expression -1-: 98 if (local_escalate_i) -2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))

Branches:
-1--2-StatusTests
1 - Covered T2,T4,T6
0 1 Covered T1,T9,T10
0 0 Covered T1,T2,T3


Assert Coverage for Module : edn_ack_sm
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

Name   Attempts   Real Successes   Failures   Incomplete   
AckSmErrorStStable_A 1591972410 1146637 0 0
FpvSecCmErrorStEscalate_A 1591972410 1155744 0 0
u_state_regs_A 1591931188 1590518420 0 0


AckSmErrorStStable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1591972410 1146637 0 0
T2 12194 7560 0 0
T3 32830 0 0 0
T4 175035 61950 0 0
T5 1743686 0 0 0
T6 0 7700 0 0
T7 0 1799 0 0
T9 16611 0 0 0
T10 9583 0 0 0
T11 12467 0 0 0
T12 14315 0 0 0
T15 0 7476 0 0
T16 0 3234 0 0
T22 11592 0 0 0
T36 15379 0 0 0
T51 0 2758 0 0
T64 0 4270 0 0
T65 0 7966 0 0
T66 0 7847 0 0

FpvSecCmErrorStEscalate_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1591972410 1155744 0 0
T2 12194 7567 0 0
T3 32830 0 0 0
T4 175035 62860 0 0
T5 1743686 0 0 0
T6 0 7707 0 0
T7 0 1806 0 0
T9 16611 0 0 0
T10 9583 0 0 0
T11 12467 0 0 0
T12 14315 0 0 0
T15 0 7483 0 0
T16 0 3241 0 0
T22 11592 0 0 0
T36 15379 0 0 0
T51 0 2765 0 0
T64 0 4277 0 0
T65 0 7973 0 0
T66 0 7854 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1591931188 1590518420 0 0
T1 12915 12334 0 0
T2 12076 11124 0 0
T3 32830 32333 0 0
T4 175035 101661 0 0
T5 1743686 1743595 0 0
T9 16611 16023 0 0
T10 9583 9107 0 0
T11 12467 12068 0 0
T12 14315 13762 0 0
T22 11592 11130 0 0

Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
TOTAL3232100.00
ALWAYS5233100.00
ALWAYS552929100.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.CoveredStatements
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
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       104
 EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
             ------1------    ----------------------------2---------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T9,T10

FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep
Summary for FSM :: state_q
TotalCoveredPercent
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 T1,T9,T5
DataWait 75 Covered T1,T9,T5
Disabled 107 Covered T1,T2,T3
EndPointClear 63 Covered T1,T2,T3
Error 99 Covered T2,T4,T6
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 T1,T9,T5
DataWait->AckPls 80 Covered T1,T9,T5
DataWait->Disabled 107 Covered T202,T169
DataWait->Error 99 Covered T64,T65,T7
Disabled->EndPointClear 63 Covered T1,T2,T3
Disabled->Error 99 Covered T4,T17,T18
EndPointClear->Disabled 107 Covered T58,T201,T176
EndPointClear->Error 99 Covered T4,T6,T17
EndPointClear->Idle 68 Covered T1,T2,T3
Idle->DataWait 75 Covered T1,T9,T5
Idle->Disabled 107 Covered T1,T4,T9
Idle->Error 99 Covered T2,T15,T16



Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
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-StatusTests
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-StatusTests
Disabled 1 - - - Covered T1,T2,T3
Disabled 0 - - - Covered T1,T2,T3
EndPointClear - - - - Covered T1,T2,T3
Idle - 1 1 - Covered T1,T9,T5
Idle - 1 0 - Covered T1,T2,T9
Idle - 0 - - Covered T1,T2,T3
DataWait - - - 1 Covered T1,T9,T5
DataWait - - - 0 Covered T9,T5,T12
AckPls - - - - Covered T1,T9,T5
Error - - - - Covered T2,T4,T6
default - - - - Covered T4,T17,T72


LineNo. Expression -1-: 98 if (local_escalate_i) -2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))

Branches:
-1--2-StatusTests
1 - Covered T2,T4,T6
0 1 Covered T1,T9,T10
0 0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

Name   Attempts   Real Successes   Failures   Incomplete   
AckSmErrorStStable_A 227424630 161791 0 0
FpvSecCmErrorStEscalate_A 227424630 163092 0 0
u_state_regs_A 227383408 227181584 0 0


AckSmErrorStStable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 161791 0 0
T2 1742 1080 0 0
T3 4690 0 0 0
T4 25005 8850 0 0
T5 249098 0 0 0
T6 0 1100 0 0
T7 0 257 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1068 0 0
T16 0 462 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 394 0 0
T64 0 610 0 0
T65 0 1138 0 0
T66 0 1121 0 0

FpvSecCmErrorStEscalate_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 163092 0 0
T2 1742 1081 0 0
T3 4690 0 0 0
T4 25005 8980 0 0
T5 249098 0 0 0
T6 0 1101 0 0
T7 0 258 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1069 0 0
T16 0 463 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 395 0 0
T64 0 611 0 0
T65 0 1139 0 0
T66 0 1122 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227383408 227181584 0 0
T1 1845 1762 0 0
T2 1624 1488 0 0
T3 4690 4619 0 0
T4 25005 14523 0 0
T5 249098 249085 0 0
T9 2373 2289 0 0
T10 1369 1301 0 0
T11 1781 1724 0 0
T12 2045 1966 0 0
T22 1656 1590 0 0

Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[1].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
TOTAL3232100.00
ALWAYS5233100.00
ALWAYS552929100.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.CoveredStatements
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
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       104
 EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
             ------1------    ----------------------------2---------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T9,T10

FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[1].u_edn_ack_sm_ep
Summary for FSM :: state_q
TotalCoveredPercent
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 T12,T36,T37
DataWait 75 Covered T12,T36,T37
Disabled 107 Covered T1,T2,T3
EndPointClear 63 Covered T1,T2,T3
Error 99 Covered T2,T4,T6
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 T12,T36,T37
DataWait->AckPls 80 Covered T12,T36,T37
DataWait->Disabled 107 Covered T78,T167,T141
DataWait->Error 99 Covered T196,T126,T158
Disabled->EndPointClear 63 Covered T1,T2,T3
Disabled->Error 99 Covered T4,T17,T18
EndPointClear->Disabled 107 Covered T58,T201,T176
EndPointClear->Error 99 Covered T4,T6,T17
EndPointClear->Idle 68 Covered T1,T2,T3
Idle->DataWait 75 Covered T12,T36,T37
Idle->Disabled 107 Covered T1,T4,T9
Idle->Error 99 Covered T2,T15,T64



Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[1].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
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-StatusTests
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-StatusTests
Disabled 1 - - - Covered T1,T2,T3
Disabled 0 - - - Covered T1,T2,T3
EndPointClear - - - - Covered T1,T2,T3
Idle - 1 1 - Covered T12,T36,T37
Idle - 1 0 - Covered T12,T36,T37
Idle - 0 - - Covered T1,T2,T3
DataWait - - - 1 Covered T12,T36,T37
DataWait - - - 0 Covered T12,T36,T37
AckPls - - - - Covered T12,T36,T37
Error - - - - Covered T2,T4,T6
default - - - - Covered T4,T17,T18


LineNo. Expression -1-: 98 if (local_escalate_i) -2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))

Branches:
-1--2-StatusTests
1 - Covered T2,T4,T6
0 1 Covered T1,T9,T10
0 0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[1].u_edn_ack_sm_ep
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

Name   Attempts   Real Successes   Failures   Incomplete   
AckSmErrorStStable_A 227424630 164141 0 0
FpvSecCmErrorStEscalate_A 227424630 165442 0 0
u_state_regs_A 227424630 227222806 0 0


AckSmErrorStStable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 164141 0 0
T2 1742 1080 0 0
T3 4690 0 0 0
T4 25005 8850 0 0
T5 249098 0 0 0
T6 0 1100 0 0
T7 0 257 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1068 0 0
T16 0 462 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 394 0 0
T64 0 610 0 0
T65 0 1138 0 0
T66 0 1121 0 0

FpvSecCmErrorStEscalate_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 165442 0 0
T2 1742 1081 0 0
T3 4690 0 0 0
T4 25005 8980 0 0
T5 249098 0 0 0
T6 0 1101 0 0
T7 0 258 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1069 0 0
T16 0 463 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 395 0 0
T64 0 611 0 0
T65 0 1139 0 0
T66 0 1122 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 227222806 0 0
T1 1845 1762 0 0
T2 1742 1606 0 0
T3 4690 4619 0 0
T4 25005 14523 0 0
T5 249098 249085 0 0
T9 2373 2289 0 0
T10 1369 1301 0 0
T11 1781 1724 0 0
T12 2045 1966 0 0
T22 1656 1590 0 0

Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[3].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
TOTAL3232100.00
ALWAYS5233100.00
ALWAYS552929100.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.CoveredStatements
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
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       104
 EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
             ------1------    ----------------------------2---------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T9,T10

FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[3].u_edn_ack_sm_ep
Summary for FSM :: state_q
TotalCoveredPercent
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 T9,T10,T36
DataWait 75 Covered T9,T10,T36
Disabled 107 Covered T1,T2,T3
EndPointClear 63 Covered T1,T2,T3
Error 99 Covered T2,T4,T6
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 T9,T10,T36
DataWait->AckPls 80 Covered T9,T10,T36
DataWait->Disabled 107 Covered T9,T36,T203
DataWait->Error 99 Covered T8,T138,T122
Disabled->EndPointClear 63 Covered T1,T2,T3
Disabled->Error 99 Covered T4,T17,T18
EndPointClear->Disabled 107 Covered T58,T201,T176
EndPointClear->Error 99 Covered T4,T6,T17
EndPointClear->Idle 68 Covered T1,T2,T3
Idle->DataWait 75 Covered T9,T10,T36
Idle->Disabled 107 Covered T1,T4,T9
Idle->Error 99 Covered T2,T15,T64



Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[3].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
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-StatusTests
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-StatusTests
Disabled 1 - - - Covered T1,T2,T3
Disabled 0 - - - Covered T1,T2,T3
EndPointClear - - - - Covered T1,T2,T3
Idle - 1 1 - Covered T9,T10,T36
Idle - 1 0 - Covered T9,T10,T36
Idle - 0 - - Covered T1,T2,T3
DataWait - - - 1 Covered T9,T10,T36
DataWait - - - 0 Covered T9,T10,T36
AckPls - - - - Covered T9,T10,T36
Error - - - - Covered T2,T4,T6
default - - - - Covered T4,T17,T18


LineNo. Expression -1-: 98 if (local_escalate_i) -2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))

Branches:
-1--2-StatusTests
1 - Covered T2,T4,T6
0 1 Covered T1,T9,T10
0 0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[3].u_edn_ack_sm_ep
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

Name   Attempts   Real Successes   Failures   Incomplete   
AckSmErrorStStable_A 227424630 164141 0 0
FpvSecCmErrorStEscalate_A 227424630 165442 0 0
u_state_regs_A 227424630 227222806 0 0


AckSmErrorStStable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 164141 0 0
T2 1742 1080 0 0
T3 4690 0 0 0
T4 25005 8850 0 0
T5 249098 0 0 0
T6 0 1100 0 0
T7 0 257 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1068 0 0
T16 0 462 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 394 0 0
T64 0 610 0 0
T65 0 1138 0 0
T66 0 1121 0 0

FpvSecCmErrorStEscalate_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 165442 0 0
T2 1742 1081 0 0
T3 4690 0 0 0
T4 25005 8980 0 0
T5 249098 0 0 0
T6 0 1101 0 0
T7 0 258 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1069 0 0
T16 0 463 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 395 0 0
T64 0 611 0 0
T65 0 1139 0 0
T66 0 1122 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 227222806 0 0
T1 1845 1762 0 0
T2 1742 1606 0 0
T3 4690 4619 0 0
T4 25005 14523 0 0
T5 249098 249085 0 0
T9 2373 2289 0 0
T10 1369 1301 0 0
T11 1781 1724 0 0
T12 2045 1966 0 0
T22 1656 1590 0 0

Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[4].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
TOTAL3232100.00
ALWAYS5233100.00
ALWAYS552929100.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.CoveredStatements
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
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       104
 EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
             ------1------    ----------------------------2---------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T9,T10

FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[4].u_edn_ack_sm_ep
Summary for FSM :: state_q
TotalCoveredPercent
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 T38,T39,T19
DataWait 75 Covered T38,T39,T19
Disabled 107 Covered T1,T2,T3
EndPointClear 63 Covered T1,T2,T3
Error 99 Covered T2,T4,T6
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 T38,T39,T19
DataWait->AckPls 80 Covered T38,T39,T19
DataWait->Disabled 107 Covered T110,T204,T205
DataWait->Error 99 Covered T206
Disabled->EndPointClear 63 Covered T1,T2,T3
Disabled->Error 99 Covered T4,T17,T18
EndPointClear->Disabled 107 Covered T58,T201,T176
EndPointClear->Error 99 Covered T4,T6,T17
EndPointClear->Idle 68 Covered T1,T2,T3
Idle->DataWait 75 Covered T38,T39,T19
Idle->Disabled 107 Covered T1,T4,T9
Idle->Error 99 Covered T2,T15,T64



Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[4].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
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-StatusTests
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-StatusTests
Disabled 1 - - - Covered T1,T2,T3
Disabled 0 - - - Covered T1,T2,T3
EndPointClear - - - - Covered T1,T2,T3
Idle - 1 1 - Covered T38,T39,T19
Idle - 1 0 - Covered T38,T39,T19
Idle - 0 - - Covered T1,T2,T3
DataWait - - - 1 Covered T38,T39,T19
DataWait - - - 0 Covered T38,T39,T19
AckPls - - - - Covered T38,T39,T19
Error - - - - Covered T2,T4,T6
default - - - - Covered T4,T17,T18


LineNo. Expression -1-: 98 if (local_escalate_i) -2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))

Branches:
-1--2-StatusTests
1 - Covered T2,T4,T6
0 1 Covered T1,T9,T10
0 0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[4].u_edn_ack_sm_ep
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

Name   Attempts   Real Successes   Failures   Incomplete   
AckSmErrorStStable_A 227424630 164141 0 0
FpvSecCmErrorStEscalate_A 227424630 165442 0 0
u_state_regs_A 227424630 227222806 0 0


AckSmErrorStStable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 164141 0 0
T2 1742 1080 0 0
T3 4690 0 0 0
T4 25005 8850 0 0
T5 249098 0 0 0
T6 0 1100 0 0
T7 0 257 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1068 0 0
T16 0 462 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 394 0 0
T64 0 610 0 0
T65 0 1138 0 0
T66 0 1121 0 0

FpvSecCmErrorStEscalate_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 165442 0 0
T2 1742 1081 0 0
T3 4690 0 0 0
T4 25005 8980 0 0
T5 249098 0 0 0
T6 0 1101 0 0
T7 0 258 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1069 0 0
T16 0 463 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 395 0 0
T64 0 611 0 0
T65 0 1139 0 0
T66 0 1122 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 227222806 0 0
T1 1845 1762 0 0
T2 1742 1606 0 0
T3 4690 4619 0 0
T4 25005 14523 0 0
T5 249098 249085 0 0
T9 2373 2289 0 0
T10 1369 1301 0 0
T11 1781 1724 0 0
T12 2045 1966 0 0
T22 1656 1590 0 0

Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[5].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
TOTAL3232100.00
ALWAYS5233100.00
ALWAYS552929100.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.CoveredStatements
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
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       104
 EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
             ------1------    ----------------------------2---------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T9,T10

FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[5].u_edn_ack_sm_ep
Summary for FSM :: state_q
TotalCoveredPercent
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 T3,T11,T38
DataWait 75 Covered T3,T11,T38
Disabled 107 Covered T1,T2,T3
EndPointClear 63 Covered T1,T2,T3
Error 99 Covered T2,T4,T6
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 T3,T11,T38
DataWait->AckPls 80 Covered T3,T11,T38
DataWait->Disabled 107 Covered T142,T168,T207
DataWait->Error 99 Covered T208,T120,T209
Disabled->EndPointClear 63 Covered T1,T2,T3
Disabled->Error 99 Covered T4,T17,T18
EndPointClear->Disabled 107 Covered T58,T201,T176
EndPointClear->Error 99 Covered T4,T6,T17
EndPointClear->Idle 68 Covered T1,T2,T3
Idle->DataWait 75 Covered T3,T11,T38
Idle->Disabled 107 Covered T1,T4,T9
Idle->Error 99 Covered T2,T15,T64



Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[5].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
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-StatusTests
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-StatusTests
Disabled 1 - - - Covered T1,T2,T3
Disabled 0 - - - Covered T1,T2,T3
EndPointClear - - - - Covered T1,T2,T3
Idle - 1 1 - Covered T3,T11,T38
Idle - 1 0 - Covered T3,T11,T38
Idle - 0 - - Covered T1,T2,T3
DataWait - - - 1 Covered T3,T11,T38
DataWait - - - 0 Covered T3,T11,T38
AckPls - - - - Covered T3,T11,T38
Error - - - - Covered T2,T4,T6
default - - - - Covered T4,T17,T18


LineNo. Expression -1-: 98 if (local_escalate_i) -2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))

Branches:
-1--2-StatusTests
1 - Covered T2,T4,T6
0 1 Covered T1,T9,T10
0 0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[5].u_edn_ack_sm_ep
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

Name   Attempts   Real Successes   Failures   Incomplete   
AckSmErrorStStable_A 227424630 164141 0 0
FpvSecCmErrorStEscalate_A 227424630 165442 0 0
u_state_regs_A 227424630 227222806 0 0


AckSmErrorStStable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 164141 0 0
T2 1742 1080 0 0
T3 4690 0 0 0
T4 25005 8850 0 0
T5 249098 0 0 0
T6 0 1100 0 0
T7 0 257 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1068 0 0
T16 0 462 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 394 0 0
T64 0 610 0 0
T65 0 1138 0 0
T66 0 1121 0 0

FpvSecCmErrorStEscalate_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 165442 0 0
T2 1742 1081 0 0
T3 4690 0 0 0
T4 25005 8980 0 0
T5 249098 0 0 0
T6 0 1101 0 0
T7 0 258 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1069 0 0
T16 0 463 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 395 0 0
T64 0 611 0 0
T65 0 1139 0 0
T66 0 1122 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 227222806 0 0
T1 1845 1762 0 0
T2 1742 1606 0 0
T3 4690 4619 0 0
T4 25005 14523 0 0
T5 249098 249085 0 0
T9 2373 2289 0 0
T10 1369 1301 0 0
T11 1781 1724 0 0
T12 2045 1966 0 0
T22 1656 1590 0 0

Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[2].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
TOTAL3232100.00
ALWAYS5233100.00
ALWAYS552929100.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.CoveredStatements
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
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       104
 EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
             ------1------    ----------------------------2---------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T9,T10

FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[2].u_edn_ack_sm_ep
Summary for FSM :: state_q
TotalCoveredPercent
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 T1,T10,T22
DataWait 75 Covered T1,T10,T22
Disabled 107 Covered T1,T2,T3
EndPointClear 63 Covered T1,T2,T3
Error 99 Covered T2,T4,T6
Idle 68 Covered T1,T2,T3


transitions   Line No.   Covered   Tests   
AckPls->Disabled 107 Covered T10
AckPls->Error 99 Not Covered
AckPls->Idle 85 Covered T1,T10,T22
DataWait->AckPls 80 Covered T1,T10,T22
DataWait->Disabled 107 Covered T210,T211
DataWait->Error 99 Covered T197,T55,T98
Disabled->EndPointClear 63 Covered T1,T2,T3
Disabled->Error 99 Covered T4,T17,T18
EndPointClear->Disabled 107 Covered T58,T201,T176
EndPointClear->Error 99 Covered T4,T6,T17
EndPointClear->Idle 68 Covered T1,T2,T3
Idle->DataWait 75 Covered T1,T10,T22
Idle->Disabled 107 Covered T1,T4,T9
Idle->Error 99 Covered T2,T15,T64



Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[2].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
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-StatusTests
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-StatusTests
Disabled 1 - - - Covered T1,T2,T3
Disabled 0 - - - Covered T1,T2,T3
EndPointClear - - - - Covered T1,T2,T3
Idle - 1 1 - Covered T1,T10,T22
Idle - 1 0 - Covered T1,T10,T22
Idle - 0 - - Covered T1,T2,T3
DataWait - - - 1 Covered T1,T10,T22
DataWait - - - 0 Covered T1,T10,T22
AckPls - - - - Covered T1,T10,T22
Error - - - - Covered T2,T4,T6
default - - - - Covered T4,T17,T18


LineNo. Expression -1-: 98 if (local_escalate_i) -2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))

Branches:
-1--2-StatusTests
1 - Covered T2,T4,T6
0 1 Covered T1,T9,T10
0 0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[2].u_edn_ack_sm_ep
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

Name   Attempts   Real Successes   Failures   Incomplete   
AckSmErrorStStable_A 227424630 164141 0 0
FpvSecCmErrorStEscalate_A 227424630 165442 0 0
u_state_regs_A 227424630 227222806 0 0


AckSmErrorStStable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 164141 0 0
T2 1742 1080 0 0
T3 4690 0 0 0
T4 25005 8850 0 0
T5 249098 0 0 0
T6 0 1100 0 0
T7 0 257 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1068 0 0
T16 0 462 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 394 0 0
T64 0 610 0 0
T65 0 1138 0 0
T66 0 1121 0 0

FpvSecCmErrorStEscalate_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 165442 0 0
T2 1742 1081 0 0
T3 4690 0 0 0
T4 25005 8980 0 0
T5 249098 0 0 0
T6 0 1101 0 0
T7 0 258 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1069 0 0
T16 0 463 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 395 0 0
T64 0 611 0 0
T65 0 1139 0 0
T66 0 1122 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 227222806 0 0
T1 1845 1762 0 0
T2 1742 1606 0 0
T3 4690 4619 0 0
T4 25005 14523 0 0
T5 249098 249085 0 0
T9 2373 2289 0 0
T10 1369 1301 0 0
T11 1781 1724 0 0
T12 2045 1966 0 0
T22 1656 1590 0 0

Line Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[6].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
TOTAL3232100.00
ALWAYS5233100.00
ALWAYS552929100.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.CoveredStatements
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
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       104
 EXPRESSION (((!enable_i)) && (state_q inside {EndPointClear, Idle, DataWait, AckPls}))
             ------1------    ----------------------------2---------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T9,T10

FSM Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[6].u_edn_ack_sm_ep
Summary for FSM :: state_q
TotalCoveredPercent
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 T19,T40,T41
DataWait 75 Covered T19,T40,T41
Disabled 107 Covered T1,T2,T3
EndPointClear 63 Covered T1,T2,T3
Error 99 Covered T2,T4,T6
Idle 68 Covered T1,T2,T3


transitions   Line No.   Covered   Tests   
AckPls->Disabled 107 Covered T200
AckPls->Error 99 Not Covered
AckPls->Idle 85 Covered T19,T40,T41
DataWait->AckPls 80 Covered T19,T40,T41
DataWait->Disabled 107 Covered T160,T161,T212
DataWait->Error 99 Covered T54,T107,T213
Disabled->EndPointClear 63 Covered T1,T2,T3
Disabled->Error 99 Covered T4,T17,T18
EndPointClear->Disabled 107 Covered T58,T201,T176
EndPointClear->Error 99 Covered T4,T6,T17
EndPointClear->Idle 68 Covered T1,T2,T3
Idle->DataWait 75 Covered T19,T40,T41
Idle->Disabled 107 Covered T1,T4,T9
Idle->Error 99 Covered T2,T15,T64



Branch Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[6].u_edn_ack_sm_ep
Line No.TotalCoveredPercent
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-StatusTests
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-StatusTests
Disabled 1 - - - Covered T1,T2,T3
Disabled 0 - - - Covered T1,T2,T3
EndPointClear - - - - Covered T1,T2,T3
Idle - 1 1 - Covered T19,T40,T41
Idle - 1 0 - Covered T19,T40,T41
Idle - 0 - - Covered T1,T2,T3
DataWait - - - 1 Covered T19,T40,T41
DataWait - - - 0 Covered T19,T40,T41
AckPls - - - - Covered T19,T40,T41
Error - - - - Covered T2,T4,T6
default - - - - Covered T4,T17,T18


LineNo. Expression -1-: 98 if (local_escalate_i) -2-: 104 if (((!enable_i) && (state_q inside {EndPointClear, Idle, DataWait, AckPls})))

Branches:
-1--2-StatusTests
1 - Covered T2,T4,T6
0 1 Covered T1,T9,T10
0 0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_edn_core.gen_ep_blk[6].u_edn_ack_sm_ep
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 3 3 100.00 3 100.00




Assertion Details

Name   Attempts   Real Successes   Failures   Incomplete   
AckSmErrorStStable_A 227424630 164141 0 0
FpvSecCmErrorStEscalate_A 227424630 165442 0 0
u_state_regs_A 227424630 227222806 0 0


AckSmErrorStStable_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 164141 0 0
T2 1742 1080 0 0
T3 4690 0 0 0
T4 25005 8850 0 0
T5 249098 0 0 0
T6 0 1100 0 0
T7 0 257 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1068 0 0
T16 0 462 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 394 0 0
T64 0 610 0 0
T65 0 1138 0 0
T66 0 1121 0 0

FpvSecCmErrorStEscalate_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 165442 0 0
T2 1742 1081 0 0
T3 4690 0 0 0
T4 25005 8980 0 0
T5 249098 0 0 0
T6 0 1101 0 0
T7 0 258 0 0
T9 2373 0 0 0
T10 1369 0 0 0
T11 1781 0 0 0
T12 2045 0 0 0
T15 0 1069 0 0
T16 0 463 0 0
T22 1656 0 0 0
T36 2197 0 0 0
T51 0 395 0 0
T64 0 611 0 0
T65 0 1139 0 0
T66 0 1122 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227424630 227222806 0 0
T1 1845 1762 0 0
T2 1742 1606 0 0
T3 4690 4619 0 0
T4 25005 14523 0 0
T5 249098 249085 0 0
T9 2373 2289 0 0
T10 1369 1301 0 0
T11 1781 1724 0 0
T12 2045 1966 0 0
T22 1656 1590 0 0