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 | T1,T8,T14 |
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 | T49,T50,T51 |
1 | 0 | Covered | T85,T87,T88 |
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 | T49,T50,T51 |
0 | 1 | 0 | Covered | T85,T87,T88 |
1 | 0 | 0 | Covered | T49,T50,T51 |
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 | T85,T87,T88 |
0 | 1 | 0 | Covered | T1,T8,T14 |
1 | 0 | 0 | Covered | T1,T8,T14 |
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 | T85,T90,T91 |
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,T7,T33 |
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,T33,T12 |
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 | T1,T8,T14 |
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,T33,T12 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T8,T14 |
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 | T1,T33,T58 |
0 | 1 | 0 | Covered | T1,T33,T12 |
1 | 0 | 0 | Covered | T1,T33,T12 |
LINE 225
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T7,T33 |
1 | 0 | Covered | T1,T7,T33 |
1 | 1 | Covered | T1,T33,T12 |
LINE 225
SUB-EXPRESSION (addr_hit[1] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T7,T33 |
1 | 0 | Covered | T1,T33,T52 |
1 | 1 | Covered | T1,T33,T12 |
LINE 225
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T7,T33 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T33,T58 |
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,T7,T33 |
1 | 1 | 0 | Covered | T1,T8,T14 |
1 | 1 | 1 | Covered | T33,T47,T48 |
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,T7,T33 |
1 | 1 | 0 | Covered | T1,T8,T14 |
1 | 1 | 1 | Covered | T85,T90,T91 |
LINE 238
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T33,T47,T48 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T1,T8,T14 |
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 |
T49,T50,T51 |
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 |
150561781 |
26974 |
0 |
0 |
T1 |
334305 |
2888 |
0 |
0 |
T2 |
345160 |
1 |
0 |
0 |
T3 |
82115 |
1 |
0 |
0 |
T4 |
181049 |
6 |
0 |
0 |
T6 |
101648 |
10 |
0 |
0 |
T7 |
6615 |
1 |
0 |
0 |
T12 |
50299 |
1 |
0 |
0 |
T23 |
191867 |
3 |
0 |
0 |
T33 |
1481 |
12 |
0 |
0 |
T34 |
47001 |
1 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150561781 |
26974 |
0 |
0 |
T1 |
334305 |
2888 |
0 |
0 |
T2 |
345160 |
1 |
0 |
0 |
T3 |
82115 |
1 |
0 |
0 |
T4 |
181049 |
6 |
0 |
0 |
T6 |
101648 |
10 |
0 |
0 |
T7 |
6615 |
1 |
0 |
0 |
T12 |
50299 |
1 |
0 |
0 |
T23 |
191867 |
3 |
0 |
0 |
T33 |
1481 |
12 |
0 |
0 |
T34 |
47001 |
1 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150561781 |
12257 |
0 |
0 |
T1 |
334305 |
1151 |
0 |
0 |
T2 |
345160 |
0 |
0 |
0 |
T3 |
82115 |
0 |
0 |
0 |
T4 |
181049 |
0 |
0 |
0 |
T6 |
101648 |
0 |
0 |
0 |
T7 |
6615 |
0 |
0 |
0 |
T8 |
0 |
825 |
0 |
0 |
T12 |
50299 |
0 |
0 |
0 |
T14 |
0 |
599 |
0 |
0 |
T19 |
0 |
2747 |
0 |
0 |
T23 |
191867 |
0 |
0 |
0 |
T33 |
1481 |
0 |
0 |
0 |
T34 |
47001 |
0 |
0 |
0 |
T55 |
0 |
352 |
0 |
0 |
T56 |
0 |
1139 |
0 |
0 |
T60 |
0 |
7 |
0 |
0 |
T85 |
0 |
63 |
0 |
0 |
T86 |
0 |
5 |
0 |
0 |
T90 |
0 |
3 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
150561781 |
14717 |
0 |
0 |
T1 |
334305 |
1737 |
0 |
0 |
T2 |
345160 |
1 |
0 |
0 |
T3 |
82115 |
1 |
0 |
0 |
T4 |
181049 |
6 |
0 |
0 |
T6 |
101648 |
10 |
0 |
0 |
T7 |
6615 |
1 |
0 |
0 |
T12 |
50299 |
1 |
0 |
0 |
T23 |
191867 |
3 |
0 |
0 |
T33 |
1481 |
12 |
0 |
0 |
T34 |
47001 |
1 |
0 |
0 |