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 | T1,T2,T3 |
1 | 0 | Covered | T61,T59,T84 |
1 | 1 | Covered | T1,T2,T3 |
LINE 69
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T54,T55,T56 |
1 | 0 | Covered | T59,T60,T84 |
LINE 76
EXPRESSION (err_q | intg_err | reg_we_err)
--1-- ----2--- -----3----
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T54,T55,T56 |
0 | 1 | 0 | Covered | T59,T60,T84 |
1 | 0 | 0 | Covered | T54,T55,T56 |
LINE 118
EXPRESSION (addrmiss | wr_err | intg_err)
----1--- ---2-- ----3---
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T59,T60,T84 |
0 | 1 | 0 | Covered | T58,T61,T83 |
1 | 0 | 0 | Covered | T61,T83,T47 |
LINE 184
EXPRESSION (late_debug_enable_we & late_debug_enable_regwen_qs)
----------1--------- -------------2-------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T62,T59,T60 |
1 | 1 | Covered | T1,T2,T3 |
LINE 216
EXPRESSION (reg_addr == rv_dm_reg_pkg::RV_DM_ALERT_TEST_OFFSET)
--------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T44,T45 |
LINE 217
EXPRESSION (reg_addr == rv_dm_reg_pkg::RV_DM_LATE_DEBUG_ENABLE_REGWEN_OFFSET)
---------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T25,T93 |
LINE 218
EXPRESSION (reg_addr == rv_dm_reg_pkg::RV_DM_LATE_DEBUG_ENABLE_OFFSET)
-----------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 221
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 221
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T62,T58,T61 |
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 | T1,T44,T7 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T58,T61,T84 |
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 | T1,T2,T3 |
0 | 0 | 1 | Covered | T44,T25,T93 |
0 | 1 | 0 | Covered | T1,T25,T93 |
1 | 0 | 0 | Covered | T1,T44,T7 |
LINE 225
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T44,T25 |
1 | 0 | Covered | T1,T44,T45 |
1 | 1 | Covered | T1,T44,T7 |
LINE 225
SUB-EXPRESSION (addr_hit[1] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T44,T7 |
1 | 0 | Covered | T64,T42,T17 |
1 | 1 | Covered | T1,T25,T93 |
LINE 225
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T44,T45 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T44,T25,T93 |
LINE 232
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T44,T45 |
1 | 1 | 0 | Covered | T61,T60,T84 |
1 | 1 | 1 | Covered | T44,T45,T46 |
LINE 235
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T44,T25 |
1 | 1 | 0 | Covered | T58,T61,T84 |
1 | 1 | 1 | Covered | T62,T58,T63 |
LINE 238
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T44,T45,T46 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T61,T84,T86 |
1 | 1 | 1 | Covered | T1,T2,T3 |
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 |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 67 if ((!rst_ni))
-2-: 69 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T54,T55,T56 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 253 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T1,T2,T3 |
addr_hit[1] |
Covered |
T1,T2,T3 |
addr_hit[2] |
Covered |
T1,T2,T3 |
default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
rv_dm_regs_reg_top
Assertion Details
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
120321097 |
12235 |
0 |
0 |
T1 |
495871 |
3 |
0 |
0 |
T2 |
876695 |
1 |
0 |
0 |
T3 |
9364 |
1 |
0 |
0 |
T4 |
20683 |
1 |
0 |
0 |
T8 |
146065 |
1 |
0 |
0 |
T13 |
41975 |
1 |
0 |
0 |
T26 |
42312 |
1 |
0 |
0 |
T44 |
1481 |
8 |
0 |
0 |
T45 |
4708 |
2 |
0 |
0 |
T46 |
1513 |
12 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
120321097 |
12235 |
0 |
0 |
T1 |
495871 |
3 |
0 |
0 |
T2 |
876695 |
1 |
0 |
0 |
T3 |
9364 |
1 |
0 |
0 |
T4 |
20683 |
1 |
0 |
0 |
T8 |
146065 |
1 |
0 |
0 |
T13 |
41975 |
1 |
0 |
0 |
T26 |
42312 |
1 |
0 |
0 |
T44 |
1481 |
8 |
0 |
0 |
T45 |
4708 |
2 |
0 |
0 |
T46 |
1513 |
12 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
120321097 |
7367 |
0 |
0 |
T58 |
8516 |
6 |
0 |
0 |
T59 |
31150 |
32 |
0 |
0 |
T60 |
56685 |
35 |
0 |
0 |
T61 |
23166 |
5 |
0 |
0 |
T62 |
44768 |
33 |
0 |
0 |
T63 |
20717 |
19 |
0 |
0 |
T84 |
222514 |
66 |
0 |
0 |
T86 |
147214 |
63 |
0 |
0 |
T94 |
9412 |
9 |
0 |
0 |
T95 |
19986 |
10 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
120321097 |
4868 |
0 |
0 |
T1 |
495871 |
3 |
0 |
0 |
T2 |
876695 |
1 |
0 |
0 |
T3 |
9364 |
1 |
0 |
0 |
T4 |
20683 |
1 |
0 |
0 |
T8 |
146065 |
1 |
0 |
0 |
T13 |
41975 |
1 |
0 |
0 |
T26 |
42312 |
1 |
0 |
0 |
T44 |
1481 |
8 |
0 |
0 |
T45 |
4708 |
2 |
0 |
0 |
T46 |
1513 |
12 |
0 |
0 |