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

Module : lc_ctrl_signal_decode
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.69 98.41 91.67 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_signal_decode.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_lc_ctrl_fsm.u_lc_ctrl_signal_decode 96.69 98.41 91.67 100.00



Module Instance : tb.dut.u_lc_ctrl_fsm.u_lc_ctrl_signal_decode

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.69 98.41 91.67 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.86 99.21 97.37 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
95.51 97.77 89.13 100.00 97.30 93.33 u_lc_ctrl_fsm


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_prim_flop_keymgr_div 100.00 100.00 100.00
u_prim_lc_sender_cpu_en 100.00 100.00 100.00
u_prim_lc_sender_creator_seed_sw_rw_en 100.00 100.00 100.00
u_prim_lc_sender_dft_en 100.00 100.00 100.00
u_prim_lc_sender_escalate_en 100.00 100.00 100.00
u_prim_lc_sender_hw_debug_en 100.00 100.00 100.00
u_prim_lc_sender_iso_part_sw_rd_en 100.00 100.00 100.00
u_prim_lc_sender_iso_part_sw_wr_en 100.00 100.00 100.00
u_prim_lc_sender_keymgr_en 100.00 100.00 100.00
u_prim_lc_sender_nvm_debug_en 100.00 100.00 100.00
u_prim_lc_sender_owner_seed_sw_rw_en 100.00 100.00 100.00
u_prim_lc_sender_raw_test_rma 100.00 100.00 100.00
u_prim_lc_sender_seed_hw_rd_en 100.00 100.00 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : lc_ctrl_signal_decode
Line No.TotalCoveredPercent
TOTAL636298.41
ALWAYS60626198.39
CONT_ASSIGN29611100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_signal_decode.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_signal_decode.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
66 1 1
67 1 1
68 1 1
69 1 1
70 1 1
72 1 1
74 1 1
76 1 1
79 1 1
92 1 1
93 1 1
104 1 1
116 1 1
117 1 1
118 1 1
119 1 1
120 1 1
121 1 1
122 1 1
129 1 1
130 1 1
131 1 1
132 1 1
133 1 1
134 1 1
140 1 1
141 1 1
142 1 1
143 1 1
144 1 1
145 1 1
149 1 1
152 1 1
159 1 1
160 1 1
161 1 1
162 1 1
163 1 1
164 1 1
168 1 1
171 1 1
176 1 1
177 1 1
178 1 1
179 1 1
180 1 1
181 1 1
182 1 1
183 1 1
184 1 1
185 1 1
186 1 1
187 1 1
197 0 1
204 1 1
211 1 1
296 1 1


Branch Coverage for Module : lc_ctrl_signal_decode
Line No.TotalCoveredPercent
Branches 12 11 91.67
CASE 76 12 11 91.67

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_signal_decode.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_signal_decode.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 76 case (fsm_state_i) -2-: 92 if (lc_state_valid_i) -3-: 93 case (lc_state_i)

Branches:
-1--2--3-StatusTests
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,T2,T3
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt 1 CASEITEM-2: LcStTestUnlocked0 LcStTestUnlocked1 LcStTestUnlocked2 LcStTestUnlocked3 LcStTestUnlocked4 LcStTestUnlocked5 LcStTestUnlocked6 Covered T1,T2,T3
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt 1 LcStTestUnlocked7 Covered T1,T3,T9
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt 1 LcStProd LcStProdEnd Covered T1,T2,T3
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt 1 LcStDev Covered T1,T3,T9
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt 1 LcStRma Covered T1,T2,T3
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt 1 default Covered T4,T12,T21
CASEITEM-2: IdleSt ClkMuxSt CntIncrSt CntProgSt TransCheckSt FlashRmaSt TokenHashSt TokenCheck0St TokenCheck1St TransProgSt 0 - Not Covered
PostTransSt - - Covered T1,T2,T3
ScrapSt EscalateSt InvalidSt - - Covered T1,T4,T12
default - - Covered T4,T21,T37


Assert Coverage for Module : lc_ctrl_signal_decode
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 7 7 100.00 7 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 7 7 100.00 7 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
FsmInScrap_A 224232107 42597808 0 0
LcKeymgrDivUnique0_A 1637 1637 0 0
LcKeymgrDivUnique1_A 1637 1637 0 0
LcKeymgrDivUnique2_A 1637 1637 0 0
LcKeymgrDivUnique3_A 1637 1637 0 0
SignalsAreOffWhenNotEnabled_A 224232107 4633961 0 0
StateInScrap_A 224232107 14126 0 0


FsmInScrap_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 224232107 42597808 0 0
T1 19066 9850 0 0
T2 11609 0 0 0
T3 23442 0 0 0
T4 316680 183342 0 0
T5 0 3789 0 0
T9 24884 0 0 0
T10 37876 0 0 0
T11 30731 0 0 0
T12 2283 222 0 0
T13 39159 1721 0 0
T14 2035 0 0 0
T21 0 722 0 0
T36 0 2065 0 0
T37 0 6994 0 0
T49 0 14777 0 0
T65 0 1637 0 0

LcKeymgrDivUnique0_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1637 1637 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0

LcKeymgrDivUnique1_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1637 1637 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0

LcKeymgrDivUnique2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1637 1637 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0

LcKeymgrDivUnique3_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1637 1637 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0

SignalsAreOffWhenNotEnabled_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 224232107 4633961 0 0
T1 19066 61 0 0
T2 11609 5 0 0
T3 23442 74 0 0
T4 316680 31578 0 0
T9 24884 74 0 0
T10 37876 94 0 0
T11 30731 97 0 0
T12 2283 5 0 0
T13 39159 91 0 0
T14 2035 3 0 0

StateInScrap_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 224232107 14126 0 0
T4 316680 58 0 0
T11 30731 0 0 0
T12 2283 1 0 0
T13 39159 0 0 0
T14 2035 0 0 0
T16 0 13 0 0
T17 0 194 0 0
T18 0 30 0 0
T19 0 3 0 0
T20 0 38 0 0
T21 6780 2 0 0
T33 958 0 0 0
T37 0 23 0 0
T60 31694 0 0 0
T62 39547 0 0 0
T92 1355 0 0 0
T93 0 22 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%