Line Coverage for Module :
lc_ctrl_state_decode
| Line No. | Total | Covered | Percent |
| TOTAL | | 16 | 16 | 100.00 |
| CONT_ASSIGN | 43 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 43 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 43 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 43 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 43 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 43 | 1 | 1 | 100.00 |
| ALWAYS | 52 | 10 | 10 | 100.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. | Covered | Statements | |
| 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
| Total | Covered | Percent |
| Conditions | 7 | 7 | 100.00 |
| Logical | 7 | 7 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 143
EXPRESSION ((lc_state_i != LcStRaw) && (lc_cnt_i == LcCnt0))
-----------1----------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T5,T18,T19 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T113,T114 |
LINE 143
SUB-EXPRESSION (lc_state_i != LcStRaw)
-----------1-----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 143
SUB-EXPRESSION (lc_cnt_i == LcCnt0)
----------1---------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T5,T18,T19 |
Branch Coverage for Module :
lc_ctrl_state_decode
| Line No. | Total | Covered | Percent |
| 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- | Status | Tests |
| ResetSt |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| EscalateSt |
- |
- |
- |
- |
- |
Covered |
T3,T10,T11 |
| PostTransSt |
- |
- |
- |
- |
- |
Covered |
T1,T2,T10 |
| InvalidSt |
- |
- |
- |
- |
- |
Covered |
T3,T10,T11 |
| ScrapSt |
- |
- |
- |
- |
- |
Covered |
T4,T17,T45 |
| default |
LcStRaw |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestUnlocked0 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestLocked0 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestUnlocked1 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestLocked1 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestUnlocked2 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestLocked2 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestUnlocked3 |
- |
- |
- |
- |
Covered |
T1,T2,T10 |
| default |
LcStTestLocked3 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestUnlocked4 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestLocked4 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestUnlocked5 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestLocked5 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestUnlocked6 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStTestLocked6 |
- |
- |
- |
- |
Covered |
T2,T3,T10 |
| default |
LcStTestUnlocked7 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStDev |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStProd |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStProdEnd |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStRma |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
LcStScrap |
- |
- |
- |
- |
Covered |
T4,T17,T45 |
| default |
default |
- |
- |
- |
- |
Covered |
T3,T11,T15 |
| default |
- |
LcCnt0 |
- |
- |
- |
Covered |
T5,T18,T19 |
| default |
- |
LcCnt1 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt2 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt3 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt4 |
- |
- |
- |
Covered |
T2,T3,T10 |
| default |
- |
LcCnt5 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt6 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt7 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt8 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt9 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt10 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt11 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt12 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt13 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt14 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt15 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt16 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt17 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt18 |
- |
- |
- |
Covered |
T1,T2,T10 |
| default |
- |
LcCnt19 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt20 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt21 |
- |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
LcCnt22 |
- |
- |
- |
Covered |
T2,T3,T10 |
| default |
- |
LcCnt23 |
- |
- |
- |
Covered |
T1,T3,T10 |
| default |
- |
LcCnt24 |
- |
- |
- |
Covered |
T4,T14,T5 |
| default |
- |
default |
- |
- |
- |
Covered |
T3,T11,T15 |
| default |
- |
- |
Off |
- |
- |
Covered |
T1,T2,T3 |
| default |
- |
- |
On |
- |
- |
Not Covered |
|
| default |
- |
- |
default |
- |
- |
Covered |
T10,T42,T43 |
| default |
- |
- |
- |
1 |
- |
Covered |
T113,T114 |
| default |
- |
- |
- |
0 |
- |
Covered |
T1,T2,T3 |
| default |
- |
- |
- |
- |
1 |
Not Covered |
|
| default |
- |
- |
- |
- |
0 |
Covered |
T1,T2,T3 |