Line Coverage for Module :
aon_timer_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 146 | 146 | 100.00 |
ALWAYS | 70 | 4 | 4 | 100.00 |
CONT_ASSIGN | 79 | 1 | 1 | 100.00 |
CONT_ASSIGN | 91 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 120 | 1 | 1 | 100.00 |
CONT_ASSIGN | 121 | 1 | 1 | 100.00 |
ALWAYS | 180 | 3 | 3 | 100.00 |
CONT_ASSIGN | 209 | 1 | 1 | 100.00 |
ALWAYS | 219 | 2 | 2 | 100.00 |
CONT_ASSIGN | 247 | 1 | 1 | 100.00 |
ALWAYS | 257 | 2 | 2 | 100.00 |
CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
ALWAYS | 298 | 4 | 4 | 100.00 |
CONT_ASSIGN | 328 | 1 | 1 | 100.00 |
ALWAYS | 341 | 4 | 4 | 100.00 |
CONT_ASSIGN | 371 | 1 | 1 | 100.00 |
ALWAYS | 383 | 3 | 3 | 100.00 |
CONT_ASSIGN | 412 | 1 | 1 | 100.00 |
ALWAYS | 423 | 2 | 2 | 100.00 |
CONT_ASSIGN | 451 | 1 | 1 | 100.00 |
ALWAYS | 462 | 2 | 2 | 100.00 |
CONT_ASSIGN | 490 | 1 | 1 | 100.00 |
ALWAYS | 503 | 4 | 4 | 100.00 |
CONT_ASSIGN | 533 | 1 | 1 | 100.00 |
ALWAYS | 546 | 4 | 4 | 100.00 |
CONT_ASSIGN | 576 | 1 | 1 | 100.00 |
CONT_ASSIGN | 583 | 1 | 1 | 100.00 |
CONT_ASSIGN | 597 | 1 | 1 | 100.00 |
CONT_ASSIGN | 714 | 1 | 1 | 100.00 |
CONT_ASSIGN | 744 | 1 | 1 | 100.00 |
CONT_ASSIGN | 803 | 1 | 1 | 100.00 |
CONT_ASSIGN | 862 | 1 | 1 | 100.00 |
CONT_ASSIGN | 893 | 1 | 1 | 100.00 |
CONT_ASSIGN | 923 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1010 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1025 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1041 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1046 | 1 | 1 | 100.00 |
ALWAYS | 1077 | 15 | 15 | 100.00 |
CONT_ASSIGN | 1094 | 1 | 1 | 100.00 |
ALWAYS | 1098 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1116 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1118 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1119 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1122 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1124 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1126 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1128 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1130 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1132 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1133 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1136 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1138 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1140 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1142 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1146 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1147 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1149 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1151 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1152 | 1 | 1 | 100.00 |
ALWAYS | 1157 | 15 | 15 | 100.00 |
ALWAYS | 1176 | 18 | 18 | 100.00 |
CONT_ASSIGN | 1238 | 1 | 1 | 100.00 |
ALWAYS | 1240 | 12 | 12 | 100.00 |
CONT_ASSIGN | 1285 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1286 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_aon_timer_0.1/rtl/aon_timer_reg_top.sv' or '../src/lowrisc_ip_aon_timer_0.1/rtl/aon_timer_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
70 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
|
|
|
MISSING_ELSE |
79 |
1 |
1 |
91 |
1 |
1 |
92 |
1 |
1 |
120 |
1 |
1 |
121 |
1 |
1 |
180 |
1 |
1 |
181 |
1 |
1 |
182 |
1 |
1 |
209 |
1 |
1 |
219 |
1 |
1 |
220 |
1 |
1 |
247 |
1 |
1 |
257 |
1 |
1 |
258 |
1 |
1 |
285 |
1 |
1 |
298 |
1 |
1 |
299 |
1 |
1 |
300 |
1 |
1 |
301 |
1 |
1 |
328 |
1 |
1 |
341 |
1 |
1 |
342 |
1 |
1 |
343 |
1 |
1 |
344 |
1 |
1 |
371 |
1 |
1 |
383 |
1 |
1 |
384 |
1 |
1 |
385 |
1 |
1 |
412 |
1 |
1 |
423 |
1 |
1 |
424 |
1 |
1 |
451 |
1 |
1 |
462 |
1 |
1 |
463 |
1 |
1 |
490 |
1 |
1 |
503 |
1 |
1 |
504 |
1 |
1 |
505 |
1 |
1 |
506 |
1 |
1 |
533 |
1 |
1 |
546 |
1 |
1 |
547 |
1 |
1 |
548 |
1 |
1 |
549 |
1 |
1 |
576 |
1 |
1 |
583 |
1 |
1 |
597 |
1 |
1 |
714 |
1 |
1 |
744 |
1 |
1 |
803 |
1 |
1 |
862 |
1 |
1 |
893 |
1 |
1 |
923 |
1 |
1 |
1010 |
1 |
1 |
1025 |
1 |
1 |
1041 |
1 |
1 |
1046 |
1 |
1 |
1077 |
1 |
1 |
1078 |
1 |
1 |
1079 |
1 |
1 |
1080 |
1 |
1 |
1081 |
1 |
1 |
1082 |
1 |
1 |
1083 |
1 |
1 |
1084 |
1 |
1 |
1085 |
1 |
1 |
1086 |
1 |
1 |
1087 |
1 |
1 |
1088 |
1 |
1 |
1089 |
1 |
1 |
1090 |
1 |
1 |
1091 |
1 |
1 |
1094 |
1 |
1 |
1098 |
1 |
1 |
1116 |
1 |
1 |
1118 |
1 |
1 |
1119 |
1 |
1 |
1122 |
1 |
1 |
1124 |
1 |
1 |
1126 |
1 |
1 |
1128 |
1 |
1 |
1130 |
1 |
1 |
1132 |
1 |
1 |
1133 |
1 |
1 |
1136 |
1 |
1 |
1138 |
1 |
1 |
1140 |
1 |
1 |
1142 |
1 |
1 |
1144 |
1 |
1 |
1146 |
1 |
1 |
1147 |
1 |
1 |
1149 |
1 |
1 |
1151 |
1 |
1 |
1152 |
1 |
1 |
1157 |
1 |
1 |
1158 |
1 |
1 |
1159 |
1 |
1 |
1160 |
1 |
1 |
1161 |
1 |
1 |
1162 |
1 |
1 |
1163 |
1 |
1 |
1164 |
1 |
1 |
1165 |
1 |
1 |
1166 |
1 |
1 |
1167 |
1 |
1 |
1168 |
1 |
1 |
1169 |
1 |
1 |
1170 |
1 |
1 |
1171 |
1 |
1 |
1176 |
1 |
1 |
1177 |
1 |
1 |
1179 |
1 |
1 |
1183 |
1 |
1 |
1186 |
1 |
1 |
1189 |
1 |
1 |
1192 |
1 |
1 |
1195 |
1 |
1 |
1198 |
1 |
1 |
1202 |
1 |
1 |
1205 |
1 |
1 |
1208 |
1 |
1 |
1211 |
1 |
1 |
1214 |
1 |
1 |
1215 |
1 |
1 |
1219 |
1 |
1 |
1220 |
1 |
1 |
1224 |
1 |
1 |
1238 |
1 |
1 |
1240 |
1 |
1 |
1241 |
1 |
1 |
1243 |
1 |
1 |
1246 |
1 |
1 |
1249 |
1 |
1 |
1252 |
1 |
1 |
1255 |
1 |
1 |
1258 |
1 |
1 |
1261 |
1 |
1 |
1264 |
1 |
1 |
1267 |
1 |
1 |
1270 |
1 |
1 |
1285 |
1 |
1 |
1286 |
1 |
1 |
Cond Coverage for Module :
aon_timer_reg_top
| Total | Covered | Percent |
Conditions | 174 | 171 | 98.28 |
Logical | 174 | 171 | 98.28 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 60
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T7,T11,T12 |
1 | 1 | Covered | T1,T2,T3 |
LINE 72
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T13,T14,T15 |
1 | 0 | Covered | T30,T31,T34 |
LINE 79
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 | T13,T14,T15 |
0 | 1 | 0 | Covered | T30,T31,T34 |
1 | 0 | 0 | Covered | T13,T14,T15 |
LINE 121
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 | T30,T31,T34 |
0 | 1 | 0 | Covered | T7,T11,T12 |
1 | 0 | 0 | Covered | T7,T11,T12 |
LINE 803
EXPRESSION (aon_wdog_ctrl_we & aon_wdog_ctrl_regwen)
--------1------- ----------2---------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T2,T3 |
LINE 862
EXPRESSION (aon_wdog_bark_thold_we & aon_wdog_bark_thold_regwen)
-----------1---------- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T7 |
1 | 1 | Covered | T1,T2,T3 |
LINE 893
EXPRESSION (aon_wdog_bite_thold_we & aon_wdog_bite_thold_regwen)
-----------1---------- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T7 |
1 | 1 | Covered | T1,T2,T3 |
LINE 1078
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_ALERT_TEST_OFFSET)
------------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T3,T7 |
LINE 1079
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_CTRL_OFFSET)
-----------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1080
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_THOLD_HI_OFFSET)
-------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1081
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_THOLD_LO_OFFSET)
-------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1082
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_COUNT_HI_OFFSET)
-------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1083
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_COUNT_LO_OFFSET)
-------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1084
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_REGWEN_OFFSET)
------------------------------1------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1085
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_CTRL_OFFSET)
-----------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1086
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_BARK_THOLD_OFFSET)
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1087
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_BITE_THOLD_OFFSET)
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1088
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WDOG_COUNT_OFFSET)
------------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1089
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_INTR_STATE_OFFSET)
------------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1090
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_INTR_TEST_OFFSET)
-----------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1091
EXPRESSION (reg_addr == aon_timer_reg_pkg::AON_TIMER_WKUP_CAUSE_OFFSET)
------------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1094
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1094
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,T2,T3 |
LINE 1098
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[11] & ((|(4'b1 & (~reg_be))))) | (addr_hit[12] & ((|(4'b1 & (~reg_be))))) | (addr_hit[13] & ((|(4'b1 & (~reg_be)))))))
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T7,T11,T12 |
LINE 1098
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b1 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) |
3 (addr_hit[2] & ((|(4'b1111 & (~reg_be))))) |
4 (addr_hit[3] & ((|(4'b1111 & (~reg_be))))) |
5 (addr_hit[4] & ((|(4'b1111 & (~reg_be))))) |
6 (addr_hit[5] & ((|(4'b1111 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b1 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b1 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) |
10 (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) |
11 (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) |
12 (addr_hit[11] & ((|(4'b1 & (~reg_be))))) |
13 (addr_hit[12] & ((|(4'b1 & (~reg_be))))) |
14 (addr_hit[13] & ((|(4'b1 & (~reg_be))))))
-1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | -14- | Status | Tests |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | Covered | T2,T3,T7 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | Covered | T1,T2,T4 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | Covered | T3,T7,T11 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | Covered | T2,T3,T7 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | Covered | T2,T3,T7 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T2,T7,T11 |
0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T7,T11,T12 |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T2,T3,T7 |
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T2,T3,T7 |
0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T3,T7,T11 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T2,T3,T7 |
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T2,T7,T11 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T2,T3,T7 |
LINE 1098
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T7 |
1 | 1 | Covered | T2,T3,T7 |
LINE 1098
SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T7,T11 |
LINE 1098
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T3,T7 |
LINE 1098
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T3,T7,T11 |
LINE 1098
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T3,T7 |
LINE 1098
SUB-EXPRESSION (addr_hit[5] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T3,T7 |
LINE 1098
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T7,T11,T12 |
LINE 1098
SUB-EXPRESSION (addr_hit[7] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T7,T11 |
LINE 1098
SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T3,T7 |
LINE 1098
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T3,T7 |
LINE 1098
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T3,T7,T11 |
LINE 1098
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T4 |
LINE 1098
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T1,T2,T3 |
LINE 1098
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T3,T7 |
LINE 1116
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 | T2,T3,T7 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T30,T33,T31 |
LINE 1119
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,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1122
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1124
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1126
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1128
EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1130
EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1133
EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1136
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1138
EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1140
EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1142
EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1147
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T4,T7 |
LINE 1152
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T7,T11,T12 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1238
EXPRESSION (reg_busy_sel | shadow_busy)
------1----- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
Branch Coverage for Module :
aon_timer_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
31 |
31 |
100.00 |
TERNARY |
1094 |
2 |
2 |
100.00 |
IF |
70 |
3 |
3 |
100.00 |
CASE |
1177 |
15 |
15 |
100.00 |
CASE |
1241 |
11 |
11 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_aon_timer_0.1/rtl/aon_timer_reg_top.sv' or '../src/lowrisc_ip_aon_timer_0.1/rtl/aon_timer_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 1094 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 70 if ((!rst_ni))
-2-: 72 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T13,T14,T15 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 1177 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 |
addr_hit[3] |
Covered |
T1,T2,T3 |
addr_hit[4] |
Covered |
T1,T2,T3 |
addr_hit[5] |
Covered |
T1,T2,T3 |
addr_hit[6] |
Covered |
T1,T2,T3 |
addr_hit[7] |
Covered |
T1,T2,T3 |
addr_hit[8] |
Covered |
T1,T2,T3 |
addr_hit[9] |
Covered |
T1,T2,T3 |
addr_hit[10] |
Covered |
T1,T2,T3 |
addr_hit[11] |
Covered |
T1,T2,T3 |
addr_hit[12] |
Covered |
T1,T2,T3 |
addr_hit[13] |
Covered |
T1,T2,T3 |
default |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 1241 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[1] |
Covered |
T1,T2,T3 |
addr_hit[2] |
Covered |
T1,T2,T3 |
addr_hit[3] |
Covered |
T1,T2,T3 |
addr_hit[4] |
Covered |
T1,T2,T3 |
addr_hit[5] |
Covered |
T1,T2,T3 |
addr_hit[7] |
Covered |
T1,T2,T3 |
addr_hit[8] |
Covered |
T1,T2,T3 |
addr_hit[9] |
Covered |
T1,T2,T3 |
addr_hit[10] |
Covered |
T1,T2,T3 |
addr_hit[13] |
Covered |
T1,T2,T3 |
default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
aon_timer_reg_top
Assertion Details
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
672405159 |
420293 |
0 |
0 |
T1 |
699378 |
270 |
0 |
0 |
T2 |
43008 |
22 |
0 |
0 |
T3 |
103732 |
20 |
0 |
0 |
T4 |
151556 |
283 |
0 |
0 |
T5 |
21187 |
22 |
0 |
0 |
T6 |
528250 |
20 |
0 |
0 |
T7 |
914193 |
9537 |
0 |
0 |
T8 |
633452 |
20 |
0 |
0 |
T9 |
462158 |
20 |
0 |
0 |
T10 |
179968 |
329 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
672405159 |
420293 |
0 |
0 |
T1 |
699378 |
270 |
0 |
0 |
T2 |
43008 |
22 |
0 |
0 |
T3 |
103732 |
20 |
0 |
0 |
T4 |
151556 |
283 |
0 |
0 |
T5 |
21187 |
22 |
0 |
0 |
T6 |
528250 |
20 |
0 |
0 |
T7 |
914193 |
9537 |
0 |
0 |
T8 |
633452 |
20 |
0 |
0 |
T9 |
462158 |
20 |
0 |
0 |
T10 |
179968 |
329 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
672405159 |
89510 |
0 |
0 |
T1 |
699378 |
24 |
0 |
0 |
T2 |
43008 |
1 |
0 |
0 |
T3 |
103732 |
1 |
0 |
0 |
T4 |
151556 |
31 |
0 |
0 |
T5 |
21187 |
1 |
0 |
0 |
T6 |
528250 |
1 |
0 |
0 |
T7 |
914193 |
1895 |
0 |
0 |
T8 |
633452 |
1 |
0 |
0 |
T9 |
462158 |
1 |
0 |
0 |
T10 |
179968 |
26 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
672405159 |
330783 |
0 |
0 |
T1 |
699378 |
246 |
0 |
0 |
T2 |
43008 |
21 |
0 |
0 |
T3 |
103732 |
19 |
0 |
0 |
T4 |
151556 |
252 |
0 |
0 |
T5 |
21187 |
21 |
0 |
0 |
T6 |
528250 |
19 |
0 |
0 |
T7 |
914193 |
7642 |
0 |
0 |
T8 |
633452 |
19 |
0 |
0 |
T9 |
462158 |
19 |
0 |
0 |
T10 |
179968 |
303 |
0 |
0 |