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

Module : lc_ctrl_state_decode
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.89 100.00 100.00 96.67

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_lc_ctrl_fsm.u_lc_ctrl_state_decode 98.89 100.00 100.00 96.67



Module Instance : tb.dut.u_lc_ctrl_fsm.u_lc_ctrl_state_decode

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.89 100.00 100.00 96.67


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.89 100.00 100.00 96.67


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
95.51 97.77 89.13 100.00 97.30 93.33 u_lc_ctrl_fsm


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_prim_sec_anchor_buf 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_state_decode
Line No.TotalCoveredPercent
TOTAL1616100.00
CONT_ASSIGN4311100.00
CONT_ASSIGN4311100.00
CONT_ASSIGN4311100.00
CONT_ASSIGN4311100.00
CONT_ASSIGN4311100.00
CONT_ASSIGN4311100.00
ALWAYS521010100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_state_decode.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_state_decode.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
43 6 6
52 1 1
53 1 1
54 1 1
55 1 1
57 1 1
59 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
MISSING_ELSE


Cond Coverage for Module : lc_ctrl_state_decode
TotalCoveredPercent
Conditions77100.00
Logical77100.00
Non-Logical00
Event00

 LINE       143
 EXPRESSION ((lc_state_i != LcStRaw) && (lc_cnt_i == LcCnt0))
             -----------1-----------    ----------2---------
-1--2-StatusTests
01CoveredT3,T4,T17
10CoveredT1,T2,T3
11CoveredT103,T104,T105

 LINE       143
 SUB-EXPRESSION (lc_state_i != LcStRaw)
                -----------1-----------
-1-StatusTests
0CoveredT1,T3,T9
1CoveredT1,T2,T3

 LINE       143
 SUB-EXPRESSION (lc_cnt_i == LcCnt0)
                ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T17

Branch Coverage for Module : lc_ctrl_state_decode
Line No.TotalCoveredPercent
Branches 60 58 96.67
CASE 57 60 58 96.67

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

LineNo. Expression -1-: 57 case (fsm_state_i) -2-: 75 case (lc_state_i) -3-: 101 case (lc_cnt_i) -4-: 132 case (secrets_valid_i) -5-: 143 if (((lc_state_i != LcStRaw) && (lc_cnt_i == LcCnt0))) -6-: 150 if ((lc_ctrl_pkg::lc_tx_test_true_strict(secrets_valid_i) && (!(lc_state_i inside {LcStDev, LcStProd, LcStProdEnd, LcStRma, LcStScrap}))))

Branches:
-1--2--3--4--5--6-StatusTests
ResetSt - - - - - Covered T1,T2,T3
EscalateSt - - - - - Covered T1,T4,T13
PostTransSt - - - - - Covered T1,T2,T3
InvalidSt - - - - - Covered T4,T21,T37
ScrapSt - - - - - Covered T4,T12,T37
default LcStRaw - - - - Covered T1,T3,T9
default LcStTestUnlocked0 - - - - Covered T1,T2,T3
default LcStTestLocked0 - - - - Covered T1,T3,T9
default LcStTestUnlocked1 - - - - Covered T1,T3,T9
default LcStTestLocked1 - - - - Covered T3,T9,T10
default LcStTestUnlocked2 - - - - Covered T1,T3,T9
default LcStTestLocked2 - - - - Covered T1,T3,T9
default LcStTestUnlocked3 - - - - Covered T1,T2,T3
default LcStTestLocked3 - - - - Covered T1,T3,T9
default LcStTestUnlocked4 - - - - Covered T1,T3,T9
default LcStTestLocked4 - - - - Covered T1,T3,T9
default LcStTestUnlocked5 - - - - Covered T1,T3,T9
default LcStTestLocked5 - - - - Covered T1,T3,T9
default LcStTestUnlocked6 - - - - Covered T1,T3,T9
default LcStTestLocked6 - - - - Covered T1,T2,T3
default LcStTestUnlocked7 - - - - Covered T1,T3,T9
default LcStDev - - - - Covered T1,T3,T9
default LcStProd - - - - Covered T1,T2,T3
default LcStProdEnd - - - - Covered T1,T3,T9
default LcStRma - - - - Covered T1,T2,T3
default LcStScrap - - - - Covered T4,T12,T37
default default - - - - Covered T4,T21,T37
default - LcCnt0 - - - Covered T3,T4,T17
default - LcCnt1 - - - Covered T1,T2,T3
default - LcCnt2 - - - Covered T1,T3,T9
default - LcCnt3 - - - Covered T3,T9,T10
default - LcCnt4 - - - Covered T1,T3,T9
default - LcCnt5 - - - Covered T1,T3,T9
default - LcCnt6 - - - Covered T1,T2,T3
default - LcCnt7 - - - Covered T1,T2,T3
default - LcCnt8 - - - Covered T1,T3,T9
default - LcCnt9 - - - Covered T1,T2,T3
default - LcCnt10 - - - Covered T1,T3,T9
default - LcCnt11 - - - Covered T3,T9,T10
default - LcCnt12 - - - Covered T1,T3,T9
default - LcCnt13 - - - Covered T1,T3,T9
default - LcCnt14 - - - Covered T1,T2,T3
default - LcCnt15 - - - Covered T1,T3,T9
default - LcCnt16 - - - Covered T1,T3,T9
default - LcCnt17 - - - Covered T1,T3,T9
default - LcCnt18 - - - Covered T1,T3,T9
default - LcCnt19 - - - Covered T1,T3,T9
default - LcCnt20 - - - Covered T1,T3,T9
default - LcCnt21 - - - Covered T1,T3,T9
default - LcCnt22 - - - Covered T1,T3,T9
default - LcCnt23 - - - Covered T3,T9,T10
default - LcCnt24 - - - Covered T4,T13,T36
default - default - - - Covered T4,T21,T37
default - - Off - - Covered T1,T2,T3
default - - On - - Not Covered
default - - default - - Covered T31,T42,T43
default - - - 1 - Covered T103,T104,T105
default - - - 0 - Covered T1,T2,T3
default - - - - 1 Not Covered
default - - - - 0 Covered T1,T2,T3

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