Line Coverage for Module :
rv_dm_regs_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 35 | 35 | 100.00 |
ALWAYS | 67 | 4 | 4 | 100.00 |
CONT_ASSIGN | 76 | 1 | 1 | 100.00 |
CONT_ASSIGN | 88 | 1 | 1 | 100.00 |
CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
CONT_ASSIGN | 117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 118 | 1 | 1 | 100.00 |
CONT_ASSIGN | 136 | 1 | 1 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 184 | 1 | 1 | 100.00 |
ALWAYS | 215 | 4 | 4 | 100.00 |
CONT_ASSIGN | 221 | 1 | 1 | 100.00 |
ALWAYS | 225 | 1 | 1 | 100.00 |
CONT_ASSIGN | 232 | 1 | 1 | 100.00 |
CONT_ASSIGN | 234 | 1 | 1 | 100.00 |
CONT_ASSIGN | 235 | 1 | 1 | 100.00 |
CONT_ASSIGN | 237 | 1 | 1 | 100.00 |
CONT_ASSIGN | 238 | 1 | 1 | 100.00 |
CONT_ASSIGN | 240 | 1 | 1 | 100.00 |
ALWAYS | 244 | 4 | 4 | 100.00 |
ALWAYS | 252 | 5 | 5 | 100.00 |
CONT_ASSIGN | 277 | 0 | 0 | |
CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
CONT_ASSIGN | 286 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_rv_dm_0.1/rtl/rv_dm_regs_reg_top.sv' or '../src/lowrisc_ip_rv_dm_0.1/rtl/rv_dm_regs_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
67 |
1 |
1 |
68 |
1 |
1 |
69 |
1 |
1 |
70 |
1 |
1 |
|
|
|
MISSING_ELSE |
76 |
1 |
1 |
88 |
1 |
1 |
89 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
136 |
1 |
1 |
150 |
1 |
1 |
184 |
1 |
1 |
215 |
1 |
1 |
216 |
1 |
1 |
217 |
1 |
1 |
218 |
1 |
1 |
221 |
1 |
1 |
225 |
1 |
1 |
232 |
1 |
1 |
234 |
1 |
1 |
235 |
1 |
1 |
237 |
1 |
1 |
238 |
1 |
1 |
240 |
1 |
1 |
244 |
1 |
1 |
245 |
1 |
1 |
246 |
1 |
1 |
247 |
1 |
1 |
252 |
1 |
1 |
253 |
1 |
1 |
255 |
1 |
1 |
259 |
1 |
1 |
263 |
1 |
1 |
277 |
|
unreachable |
285 |
1 |
1 |
286 |
1 |
1 |
Cond Coverage for Module :
rv_dm_regs_reg_top
| Total | Covered | Percent |
Conditions | 56 | 56 | 100.00 |
Logical | 56 | 56 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 57
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T8,T1,T2 |
1 | 0 | Covered | T67,T68,T84 |
1 | 1 | Covered | T8,T1,T2 |
LINE 69
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T1,T2 |
0 | 1 | Covered | T42,T43,T44 |
1 | 0 | Covered | T85,T86,T126 |
LINE 76
EXPRESSION (err_q | intg_err | reg_we_err)
--1-- ----2--- -----3----
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T8,T1,T2 |
0 | 0 | 1 | Covered | T42,T43,T44 |
0 | 1 | 0 | Covered | T85,T86,T126 |
1 | 0 | 0 | Covered | T42,T43,T44 |
LINE 118
EXPRESSION (addrmiss | wr_err | intg_err)
----1--- ---2-- ----3---
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T8,T1,T2 |
0 | 0 | 1 | Covered | T85,T86,T126 |
0 | 1 | 0 | Covered | T67,T64,T68 |
1 | 0 | 0 | Covered | T67,T68,T84 |
LINE 184
EXPRESSION (late_debug_enable_we & late_debug_enable_regwen_qs)
----------1--------- -------------2-------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T8,T1,T2 |
1 | 0 | Covered | T70,T65,T69 |
1 | 1 | Covered | T8,T1,T9 |
LINE 216
EXPRESSION (reg_addr == rv_dm_reg_pkg::RV_DM_ALERT_TEST_OFFSET)
--------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T8,T1,T2 |
1 | Covered | T2,T3,T15 |
LINE 217
EXPRESSION (reg_addr == rv_dm_reg_pkg::RV_DM_LATE_DEBUG_ENABLE_REGWEN_OFFSET)
---------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T8,T1,T2 |
1 | Covered | T2,T15,T27 |
LINE 218
EXPRESSION (reg_addr == rv_dm_reg_pkg::RV_DM_LATE_DEBUG_ENABLE_OFFSET)
-----------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T8,T1,T2 |
1 | Covered | T8,T1,T2 |
LINE 221
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
-1- | Status | Tests |
0 | Covered | T8,T1,T2 |
1 | Covered | T8,T1,T2 |
LINE 221
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
-1- | -2- | Status | Tests |
0 | 0 | Covered | T8,T1,T2 |
0 | 1 | Covered | T8,T1,T2 |
1 | 0 | Covered | T67,T64,T70 |
LINE 225
EXPRESSION (reg_we & ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b1 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1111 & (~reg_be)))))))
---1-- ----------------------------------------------------------------2---------------------------------------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T8,T1,T2 |
1 | 0 | Covered | T8,T1,T2 |
1 | 1 | Covered | T67,T64,T68 |
LINE 225
SUB-EXPRESSION ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b1 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1111 & (~reg_be))))))
-------------------1------------------- -------------------2------------------- ---------------------3--------------------
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T8,T1,T2 |
0 | 0 | 1 | Covered | T8,T1,T2 |
0 | 1 | 0 | Covered | T2,T27,T53 |
1 | 0 | 0 | Covered | T2,T15,T5 |
LINE 225
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T8,T1,T2 |
1 | 0 | Covered | T2,T3,T27 |
1 | 1 | Covered | T2,T15,T5 |
LINE 225
SUB-EXPRESSION (addr_hit[1] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T8,T1,T2 |
1 | 0 | Covered | T2,T15,T27 |
1 | 1 | Covered | T2,T27,T53 |
LINE 225
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T8,T1,T2 |
1 | 0 | Covered | T8,T1,T2 |
1 | 1 | Covered | T8,T1,T2 |
LINE 232
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T8,T1,T9 |
1 | 0 | 1 | Covered | T2,T3,T15 |
1 | 1 | 0 | Covered | T67,T64,T68 |
1 | 1 | 1 | Covered | T2,T3,T54 |
LINE 235
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T8,T1,T2 |
1 | 0 | 1 | Covered | T8,T2,T15 |
1 | 1 | 0 | Covered | T67,T64,T68 |
1 | 1 | 1 | Covered | T64,T70,T65 |
LINE 238
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T2,T3,T54 |
1 | 0 | 1 | Covered | T8,T1,T2 |
1 | 1 | 0 | Covered | T68,T86,T46 |
1 | 1 | 1 | Covered | T8,T1,T9 |
Branch Coverage for Module :
rv_dm_regs_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
9 |
9 |
100.00 |
TERNARY |
221 |
2 |
2 |
100.00 |
IF |
67 |
3 |
3 |
100.00 |
CASE |
253 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_rv_dm_0.1/rtl/rv_dm_regs_reg_top.sv' or '../src/lowrisc_ip_rv_dm_0.1/rtl/rv_dm_regs_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 221 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T8,T1,T2 |
0 |
Covered |
T8,T1,T2 |
LineNo. Expression
-1-: 67 if ((!rst_ni))
-2-: 69 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T8,T1,T2 |
0 |
1 |
Covered |
T42,T43,T44 |
0 |
0 |
Covered |
T8,T1,T2 |
LineNo. Expression
-1-: 253 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T2,T3,T9 |
addr_hit[1] |
Covered |
T2,T3,T9 |
addr_hit[2] |
Covered |
T8,T1,T2 |
default |
Covered |
T8,T1,T2 |
Assert Coverage for Module :
rv_dm_regs_reg_top
Assertion Details
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
119559085 |
10608 |
0 |
0 |
T1 |
207778 |
1 |
0 |
0 |
T2 |
1689 |
23 |
0 |
0 |
T3 |
2382 |
8 |
0 |
0 |
T4 |
15604 |
1 |
0 |
0 |
T7 |
0 |
1 |
0 |
0 |
T8 |
7884 |
1 |
0 |
0 |
T9 |
599390 |
4 |
0 |
0 |
T15 |
266101 |
3 |
0 |
0 |
T24 |
633010 |
7 |
0 |
0 |
T26 |
133436 |
0 |
0 |
0 |
T39 |
145961 |
1 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
119559085 |
10608 |
0 |
0 |
T1 |
207778 |
1 |
0 |
0 |
T2 |
1689 |
23 |
0 |
0 |
T3 |
2382 |
8 |
0 |
0 |
T4 |
15604 |
1 |
0 |
0 |
T7 |
0 |
1 |
0 |
0 |
T8 |
7884 |
1 |
0 |
0 |
T9 |
599390 |
4 |
0 |
0 |
T15 |
266101 |
3 |
0 |
0 |
T24 |
633010 |
7 |
0 |
0 |
T26 |
133436 |
0 |
0 |
0 |
T39 |
145961 |
1 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
119559085 |
6313 |
0 |
0 |
T64 |
19584 |
12 |
0 |
0 |
T65 |
6572 |
6 |
0 |
0 |
T66 |
26590 |
6 |
0 |
0 |
T67 |
9494 |
9 |
0 |
0 |
T68 |
25998 |
1 |
0 |
0 |
T69 |
14843 |
42 |
0 |
0 |
T70 |
7966 |
3 |
0 |
0 |
T84 |
17127 |
6 |
0 |
0 |
T91 |
9160 |
10 |
0 |
0 |
T92 |
4132 |
3 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
119559085 |
4295 |
0 |
0 |
T1 |
207778 |
1 |
0 |
0 |
T2 |
1689 |
23 |
0 |
0 |
T3 |
2382 |
8 |
0 |
0 |
T4 |
15604 |
1 |
0 |
0 |
T7 |
0 |
1 |
0 |
0 |
T8 |
7884 |
1 |
0 |
0 |
T9 |
599390 |
4 |
0 |
0 |
T15 |
266101 |
3 |
0 |
0 |
T24 |
633010 |
7 |
0 |
0 |
T26 |
133436 |
0 |
0 |
0 |
T39 |
145961 |
1 |
0 |
0 |