Line Coverage for Module :
edn_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 142 | 142 | 100.00 |
ALWAYS | 68 | 4 | 4 | 100.00 |
CONT_ASSIGN | 77 | 1 | 1 | 100.00 |
CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
CONT_ASSIGN | 90 | 1 | 1 | 100.00 |
CONT_ASSIGN | 118 | 1 | 1 | 100.00 |
CONT_ASSIGN | 119 | 1 | 1 | 100.00 |
CONT_ASSIGN | 310 | 1 | 1 | 100.00 |
CONT_ASSIGN | 325 | 1 | 1 | 100.00 |
CONT_ASSIGN | 341 | 1 | 1 | 100.00 |
CONT_ASSIGN | 347 | 1 | 1 | 100.00 |
CONT_ASSIGN | 362 | 1 | 1 | 100.00 |
CONT_ASSIGN | 378 | 1 | 1 | 100.00 |
CONT_ASSIGN | 412 | 1 | 1 | 100.00 |
CONT_ASSIGN | 581 | 1 | 1 | 100.00 |
CONT_ASSIGN | 595 | 1 | 1 | 100.00 |
CONT_ASSIGN | 657 | 1 | 1 | 100.00 |
CONT_ASSIGN | 671 | 1 | 1 | 100.00 |
CONT_ASSIGN | 677 | 1 | 1 | 100.00 |
CONT_ASSIGN | 691 | 1 | 1 | 100.00 |
CONT_ASSIGN | 731 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1153 | 1 | 1 | 100.00 |
ALWAYS | 1187 | 18 | 18 | 100.00 |
CONT_ASSIGN | 1207 | 1 | 1 | 100.00 |
ALWAYS | 1211 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1232 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1234 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1236 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1237 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1239 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1241 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1242 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1244 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1246 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1247 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1249 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1251 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1252 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1254 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1255 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1257 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1259 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1261 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1263 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1264 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1266 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1267 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1269 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1270 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1272 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1273 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1275 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1276 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1278 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1279 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1281 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1282 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1284 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1286 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1288 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1290 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1292 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1293 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1295 | 1 | 1 | 100.00 |
ALWAYS | 1299 | 18 | 18 | 100.00 |
ALWAYS | 1321 | 39 | 39 | 100.00 |
CONT_ASSIGN | 1422 | 0 | 0 | |
CONT_ASSIGN | 1430 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1431 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_reg_top.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
68 |
1 |
1 |
69 |
1 |
1 |
70 |
1 |
1 |
71 |
1 |
1 |
|
|
|
MISSING_ELSE |
77 |
1 |
1 |
89 |
1 |
1 |
90 |
1 |
1 |
118 |
1 |
1 |
119 |
1 |
1 |
310 |
1 |
1 |
325 |
1 |
1 |
341 |
1 |
1 |
347 |
1 |
1 |
362 |
1 |
1 |
378 |
1 |
1 |
412 |
1 |
1 |
581 |
1 |
1 |
595 |
1 |
1 |
657 |
1 |
1 |
671 |
1 |
1 |
677 |
1 |
1 |
691 |
1 |
1 |
731 |
1 |
1 |
1153 |
1 |
1 |
1187 |
1 |
1 |
1188 |
1 |
1 |
1189 |
1 |
1 |
1190 |
1 |
1 |
1191 |
1 |
1 |
1192 |
1 |
1 |
1193 |
1 |
1 |
1194 |
1 |
1 |
1195 |
1 |
1 |
1196 |
1 |
1 |
1197 |
1 |
1 |
1198 |
1 |
1 |
1199 |
1 |
1 |
1200 |
1 |
1 |
1201 |
1 |
1 |
1202 |
1 |
1 |
1203 |
1 |
1 |
1204 |
1 |
1 |
1207 |
1 |
1 |
1211 |
1 |
1 |
1232 |
1 |
1 |
1234 |
1 |
1 |
1236 |
1 |
1 |
1237 |
1 |
1 |
1239 |
1 |
1 |
1241 |
1 |
1 |
1242 |
1 |
1 |
1244 |
1 |
1 |
1246 |
1 |
1 |
1247 |
1 |
1 |
1249 |
1 |
1 |
1251 |
1 |
1 |
1252 |
1 |
1 |
1254 |
1 |
1 |
1255 |
1 |
1 |
1257 |
1 |
1 |
1259 |
1 |
1 |
1261 |
1 |
1 |
1263 |
1 |
1 |
1264 |
1 |
1 |
1266 |
1 |
1 |
1267 |
1 |
1 |
1269 |
1 |
1 |
1270 |
1 |
1 |
1272 |
1 |
1 |
1273 |
1 |
1 |
1275 |
1 |
1 |
1276 |
1 |
1 |
1278 |
1 |
1 |
1279 |
1 |
1 |
1281 |
1 |
1 |
1282 |
1 |
1 |
1284 |
1 |
1 |
1286 |
1 |
1 |
1288 |
1 |
1 |
1290 |
1 |
1 |
1292 |
1 |
1 |
1293 |
1 |
1 |
1295 |
1 |
1 |
1299 |
1 |
1 |
1300 |
1 |
1 |
1301 |
1 |
1 |
1302 |
1 |
1 |
1303 |
1 |
1 |
1304 |
1 |
1 |
1305 |
1 |
1 |
1306 |
1 |
1 |
1307 |
1 |
1 |
1308 |
1 |
1 |
1309 |
1 |
1 |
1310 |
1 |
1 |
1311 |
1 |
1 |
1312 |
1 |
1 |
1313 |
1 |
1 |
1314 |
1 |
1 |
1315 |
1 |
1 |
1316 |
1 |
1 |
1321 |
1 |
1 |
1322 |
1 |
1 |
1324 |
1 |
1 |
1325 |
1 |
1 |
1329 |
1 |
1 |
1330 |
1 |
1 |
1334 |
1 |
1 |
1335 |
1 |
1 |
1339 |
1 |
1 |
1340 |
1 |
1 |
1344 |
1 |
1 |
1348 |
1 |
1 |
1349 |
1 |
1 |
1350 |
1 |
1 |
1351 |
1 |
1 |
1355 |
1 |
1 |
1359 |
1 |
1 |
1363 |
1 |
1 |
1367 |
1 |
1 |
1368 |
1 |
1 |
1372 |
1 |
1 |
1376 |
1 |
1 |
1380 |
1 |
1 |
1384 |
1 |
1 |
1385 |
1 |
1 |
1386 |
1 |
1 |
1387 |
1 |
1 |
1388 |
1 |
1 |
1392 |
1 |
1 |
1393 |
1 |
1 |
1394 |
1 |
1 |
1395 |
1 |
1 |
1396 |
1 |
1 |
1397 |
1 |
1 |
1398 |
1 |
1 |
1399 |
1 |
1 |
1400 |
1 |
1 |
1404 |
1 |
1 |
1408 |
1 |
1 |
1422 |
|
unreachable |
1430 |
1 |
1 |
1431 |
1 |
1 |
Cond Coverage for Module :
edn_reg_top
| Total | Covered | Percent |
Conditions | 184 | 184 | 100.00 |
Logical | 184 | 184 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 58
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T24,T25,T135 |
1 | 1 | Covered | T17,T18,T19 |
LINE 70
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T17,T18,T19 |
0 | 1 | Covered | T14,T27,T28 |
1 | 0 | Covered | T24,T135,T136 |
LINE 77
EXPRESSION (err_q | intg_err | reg_we_err)
--1-- ----2--- -----3----
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T17,T18,T19 |
0 | 0 | 1 | Covered | T14,T27,T28 |
0 | 1 | 0 | Covered | T24,T135,T136 |
1 | 0 | 0 | Covered | T24,T135,T136 |
LINE 119
EXPRESSION (addrmiss | wr_err | intg_err)
----1--- ---2-- ----3---
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T17,T18,T19 |
0 | 0 | 1 | Covered | T24,T135,T136 |
0 | 1 | 0 | Covered | T134,T139,T140 |
1 | 0 | 0 | Covered | T25,T139,T140 |
LINE 412
EXPRESSION (ctrl_we & regwen_qs)
---1--- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T194,T195,T196 |
1 | 1 | Covered | T1,T2,T3 |
LINE 1188
EXPRESSION (reg_addr == edn_reg_pkg::EDN_INTR_STATE_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T17,T18,T19 |
LINE 1189
EXPRESSION (reg_addr == edn_reg_pkg::EDN_INTR_ENABLE_OFFSET)
------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T17,T18,T19 |
LINE 1190
EXPRESSION (reg_addr == edn_reg_pkg::EDN_INTR_TEST_OFFSET)
-----------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T17,T18,T19 |
LINE 1191
EXPRESSION (reg_addr == edn_reg_pkg::EDN_ALERT_TEST_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T22,T23 |
LINE 1192
EXPRESSION (reg_addr == edn_reg_pkg::EDN_REGWEN_OFFSET)
----------------------1---------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T22,T23 |
LINE 1193
EXPRESSION (reg_addr == edn_reg_pkg::EDN_CTRL_OFFSET)
---------------------1--------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T23,T25 |
LINE 1194
EXPRESSION (reg_addr == edn_reg_pkg::EDN_BOOT_INS_CMD_OFFSET)
-------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T23,T25 |
LINE 1195
EXPRESSION (reg_addr == edn_reg_pkg::EDN_BOOT_GEN_CMD_OFFSET)
-------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T23,T25 |
LINE 1196
EXPRESSION (reg_addr == edn_reg_pkg::EDN_SW_CMD_REQ_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T22,T23 |
LINE 1197
EXPRESSION (reg_addr == edn_reg_pkg::EDN_SW_CMD_STS_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T22,T23 |
LINE 1198
EXPRESSION (reg_addr == edn_reg_pkg::EDN_RESEED_CMD_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T22,T23 |
LINE 1199
EXPRESSION (reg_addr == edn_reg_pkg::EDN_GENERATE_CMD_OFFSET)
-------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T22,T23 |
LINE 1200
EXPRESSION (reg_addr == edn_reg_pkg::EDN_MAX_NUM_REQS_BETWEEN_RESEEDS_OFFSET)
---------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T22,T23 |
LINE 1201
EXPRESSION (reg_addr == edn_reg_pkg::EDN_RECOV_ALERT_STS_OFFSET)
--------------------------1--------------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T22,T23 |
LINE 1202
EXPRESSION (reg_addr == edn_reg_pkg::EDN_ERR_CODE_OFFSET)
-----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T22,T23 |
LINE 1203
EXPRESSION (reg_addr == edn_reg_pkg::EDN_ERR_CODE_TEST_OFFSET)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T23,T25 |
LINE 1204
EXPRESSION (reg_addr == edn_reg_pkg::EDN_MAIN_SM_STATE_OFFSET)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T20,T22,T23 |
LINE 1207
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
-1- | Status | Tests |
0 | Covered | T17,T18,T19 |
1 | Covered | T17,T18,T19 |
LINE 1207
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
-1- | -2- | Status | Tests |
0 | 0 | Covered | T17,T18,T19 |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T17,T18,T19 |
LINE 1211
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b1 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[13] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1 & (~reg_be))))) | (addr_hit[16] & ((|(4'b0011 & (~reg_be)))))))
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T17,T18,T19 |
1 | 1 | Covered | T134,T135,T136 |
LINE 1211
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b1 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b1 & (~reg_be))))) |
3 (addr_hit[2] & ((|(4'b1 & (~reg_be))))) |
4 (addr_hit[3] & ((|(4'b1 & (~reg_be))))) |
5 (addr_hit[4] & ((|(4'b1 & (~reg_be))))) |
6 (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) |
10 (addr_hit[9] & ((|(4'b1 & (~reg_be))))) |
11 (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) |
12 (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) |
13 (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) |
14 (addr_hit[13] & ((|(4'b0011 & (~reg_be))))) |
15 (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) |
16 (addr_hit[15] & ((|(4'b1 & (~reg_be))))) |
17 (addr_hit[16] & ((|(4'b0011 & (~reg_be))))))
-1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | -14- | -15- | -16- | -17- | Status | Tests |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T17,T18,T19 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | Covered | T23,T24,T25 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | Covered | T23,T25,T134 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | Covered | T22,T23,T24 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | Covered | T25,T135,T151 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | Covered | T23,T24,T25 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | Covered | T23,T24,T25 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T23,T24,T25 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T25,T134,T152 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T23,T24,T25 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T25,T134,T136 |
0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T23,T25,T134 |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T23,T25,T134 |
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T23,T24,T25 |
0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T23,T24,T25 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T17,T18,T19 |
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T17,T18,T21 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T17,T18,T19 |
LINE 1211
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T17,T18,T19 |
1 | 1 | Covered | T17,T18,T19 |
LINE 1211
SUB-EXPRESSION (addr_hit[1] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T17,T18,T19 |
1 | 1 | Covered | T17,T18,T21 |
LINE 1211
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T17,T18,T19 |
1 | 1 | Covered | T17,T18,T19 |
LINE 1211
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T22,T23 |
1 | 1 | Covered | T23,T24,T25 |
LINE 1211
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T22,T23 |
1 | 1 | Covered | T23,T24,T25 |
LINE 1211
SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T23,T25 |
1 | 1 | Covered | T23,T25,T134 |
LINE 1211
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T23,T25 |
1 | 1 | Covered | T23,T25,T134 |
LINE 1211
SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T23,T25 |
1 | 1 | Covered | T25,T134,T136 |
LINE 1211
SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T22,T23 |
1 | 1 | Covered | T23,T24,T25 |
LINE 1211
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T22,T23 |
1 | 1 | Covered | T25,T134,T152 |
LINE 1211
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T22,T23 |
1 | 1 | Covered | T23,T24,T25 |
LINE 1211
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T22,T23 |
1 | 1 | Covered | T23,T24,T25 |
LINE 1211
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T22,T23 |
1 | 1 | Covered | T23,T24,T25 |
LINE 1211
SUB-EXPRESSION (addr_hit[13] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T22,T23 |
1 | 1 | Covered | T25,T135,T151 |
LINE 1211
SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T22,T23 |
1 | 1 | Covered | T22,T23,T24 |
LINE 1211
SUB-EXPRESSION (addr_hit[15] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T23,T25 |
1 | 1 | Covered | T23,T25,T134 |
LINE 1211
SUB-EXPRESSION (addr_hit[16] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T17,T18,T19 |
1 | 0 | Covered | T20,T22,T23 |
1 | 1 | Covered | T23,T24,T25 |
LINE 1232
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T17,T18,T19 |
1 | 1 | 0 | Covered | T140,T158,T163 |
1 | 1 | 1 | Covered | T17,T18,T19 |
LINE 1237
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T17,T18,T19 |
1 | 1 | 0 | Covered | T137,T140,T158 |
1 | 1 | 1 | Covered | T17,T18,T19 |
LINE 1242
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T17,T18,T19 |
1 | 1 | 0 | Covered | T139,T163,T146 |
1 | 1 | 1 | Covered | T17,T18,T19 |
LINE 1247
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T22,T23 |
1 | 1 | 0 | Covered | T139,T140,T147 |
1 | 1 | 1 | Covered | T20,T22,T23 |
LINE 1252
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T22,T23 |
1 | 1 | 0 | Covered | T139,T140,T163 |
1 | 1 | 1 | Covered | T20,T22,T23 |
LINE 1255
EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T23,T25 |
1 | 1 | 0 | Covered | T140,T155,T147 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1264
EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T23,T25 |
1 | 1 | 0 | Covered | T140,T160,T163 |
1 | 1 | 1 | Covered | T32,T4,T30 |
LINE 1267
EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T23,T25 |
1 | 1 | 0 | Covered | T140,T158,T146 |
1 | 1 | 1 | Covered | T32,T4,T30 |
LINE 1270
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T22,T23 |
1 | 1 | 0 | Covered | T134,T139,T140 |
1 | 1 | 1 | Covered | T20,T22,T23 |
LINE 1273
EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T22,T23 |
1 | 1 | 0 | Covered | T136,T139,T140 |
1 | 1 | 1 | Covered | T20,T22,T23 |
LINE 1276
EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T22,T23 |
1 | 1 | 0 | Covered | T140,T158,T146 |
1 | 1 | 1 | Covered | T20,T22,T23 |
LINE 1279
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T22,T23 |
1 | 1 | 0 | Covered | T140,T161,T146 |
1 | 1 | 1 | Covered | T20,T22,T23 |
LINE 1282
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T22,T23 |
1 | 1 | 0 | Covered | T135,T140,T158 |
1 | 1 | 1 | Covered | T20,T22,T23 |
LINE 1293
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T17,T18,T19 |
1 | 0 | 1 | Covered | T20,T23,T25 |
1 | 1 | 0 | Covered | T134,T137,T140 |
1 | 1 | 1 | Covered | T1,T2,T37 |
Branch Coverage for Module :
edn_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
23 |
23 |
100.00 |
TERNARY |
1207 |
2 |
2 |
100.00 |
IF |
68 |
3 |
3 |
100.00 |
CASE |
1322 |
18 |
18 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_reg_top.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 1207 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T17,T18,T19 |
0 |
Covered |
T17,T18,T19 |
LineNo. Expression
-1-: 68 if ((!rst_ni))
-2-: 70 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T17,T18,T19 |
0 |
1 |
Covered |
T24,T135,T136 |
0 |
0 |
Covered |
T17,T18,T19 |
LineNo. Expression
-1-: 1322 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T17,T18,T19 |
addr_hit[1] |
Covered |
T17,T18,T19 |
addr_hit[2] |
Covered |
T17,T18,T19 |
addr_hit[3] |
Covered |
T17,T18,T19 |
addr_hit[4] |
Covered |
T17,T18,T19 |
addr_hit[5] |
Covered |
T17,T18,T19 |
addr_hit[6] |
Covered |
T17,T18,T19 |
addr_hit[7] |
Covered |
T17,T18,T19 |
addr_hit[8] |
Covered |
T17,T18,T19 |
addr_hit[9] |
Covered |
T17,T18,T19 |
addr_hit[10] |
Covered |
T17,T18,T19 |
addr_hit[11] |
Covered |
T17,T18,T19 |
addr_hit[12] |
Covered |
T17,T18,T19 |
addr_hit[13] |
Covered |
T17,T18,T19 |
addr_hit[14] |
Covered |
T17,T18,T19 |
addr_hit[15] |
Covered |
T17,T18,T19 |
addr_hit[16] |
Covered |
T17,T18,T19 |
default |
Covered |
T17,T18,T19 |
Assert Coverage for Module :
edn_reg_top
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
en2addrHit |
181954457 |
624630 |
0 |
0 |
reAfterRv |
181954457 |
624626 |
0 |
0 |
rePulse |
181954457 |
235059 |
0 |
0 |
wePulse |
181954457 |
389567 |
0 |
0 |
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
181954457 |
624630 |
0 |
0 |
T17 |
1241 |
22 |
0 |
0 |
T18 |
708 |
22 |
0 |
0 |
T19 |
1149 |
22 |
0 |
0 |
T20 |
1562 |
281 |
0 |
0 |
T21 |
1016 |
40 |
0 |
0 |
T22 |
1051 |
22 |
0 |
0 |
T23 |
1390 |
85 |
0 |
0 |
T24 |
4313 |
252 |
0 |
0 |
T25 |
2075 |
82 |
0 |
0 |
T26 |
1278 |
22 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
181954457 |
624626 |
0 |
0 |
T17 |
1241 |
22 |
0 |
0 |
T18 |
708 |
22 |
0 |
0 |
T19 |
1149 |
22 |
0 |
0 |
T20 |
1562 |
281 |
0 |
0 |
T21 |
1016 |
40 |
0 |
0 |
T22 |
1051 |
22 |
0 |
0 |
T23 |
1390 |
85 |
0 |
0 |
T24 |
4313 |
252 |
0 |
0 |
T25 |
2075 |
82 |
0 |
0 |
T26 |
1278 |
22 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
181954457 |
235059 |
0 |
0 |
T17 |
1241 |
11 |
0 |
0 |
T18 |
708 |
11 |
0 |
0 |
T19 |
1149 |
11 |
0 |
0 |
T20 |
1562 |
167 |
0 |
0 |
T21 |
1016 |
20 |
0 |
0 |
T22 |
1051 |
11 |
0 |
0 |
T23 |
1390 |
65 |
0 |
0 |
T24 |
4313 |
139 |
0 |
0 |
T25 |
2075 |
59 |
0 |
0 |
T26 |
1278 |
11 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
181954457 |
389567 |
0 |
0 |
T17 |
1241 |
11 |
0 |
0 |
T18 |
708 |
11 |
0 |
0 |
T19 |
1149 |
11 |
0 |
0 |
T20 |
1562 |
114 |
0 |
0 |
T21 |
1016 |
20 |
0 |
0 |
T22 |
1051 |
11 |
0 |
0 |
T23 |
1390 |
20 |
0 |
0 |
T24 |
4313 |
113 |
0 |
0 |
T25 |
2075 |
23 |
0 |
0 |
T26 |
1278 |
11 |
0 |
0 |