Line Coverage for Module :
hmac_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 197 | 197 | 100.00 |
ALWAYS | 73 | 4 | 4 | 100.00 |
CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
CONT_ASSIGN | 100 | 1 | 1 | 100.00 |
CONT_ASSIGN | 101 | 1 | 1 | 100.00 |
CONT_ASSIGN | 103 | 1 | 1 | 100.00 |
CONT_ASSIGN | 104 | 1 | 1 | 100.00 |
ALWAYS | 130 | 3 | 3 | 100.00 |
CONT_ASSIGN | 167 | 1 | 1 | 100.00 |
CONT_ASSIGN | 168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 418 | 1 | 1 | 100.00 |
CONT_ASSIGN | 433 | 1 | 1 | 100.00 |
CONT_ASSIGN | 449 | 1 | 1 | 100.00 |
CONT_ASSIGN | 465 | 1 | 1 | 100.00 |
CONT_ASSIGN | 471 | 1 | 1 | 100.00 |
CONT_ASSIGN | 485 | 1 | 1 | 100.00 |
CONT_ASSIGN | 491 | 1 | 1 | 100.00 |
CONT_ASSIGN | 506 | 1 | 1 | 100.00 |
CONT_ASSIGN | 522 | 1 | 1 | 100.00 |
CONT_ASSIGN | 538 | 1 | 1 | 100.00 |
CONT_ASSIGN | 554 | 1 | 1 | 100.00 |
CONT_ASSIGN | 560 | 1 | 1 | 100.00 |
CONT_ASSIGN | 575 | 1 | 1 | 100.00 |
CONT_ASSIGN | 591 | 1 | 1 | 100.00 |
CONT_ASSIGN | 672 | 1 | 1 | 100.00 |
CONT_ASSIGN | 686 | 1 | 1 | 100.00 |
CONT_ASSIGN | 693 | 1 | 1 | 100.00 |
CONT_ASSIGN | 707 | 1 | 1 | 100.00 |
CONT_ASSIGN | 714 | 1 | 1 | 100.00 |
CONT_ASSIGN | 728 | 1 | 1 | 100.00 |
CONT_ASSIGN | 735 | 1 | 1 | 100.00 |
CONT_ASSIGN | 749 | 1 | 1 | 100.00 |
CONT_ASSIGN | 756 | 1 | 1 | 100.00 |
CONT_ASSIGN | 770 | 1 | 1 | 100.00 |
CONT_ASSIGN | 777 | 1 | 1 | 100.00 |
CONT_ASSIGN | 791 | 1 | 1 | 100.00 |
CONT_ASSIGN | 798 | 1 | 1 | 100.00 |
CONT_ASSIGN | 812 | 1 | 1 | 100.00 |
CONT_ASSIGN | 819 | 1 | 1 | 100.00 |
CONT_ASSIGN | 833 | 1 | 1 | 100.00 |
CONT_ASSIGN | 840 | 1 | 1 | 100.00 |
CONT_ASSIGN | 854 | 1 | 1 | 100.00 |
ALWAYS | 1052 | 28 | 28 | 100.00 |
CONT_ASSIGN | 1082 | 1 | 1 | 100.00 |
ALWAYS | 1086 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1119 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1121 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1123 | 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 | 1131 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1133 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1135 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1137 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1138 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1140 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1141 | 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 | 1148 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1151 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1153 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1157 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1159 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1160 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1162 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1163 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1165 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1166 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1169 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1171 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1172 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1174 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1175 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1177 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1178 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1180 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1181 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1183 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1184 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1185 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1186 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1187 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1188 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1189 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1190 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1191 | 1 | 1 | 100.00 |
ALWAYS | 1195 | 28 | 28 | 100.00 |
ALWAYS | 1227 | 41 | 41 | 100.00 |
CONT_ASSIGN | 1360 | 0 | 0 | |
CONT_ASSIGN | 1368 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1369 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_hmac_0.1/rtl/hmac_reg_top.sv' or '../src/lowrisc_ip_hmac_0.1/rtl/hmac_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
82 |
1 |
1 |
100 |
1 |
1 |
101 |
1 |
1 |
103 |
1 |
1 |
104 |
1 |
1 |
130 |
1 |
1 |
136 |
1 |
1 |
137 |
1 |
1 |
|
|
|
MISSING_ELSE |
167 |
1 |
1 |
168 |
1 |
1 |
418 |
1 |
1 |
433 |
1 |
1 |
449 |
1 |
1 |
465 |
1 |
1 |
471 |
1 |
1 |
485 |
1 |
1 |
491 |
1 |
1 |
506 |
1 |
1 |
522 |
1 |
1 |
538 |
1 |
1 |
554 |
1 |
1 |
560 |
1 |
1 |
575 |
1 |
1 |
591 |
1 |
1 |
672 |
1 |
1 |
686 |
1 |
1 |
693 |
1 |
1 |
707 |
1 |
1 |
714 |
1 |
1 |
728 |
1 |
1 |
735 |
1 |
1 |
749 |
1 |
1 |
756 |
1 |
1 |
770 |
1 |
1 |
777 |
1 |
1 |
791 |
1 |
1 |
798 |
1 |
1 |
812 |
1 |
1 |
819 |
1 |
1 |
833 |
1 |
1 |
840 |
1 |
1 |
854 |
1 |
1 |
1052 |
1 |
1 |
1053 |
1 |
1 |
1054 |
1 |
1 |
1055 |
1 |
1 |
1056 |
1 |
1 |
1057 |
1 |
1 |
1058 |
1 |
1 |
1059 |
1 |
1 |
1060 |
1 |
1 |
1061 |
1 |
1 |
1062 |
1 |
1 |
1063 |
1 |
1 |
1064 |
1 |
1 |
1065 |
1 |
1 |
1066 |
1 |
1 |
1067 |
1 |
1 |
1068 |
1 |
1 |
1069 |
1 |
1 |
1070 |
1 |
1 |
1071 |
1 |
1 |
1072 |
1 |
1 |
1073 |
1 |
1 |
1074 |
1 |
1 |
1075 |
1 |
1 |
1076 |
1 |
1 |
1077 |
1 |
1 |
1078 |
1 |
1 |
1079 |
1 |
1 |
1082 |
1 |
1 |
1086 |
1 |
1 |
1117 |
1 |
1 |
1119 |
1 |
1 |
1121 |
1 |
1 |
1123 |
1 |
1 |
1124 |
1 |
1 |
1126 |
1 |
1 |
1128 |
1 |
1 |
1130 |
1 |
1 |
1131 |
1 |
1 |
1133 |
1 |
1 |
1135 |
1 |
1 |
1137 |
1 |
1 |
1138 |
1 |
1 |
1140 |
1 |
1 |
1141 |
1 |
1 |
1142 |
1 |
1 |
1144 |
1 |
1 |
1146 |
1 |
1 |
1148 |
1 |
1 |
1150 |
1 |
1 |
1151 |
1 |
1 |
1153 |
1 |
1 |
1155 |
1 |
1 |
1156 |
1 |
1 |
1157 |
1 |
1 |
1159 |
1 |
1 |
1160 |
1 |
1 |
1162 |
1 |
1 |
1163 |
1 |
1 |
1165 |
1 |
1 |
1166 |
1 |
1 |
1168 |
1 |
1 |
1169 |
1 |
1 |
1171 |
1 |
1 |
1172 |
1 |
1 |
1174 |
1 |
1 |
1175 |
1 |
1 |
1177 |
1 |
1 |
1178 |
1 |
1 |
1180 |
1 |
1 |
1181 |
1 |
1 |
1183 |
1 |
1 |
1184 |
1 |
1 |
1185 |
1 |
1 |
1186 |
1 |
1 |
1187 |
1 |
1 |
1188 |
1 |
1 |
1189 |
1 |
1 |
1190 |
1 |
1 |
1191 |
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 |
1205 |
1 |
1 |
1206 |
1 |
1 |
1207 |
1 |
1 |
1208 |
1 |
1 |
1209 |
1 |
1 |
1210 |
1 |
1 |
1211 |
1 |
1 |
1212 |
1 |
1 |
1213 |
1 |
1 |
1214 |
1 |
1 |
1215 |
1 |
1 |
1216 |
1 |
1 |
1217 |
1 |
1 |
1218 |
1 |
1 |
1219 |
1 |
1 |
1220 |
1 |
1 |
1221 |
1 |
1 |
1222 |
1 |
1 |
1227 |
1 |
1 |
1228 |
1 |
1 |
1230 |
1 |
1 |
1231 |
1 |
1 |
1232 |
1 |
1 |
1236 |
1 |
1 |
1237 |
1 |
1 |
1238 |
1 |
1 |
1242 |
1 |
1 |
1243 |
1 |
1 |
1244 |
1 |
1 |
1248 |
1 |
1 |
1252 |
1 |
1 |
1253 |
1 |
1 |
1254 |
1 |
1 |
1255 |
1 |
1 |
1259 |
1 |
1 |
1260 |
1 |
1 |
1264 |
1 |
1 |
1265 |
1 |
1 |
1266 |
1 |
1 |
1270 |
1 |
1 |
1274 |
1 |
1 |
1278 |
1 |
1 |
1282 |
1 |
1 |
1286 |
1 |
1 |
1290 |
1 |
1 |
1294 |
1 |
1 |
1298 |
1 |
1 |
1302 |
1 |
1 |
1306 |
1 |
1 |
1310 |
1 |
1 |
1314 |
1 |
1 |
1318 |
1 |
1 |
1322 |
1 |
1 |
1326 |
1 |
1 |
1330 |
1 |
1 |
1334 |
1 |
1 |
1338 |
1 |
1 |
1342 |
1 |
1 |
1346 |
1 |
1 |
1360 |
|
unreachable |
1368 |
1 |
1 |
1369 |
1 |
1 |
Cond Coverage for Module :
hmac_reg_top
| Total | Covered | Percent |
Conditions | 287 | 279 | 97.21 |
Logical | 287 | 279 | 97.21 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 63
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T20,T21 |
1 | 1 | Covered | T14,T15,T16 |
LINE 75
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T14,T15,T16 |
0 | 1 | Covered | T51,T52,T53 |
1 | 0 | Covered | T20,T21,T66 |
LINE 82
EXPRESSION (err_q | intg_err | reg_we_err)
--1-- ----2--- -----3----
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T14,T15,T16 |
0 | 0 | 1 | Covered | T51,T52,T53 |
0 | 1 | 0 | Covered | T20,T21,T66 |
1 | 0 | 0 | Covered | T20,T21,T66 |
LINE 130
EXPRESSION ((tl_i.a_address[(AW - 1):0] inside {[2048:4095]}) ? 1'b0 : 1'b1)
------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T16,T20 |
LINE 168
EXPRESSION (addrmiss | wr_err | intg_err)
----1--- ---2-- ----3---
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T14,T15,T16 |
0 | 0 | 1 | Covered | T20,T21,T66 |
0 | 1 | 0 | Covered | T14,T23,T25 |
1 | 0 | 0 | Covered | T14,T23,T25 |
LINE 1053
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_INTR_STATE_OFFSET)
-------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T15,T16 |
LINE 1054
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_INTR_ENABLE_OFFSET)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T15,T16 |
LINE 1055
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_INTR_TEST_OFFSET)
------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T15,T16 |
LINE 1056
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_ALERT_TEST_OFFSET)
-------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1057
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_CFG_OFFSET)
---------------------1---------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1058
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_CMD_OFFSET)
---------------------1---------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1059
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_STATUS_OFFSET)
-----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1060
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_ERR_CODE_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1061
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_WIPE_SECRET_OFFSET)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1062
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_KEY_0_OFFSET)
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1063
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_KEY_1_OFFSET)
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1064
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_KEY_2_OFFSET)
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1065
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_KEY_3_OFFSET)
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1066
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_KEY_4_OFFSET)
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1067
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_KEY_5_OFFSET)
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1068
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_KEY_6_OFFSET)
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1069
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_KEY_7_OFFSET)
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1070
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_DIGEST_0_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1071
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_DIGEST_1_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1072
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_DIGEST_2_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1073
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_DIGEST_3_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1074
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_DIGEST_4_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1075
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_DIGEST_5_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1076
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_DIGEST_6_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1077
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_DIGEST_7_OFFSET)
------------------------1-----------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1078
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_MSG_LENGTH_LOWER_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1079
EXPRESSION (reg_addr == hmac_reg_pkg::HMAC_MSG_LENGTH_UPPER_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T17,T20 |
LINE 1082
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
-1- | Status | Tests |
0 | Covered | T14,T15,T16 |
1 | Covered | T14,T15,T16 |
LINE 1082
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
-1- | -2- | Status | Tests |
0 | 0 | Covered | T14,T15,T16 |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T15,T16 |
LINE 1086
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'b1 & (~reg_be))))) | (addr_hit[6] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~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'b1111 & (~reg_be))))) | (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[13] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[16] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[22] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))))
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T15,T16 |
1 | 1 | Covered | T14,T23,T66 |
LINE 1086
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'b1 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b0011 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b1111 & (~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'b1111 & (~reg_be))))) |
13 (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) |
14 (addr_hit[13] & ((|(4'b1111 & (~reg_be))))) |
15 (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) |
16 (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) |
17 (addr_hit[16] & ((|(4'b1111 & (~reg_be))))) |
18 (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) |
19 (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) |
20 (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) |
21 (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) |
22 (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) |
23 (addr_hit[22] & ((|(4'b1111 & (~reg_be))))) |
24 (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) |
25 (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) |
26 (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) |
27 (addr_hit[26] & ((|(4'b1111 & (~reg_be))))))
Sensitive Expression == 1 | Status | Tests |
ALL ZEROS | Covered | T14,T15,T16 |
27 (addr_hit[26] & ((|(4'... | Covered | T14,T20,T21 |
26 (addr_hit[25] & ((|(4'... | Covered | T14,T20,T21 |
25 (addr_hit[24] & ((|(4'... | Covered | T14,T20,T21 |
24 (addr_hit[23] & ((|(4'... | Covered | T14,T20,T21 |
23 (addr_hit[22] & ((|(4'... | Covered | T14,T20,T21 |
22 (addr_hit[21] & ((|(4'... | Covered | T14,T20,T21 |
21 (addr_hit[20] & ((|(4'... | Covered | T14,T20,T21 |
20 (addr_hit[19] & ((|(4'... | Covered | T14,T20,T21 |
19 (addr_hit[18] & ((|(4'... | Covered | T14,T20,T21 |
18 (addr_hit[17] & ((|(4'... | Covered | T14,T20,T21 |
17 (addr_hit[16] & ((|(4'... | Covered | T14,T20,T21 |
16 (addr_hit[15] & ((|(4'... | Covered | T14,T20,T21 |
15 (addr_hit[14] & ((|(4'... | Covered | T14,T20,T21 |
14 (addr_hit[13] & ((|(4'... | Covered | T14,T20,T21 |
13 (addr_hit[12] & ((|(4'... | Covered | T14,T20,T21 |
12 (addr_hit[11] & ((|(4'... | Covered | T14,T20,T21 |
11 (addr_hit[10] & ((|(4'... | Covered | T14,T20,T21 |
10 (addr_hit[9] & ((|(4'b... | Covered | T14,T20,T21 |
9 (addr_hit[8] & ((|(4'b... | Covered | T14,T20,T21 |
8 (addr_hit[7] & ((|(4'b... | Covered | T14,T20,T21 |
7 (addr_hit[6] & ((|(4'b... | Covered | T14,T20,T21 |
6 (addr_hit[5] & ((|(4'b... | Covered | T14,T20,T23 |
5 (addr_hit[4] & ((|(4'b... | Covered | T14,T20,T21 |
4 (addr_hit[3] & ((|(4'b... | Covered | T14,T20,T21 |
3 (addr_hit[2] & ((|(4'b... | Covered | T14,T15,T16 |
2 (addr_hit[1] & ((|(4'b... | Covered | T14,T15,T16 |
1 (addr_hit[0] & ((|(4'b... | Covered | T14,T15,T16 |
LINE 1086
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T15,T16,T18 |
1 | 1 | Covered | T14,T15,T16 |
LINE 1086
SUB-EXPRESSION (addr_hit[1] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T15,T16 |
1 | 1 | Covered | T14,T15,T16 |
LINE 1086
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T15,T16 |
1 | 1 | Covered | T14,T15,T16 |
LINE 1086
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T17,T20 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[5] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T17,T22 |
1 | 1 | Covered | T14,T20,T23 |
LINE 1086
SUB-EXPRESSION (addr_hit[6] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T17,T20 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T17,T20 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T17,T20 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T17,T20 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T17,T20 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T17,T20 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T17,T20 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T14,T17,T20 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1086
SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T15,T16 |
1 | 0 | Covered | T17,T20,T21 |
1 | 1 | Covered | T14,T20,T21 |
LINE 1117
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T15,T16 |
1 | 1 | 0 | Covered | T14,T25,T27 |
1 | 1 | 1 | Covered | T15,T16,T18 |
LINE 1124
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T15,T16 |
1 | 1 | 0 | Covered | T14,T23,T25 |
1 | 1 | 1 | Covered | T15,T16,T17 |
LINE 1131
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T15,T16 |
1 | 1 | 0 | Covered | T14,T25,T27 |
1 | 1 | 1 | Covered | T15,T16,T18 |
LINE 1138
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T14,T23,T25 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1141
EXPRESSION (addr_hit[4] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T14,T15,T16 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1142
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T14,T25,T27 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1151
EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T14,T25,T28 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1156
EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T14,T15,T16 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1157
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T14,T23,T25 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1160
EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T14,T23,T25 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1163
EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T14,T23,T25 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1166
EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T14,T23,T25 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1169
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T23,T25,T28 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1172
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T25,T27,T28 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1175
EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T14,T23,T25 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1178
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T14,T23,T25 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1181
EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T15,T16,T17 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T14,T25,T27 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1184
EXPRESSION (addr_hit[17] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T14,T15,T16 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1185
EXPRESSION (addr_hit[18] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T14,T15,T16 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T67 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1186
EXPRESSION (addr_hit[19] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T14,T15,T16 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1187
EXPRESSION (addr_hit[20] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T14,T15,T16 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Covered | T66,T68 |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1188
EXPRESSION (addr_hit[21] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T14,T15,T16 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1189
EXPRESSION (addr_hit[22] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T14,T15,T16 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1190
EXPRESSION (addr_hit[23] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T14,T15,T16 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T17,T20,T21 |
LINE 1191
EXPRESSION (addr_hit[24] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T14,T15,T16 |
1 | 0 | 1 | Covered | T14,T17,T20 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T17,T20,T21 |
Branch Coverage for Module :
hmac_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
37 |
37 |
100.00 |
TERNARY |
1082 |
2 |
2 |
100.00 |
IF |
73 |
3 |
3 |
100.00 |
TERNARY |
130 |
2 |
2 |
100.00 |
IF |
136 |
2 |
2 |
100.00 |
CASE |
1228 |
28 |
28 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_hmac_0.1/rtl/hmac_reg_top.sv' or '../src/lowrisc_ip_hmac_0.1/rtl/hmac_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 1082 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T14,T15,T16 |
0 |
Covered |
T14,T15,T16 |
LineNo. Expression
-1-: 73 if ((!rst_ni))
-2-: 75 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T14,T15,T16 |
0 |
1 |
Covered |
T20,T21,T66 |
0 |
0 |
Covered |
T14,T15,T16 |
LineNo. Expression
-1-: 130 ((tl_i.a_address[(AW - 1):0] inside {[2048:4095]})) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T14,T16,T20 |
0 |
Covered |
T14,T15,T16 |
LineNo. Expression
-1-: 136 if (intg_err)
Branches:
-1- | Status | Tests |
1 |
Covered |
T20,T21,T66 |
0 |
Covered |
T14,T15,T16 |
LineNo. Expression
-1-: 1228 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T14,T15,T16 |
addr_hit[1] |
Covered |
T14,T15,T16 |
addr_hit[2] |
Covered |
T14,T15,T16 |
addr_hit[3] |
Covered |
T14,T15,T17 |
addr_hit[4] |
Covered |
T14,T15,T17 |
addr_hit[5] |
Covered |
T14,T15,T17 |
addr_hit[6] |
Covered |
T14,T15,T17 |
addr_hit[7] |
Covered |
T14,T15,T17 |
addr_hit[8] |
Covered |
T14,T15,T17 |
addr_hit[9] |
Covered |
T14,T15,T17 |
addr_hit[10] |
Covered |
T14,T15,T17 |
addr_hit[11] |
Covered |
T14,T15,T17 |
addr_hit[12] |
Covered |
T14,T15,T17 |
addr_hit[13] |
Covered |
T14,T15,T17 |
addr_hit[14] |
Covered |
T14,T15,T17 |
addr_hit[15] |
Covered |
T14,T15,T17 |
addr_hit[16] |
Covered |
T14,T15,T17 |
addr_hit[17] |
Covered |
T14,T15,T17 |
addr_hit[18] |
Covered |
T14,T15,T17 |
addr_hit[19] |
Covered |
T14,T15,T17 |
addr_hit[20] |
Covered |
T14,T15,T17 |
addr_hit[21] |
Covered |
T14,T15,T17 |
addr_hit[22] |
Covered |
T14,T15,T17 |
addr_hit[23] |
Covered |
T14,T15,T17 |
addr_hit[24] |
Covered |
T14,T15,T17 |
addr_hit[25] |
Covered |
T14,T15,T17 |
addr_hit[26] |
Covered |
T14,T15,T17 |
default |
Covered |
T14,T15,T16 |
Assert Coverage for Module :
hmac_reg_top
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
en2addrHit |
1482213739 |
147960775 |
0 |
0 |
reAfterRv |
1482213739 |
147960617 |
0 |
0 |
rePulse |
1482213739 |
83830242 |
0 |
0 |
wePulse |
1482213739 |
64130375 |
0 |
0 |
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1482213739 |
147960775 |
0 |
0 |
T14 |
5273 |
50 |
0 |
0 |
T15 |
1091 |
40 |
0 |
0 |
T16 |
1352 |
40 |
0 |
0 |
T17 |
2060 |
536 |
0 |
0 |
T18 |
1310 |
58 |
0 |
0 |
T19 |
1382 |
58 |
0 |
0 |
T20 |
5330 |
505 |
0 |
0 |
T21 |
11320 |
994 |
0 |
0 |
T22 |
2839 |
224 |
0 |
0 |
T23 |
2802 |
13 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1482213739 |
147960617 |
0 |
0 |
T14 |
5273 |
50 |
0 |
0 |
T15 |
1091 |
40 |
0 |
0 |
T16 |
1352 |
40 |
0 |
0 |
T17 |
2060 |
536 |
0 |
0 |
T18 |
1310 |
58 |
0 |
0 |
T19 |
1382 |
58 |
0 |
0 |
T20 |
5330 |
505 |
0 |
0 |
T21 |
11320 |
994 |
0 |
0 |
T22 |
2839 |
224 |
0 |
0 |
T23 |
2802 |
13 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1482213739 |
83830242 |
0 |
0 |
T14 |
5273 |
5 |
0 |
0 |
T15 |
1091 |
20 |
0 |
0 |
T16 |
1352 |
20 |
0 |
0 |
T17 |
2060 |
272 |
0 |
0 |
T18 |
1310 |
29 |
0 |
0 |
T19 |
1382 |
29 |
0 |
0 |
T20 |
5330 |
269 |
0 |
0 |
T21 |
11320 |
534 |
0 |
0 |
T22 |
2839 |
113 |
0 |
0 |
T23 |
2802 |
2 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1482213739 |
64130375 |
0 |
0 |
T14 |
5273 |
45 |
0 |
0 |
T15 |
1091 |
20 |
0 |
0 |
T16 |
1352 |
20 |
0 |
0 |
T17 |
2060 |
264 |
0 |
0 |
T18 |
1310 |
29 |
0 |
0 |
T19 |
1382 |
29 |
0 |
0 |
T20 |
5330 |
236 |
0 |
0 |
T21 |
11320 |
460 |
0 |
0 |
T22 |
2839 |
111 |
0 |
0 |
T23 |
2802 |
11 |
0 |
0 |