Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : lc_ctrl_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.65 100.00 98.62 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_reg_tap 99.53 99.56 98.57 100.00 100.00
tb.dut.u_reg 99.65 100.00 98.62 100.00 100.00



Module Instance : tb.dut.u_reg_tap

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.53 99.56 98.57 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.09 95.78 98.26 50.24 91.18 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
93.13 100.00 83.10 98.16 100.00 84.38 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_alert_test_fatal_bus_integ_error 100.00 100.00
u_alert_test_fatal_prog_error 100.00 100.00
u_alert_test_fatal_state_error 100.00 100.00
u_chk 82.14 100.00 46.43 100.00
u_claim_transition_if 100.00 100.00
u_claim_transition_if_regwen 100.00 100.00 100.00 100.00
u_device_id_0 100.00 100.00
u_device_id_1 100.00 100.00
u_device_id_2 100.00 100.00
u_device_id_3 100.00 100.00
u_device_id_4 100.00 100.00
u_device_id_5 100.00 100.00
u_device_id_6 100.00 100.00
u_device_id_7 100.00 100.00
u_hw_revision0_product_id 33.33 33.33
u_hw_revision0_silicon_creator_id 33.33 33.33
u_hw_revision1_reserved 33.33 33.33
u_hw_revision1_revision_id 33.33 33.33
u_lc_id_state 66.67 66.67
u_lc_state 100.00 100.00
u_lc_transition_cnt 100.00 100.00
u_manuf_state_0 100.00 100.00
u_manuf_state_1 100.00 100.00
u_manuf_state_2 100.00 100.00
u_manuf_state_3 100.00 100.00
u_manuf_state_4 100.00 100.00
u_manuf_state_5 100.00 100.00
u_manuf_state_6 100.00 100.00
u_manuf_state_7 100.00 100.00
u_otp_vendor_test_ctrl 100.00 100.00
u_otp_vendor_test_status 100.00 100.00
u_prim_reg_we_check 100.00 100.00 100.00
u_reg_if 88.34 84.29 96.36 72.73 100.00
u_rsp_intg_gen 100.00 100.00 100.00
u_status_bus_integ_error 100.00 100.00
u_status_ext_clock_switched 100.00 100.00
u_status_flash_rma_error 100.00 100.00
u_status_initialized 100.00 100.00
u_status_otp_error 100.00 100.00
u_status_otp_partition_error 100.00 100.00
u_status_ready 100.00 100.00
u_status_state_error 100.00 100.00
u_status_token_error 100.00 100.00
u_status_transition_count_error 100.00 100.00
u_status_transition_error 100.00 100.00
u_status_transition_successful 100.00 100.00
u_transition_cmd 100.00 100.00
u_transition_ctrl_ext_clock_en 100.00 100.00
u_transition_ctrl_volatile_raw_unlock 100.00 100.00
u_transition_regwen 100.00 100.00
u_transition_target 100.00 100.00
u_transition_token_0 100.00 100.00
u_transition_token_1 100.00 100.00
u_transition_token_2 100.00 100.00
u_transition_token_3 100.00 100.00



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.65 100.00 98.62 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.29 97.79 98.66 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
93.13 100.00 83.10 98.16 100.00 84.38 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_alert_test_fatal_bus_integ_error 100.00 100.00
u_alert_test_fatal_prog_error 100.00 100.00
u_alert_test_fatal_state_error 100.00 100.00
u_chk 100.00 100.00 100.00 100.00
u_claim_transition_if 100.00 100.00
u_claim_transition_if_regwen 100.00 100.00 100.00 100.00
u_device_id_0 100.00 100.00
u_device_id_1 100.00 100.00
u_device_id_2 100.00 100.00
u_device_id_3 100.00 100.00
u_device_id_4 100.00 100.00
u_device_id_5 100.00 100.00
u_device_id_6 100.00 100.00
u_device_id_7 100.00 100.00
u_hw_revision0_product_id 33.33 33.33
u_hw_revision0_silicon_creator_id 33.33 33.33
u_hw_revision1_reserved 33.33 33.33
u_hw_revision1_revision_id 33.33 33.33
u_lc_id_state 66.67 66.67
u_lc_state 100.00 100.00
u_lc_transition_cnt 100.00 100.00
u_manuf_state_0 100.00 100.00
u_manuf_state_1 100.00 100.00
u_manuf_state_2 100.00 100.00
u_manuf_state_3 100.00 100.00
u_manuf_state_4 100.00 100.00
u_manuf_state_5 100.00 100.00
u_manuf_state_6 100.00 100.00
u_manuf_state_7 100.00 100.00
u_otp_vendor_test_ctrl 100.00 100.00
u_otp_vendor_test_status 100.00 100.00
u_prim_reg_we_check 100.00 100.00 100.00
u_reg_if 98.97 97.14 98.75 100.00 100.00
u_rsp_intg_gen 100.00 100.00 100.00
u_status_bus_integ_error 100.00 100.00
u_status_ext_clock_switched 100.00 100.00
u_status_flash_rma_error 100.00 100.00
u_status_initialized 100.00 100.00
u_status_otp_error 100.00 100.00
u_status_otp_partition_error 100.00 100.00
u_status_ready 100.00 100.00
u_status_state_error 100.00 100.00
u_status_token_error 100.00 100.00
u_status_transition_count_error 100.00 100.00
u_status_transition_error 100.00 100.00
u_status_transition_successful 100.00 100.00
u_transition_cmd 100.00 100.00
u_transition_ctrl_ext_clock_en 100.00 100.00
u_transition_ctrl_volatile_raw_unlock 100.00 100.00
u_transition_regwen 100.00 100.00
u_transition_target 100.00 100.00
u_transition_token_0 100.00 100.00
u_transition_token_1 100.00 100.00
u_transition_token_2 100.00 100.00
u_transition_token_3 100.00 100.00

Line Coverage for Module : lc_ctrl_reg_top
Line No.TotalCoveredPercent
TOTAL227227100.00
ALWAYS7144100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN12111100.00
CONT_ASSIGN12211100.00
CONT_ASSIGN23611100.00
CONT_ASSIGN25111100.00
CONT_ASSIGN26711100.00
CONT_ASSIGN28311100.00
CONT_ASSIGN49911100.00
CONT_ASSIGN50211100.00
CONT_ASSIGN51611100.00
CONT_ASSIGN53811100.00
CONT_ASSIGN54111100.00
CONT_ASSIGN55511100.00
CONT_ASSIGN56111100.00
CONT_ASSIGN56411100.00
CONT_ASSIGN57911100.00
CONT_ASSIGN59511100.00
CONT_ASSIGN60211100.00
CONT_ASSIGN60511100.00
CONT_ASSIGN61911100.00
CONT_ASSIGN62611100.00
CONT_ASSIGN62911100.00
CONT_ASSIGN64311100.00
CONT_ASSIGN65011100.00
CONT_ASSIGN65311100.00
CONT_ASSIGN66711100.00
CONT_ASSIGN67411100.00
CONT_ASSIGN67711100.00
CONT_ASSIGN69111100.00
CONT_ASSIGN69711100.00
CONT_ASSIGN70011100.00
CONT_ASSIGN71411100.00
CONT_ASSIGN72011100.00
CONT_ASSIGN72311100.00
CONT_ASSIGN73711100.00
ALWAYS11433636100.00
CONT_ASSIGN118111100.00
ALWAYS118511100.00
CONT_ASSIGN122411100.00
CONT_ASSIGN122611100.00
CONT_ASSIGN122811100.00
CONT_ASSIGN123011100.00
CONT_ASSIGN123111100.00
CONT_ASSIGN123211100.00
CONT_ASSIGN123411100.00
CONT_ASSIGN123511100.00
CONT_ASSIGN123611100.00
CONT_ASSIGN123811100.00
CONT_ASSIGN123911100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124211100.00
CONT_ASSIGN124311100.00
CONT_ASSIGN124411100.00
CONT_ASSIGN124611100.00
CONT_ASSIGN124811100.00
CONT_ASSIGN124911100.00
CONT_ASSIGN125011100.00
CONT_ASSIGN125211100.00
CONT_ASSIGN125311100.00
CONT_ASSIGN125411100.00
CONT_ASSIGN125611100.00
CONT_ASSIGN125711100.00
CONT_ASSIGN125811100.00
CONT_ASSIGN126011100.00
CONT_ASSIGN126111100.00
CONT_ASSIGN126211100.00
CONT_ASSIGN126411100.00
CONT_ASSIGN126511100.00
CONT_ASSIGN126611100.00
CONT_ASSIGN126811100.00
CONT_ASSIGN126911100.00
CONT_ASSIGN127011100.00
CONT_ASSIGN127211100.00
CONT_ASSIGN127311100.00
CONT_ASSIGN127411100.00
CONT_ASSIGN127511100.00
CONT_ASSIGN127611100.00
CONT_ASSIGN127711100.00
CONT_ASSIGN127811100.00
CONT_ASSIGN127911100.00
CONT_ASSIGN128011100.00
CONT_ASSIGN128111100.00
CONT_ASSIGN128211100.00
CONT_ASSIGN128311100.00
CONT_ASSIGN128411100.00
CONT_ASSIGN128511100.00
CONT_ASSIGN128611100.00
CONT_ASSIGN128711100.00
CONT_ASSIGN128811100.00
CONT_ASSIGN128911100.00
CONT_ASSIGN129011100.00
CONT_ASSIGN129111100.00
CONT_ASSIGN129211100.00
CONT_ASSIGN129311100.00
CONT_ASSIGN129411100.00
ALWAYS12983636100.00
ALWAYS13385353100.00
CONT_ASSIGN150700
CONT_ASSIGN151511100.00
CONT_ASSIGN151611100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
71 1 1
72 1 1
73 1 1
74 1 1
MISSING_ELSE
80 1 1
92 1 1
93 1 1
121 1 1
122 1 1
236 1 1
251 1 1
267 1 1
283 1 1
499 1 1
502 1 1
516 1 1
538 1 1
541 1 1
555 1 1
561 1 1
564 1 1
579 1 1
595 1 1
602 1 1
605 1 1
619 1 1
626 1 1
629 1 1
643 1 1
650 1 1
653 1 1
667 1 1
674 1 1
677 1 1
691 1 1
697 1 1
700 1 1
714 1 1
720 1 1
723 1 1
737 1 1
1143 1 1
1144 1 1
1145 1 1
1146 1 1
1147 1 1
1148 1 1
1149 1 1
1150 1 1
1151 1 1
1152 1 1
1153 1 1
1154 1 1
1155 1 1
1156 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
1172 1 1
1173 1 1
1174 1 1
1175 1 1
1176 1 1
1177 1 1
1178 1 1
1181 1 1
1185 1 1
1224 1 1
1226 1 1
1228 1 1
1230 1 1
1231 1 1
1232 1 1
1234 1 1
1235 1 1
1236 1 1
1238 1 1
1239 1 1
1240 1 1
1242 1 1
1243 1 1
1244 1 1
1246 1 1
1248 1 1
1249 1 1
1250 1 1
1252 1 1
1253 1 1
1254 1 1
1256 1 1
1257 1 1
1258 1 1
1260 1 1
1261 1 1
1262 1 1
1264 1 1
1265 1 1
1266 1 1
1268 1 1
1269 1 1
1270 1 1
1272 1 1
1273 1 1
1274 1 1
1275 1 1
1276 1 1
1277 1 1
1278 1 1
1279 1 1
1280 1 1
1281 1 1
1282 1 1
1283 1 1
1284 1 1
1285 1 1
1286 1 1
1287 1 1
1288 1 1
1289 1 1
1290 1 1
1291 1 1
1292 1 1
1293 1 1
1294 1 1
1298 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
1317 1 1
1318 1 1
1319 1 1
1320 1 1
1321 1 1
1322 1 1
1323 1 1
1324 1 1
1325 1 1
1326 1 1
1327 1 1
1328 1 1
1329 1 1
1330 1 1
1331 1 1
1332 1 1
1333 1 1
1338 1 1
1339 1 1
1341 1 1
1342 1 1
1343 1 1
1347 1 1
1348 1 1
1349 1 1
1350 1 1
1351 1 1
1352 1 1
1353 1 1
1354 1 1
1355 1 1
1356 1 1
1357 1 1
1358 1 1
1362 1 1
1366 1 1
1370 1 1
1374 1 1
1378 1 1
1379 1 1
1383 1 1
1387 1 1
1391 1 1
1395 1 1
1399 1 1
1403 1 1
1407 1 1
1411 1 1
1415 1 1
1419 1 1
1423 1 1
1424 1 1
1428 1 1
1429 1 1
1433 1 1
1437 1 1
1441 1 1
1445 1 1
1449 1 1
1453 1 1
1457 1 1
1461 1 1
1465 1 1
1469 1 1
1473 1 1
1477 1 1
1481 1 1
1485 1 1
1489 1 1
1493 1 1
1507 unreachable
1515 1 1
1516 1 1


Cond Coverage for Module : lc_ctrl_reg_top
TotalCoveredPercent
Conditions43442898.62
Logical43442898.62
Non-Logical00
Event00

This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.
Line numbersPercent
61-129098.56
1291-1294100.00

Branch Coverage for Module : lc_ctrl_reg_top
Line No.TotalCoveredPercent
Branches 41 41 100.00
TERNARY 1181 2 2 100.00
IF 71 3 3 100.00
CASE 1339 36 36 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 1181 ((reg_re || reg_we)) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T88
0 Covered T1,T2,T88


LineNo. Expression -1-: 71 if ((!rst_ni)) -2-: 73 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T88
0 1 Covered T90,T93,T114
0 0 Covered T1,T2,T88


LineNo. Expression -1-: 1339 case (1'b1)

Branches:
-1-StatusTests
addr_hit[0] Covered T1,T2,T88
addr_hit[1] Covered T1,T2,T88
addr_hit[2] Covered T1,T2,T88
addr_hit[3] Covered T1,T2,T88
addr_hit[4] Covered T1,T2,T88
addr_hit[5] Covered T1,T2,T88
addr_hit[6] Covered T1,T2,T88
addr_hit[7] Covered T1,T2,T88
addr_hit[8] Covered T1,T2,T88
addr_hit[9] Covered T1,T2,T88
addr_hit[10] Covered T1,T2,T88
addr_hit[11] Covered T1,T2,T88
addr_hit[12] Covered T1,T2,T88
addr_hit[13] Covered T1,T2,T88
addr_hit[14] Covered T1,T2,T88
addr_hit[15] Covered T1,T2,T88
addr_hit[16] Covered T1,T2,T88
addr_hit[17] Covered T1,T2,T88
addr_hit[18] Covered T1,T2,T88
addr_hit[19] Covered T1,T2,T88
addr_hit[20] Covered T1,T2,T88
addr_hit[21] Covered T1,T2,T88
addr_hit[22] Covered T1,T2,T88
addr_hit[23] Covered T1,T2,T88
addr_hit[24] Covered T1,T2,T88
addr_hit[25] Covered T1,T2,T88
addr_hit[26] Covered T1,T2,T88
addr_hit[27] Covered T1,T2,T88
addr_hit[28] Covered T1,T2,T88
addr_hit[29] Covered T1,T2,T88
addr_hit[30] Covered T1,T2,T88
addr_hit[31] Covered T1,T2,T88
addr_hit[32] Covered T1,T2,T88
addr_hit[33] Covered T1,T2,T88
addr_hit[34] Covered T1,T2,T88
default Covered T1,T2,T88


Assert Coverage for Module : lc_ctrl_reg_top
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
en2addrHit 141274850 2207582 0 0
reAfterRv 141274850 2207581 0 0
rePulse 141274850 1821847 0 0
wePulse 141274850 385734 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 141274850 2207582 0 0
T1 34307 1560 0 0
T2 232676 60552 0 0
T88 6417 72 0 0
T89 20368 90 0 0
T90 10028 746 0 0
T91 2007 62 0 0
T92 1226 240 0 0
T93 6267 355 0 0
T94 1194 38 0 0
T95 49736 330 0 0
T111 4712 397 0 0
T112 3170 75 0 0
T113 217786 768 0 0
T138 20288 90 0 0
T139 1583 76 0 0
T140 4118 19 0 0
T141 80188 384 0 0
T142 55694 330 0 0
T143 0 165 0 0
T144 715 0 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 141274850 2207581 0 0
T1 34307 1560 0 0
T2 232676 60552 0 0
T88 6417 72 0 0
T89 20368 90 0 0
T90 10028 746 0 0
T91 2007 62 0 0
T92 1226 240 0 0
T93 6267 355 0 0
T94 1194 38 0 0
T95 49736 330 0 0
T111 4712 397 0 0
T112 3170 75 0 0
T113 217786 768 0 0
T138 20288 90 0 0
T139 1583 76 0 0
T140 4118 19 0 0
T141 80188 384 0 0
T142 55694 330 0 0
T143 0 165 0 0
T144 715 0 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 141274850 1821847 0 0
T1 34307 880 0 0
T2 232676 54728 0 0
T88 6417 6 0 0
T89 20368 24 0 0
T90 10028 81 0 0
T91 2007 24 0 0
T92 1226 38 0 0
T93 6267 40 0 0
T94 1194 5 0 0
T95 49736 264 0 0
T111 4712 38 0 0
T112 3170 5 0 0
T113 217786 384 0 0
T115 6263 0 0 0
T138 20288 24 0 0
T139 1583 10 0 0
T141 80188 192 0 0
T142 55694 264 0 0
T143 0 132 0 0
T144 715 0 0 0
T145 0 6 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 141274850 385734 0 0
T1 34307 680 0 0
T2 232676 5824 0 0
T88 6417 66 0 0
T89 20368 66 0 0
T90 10028 665 0 0
T91 2007 38 0 0
T92 1226 202 0 0
T93 6267 315 0 0
T94 1194 33 0 0
T95 49736 66 0 0
T111 4712 359 0 0
T112 3170 70 0 0
T113 217786 384 0 0
T138 20288 66 0 0
T139 1583 66 0 0
T140 4118 19 0 0
T141 80188 192 0 0
T142 55694 66 0 0
T143 0 33 0 0
T144 715 0 0 0

Line Coverage for Instance : tb.dut.u_reg_tap
Line No.TotalCoveredPercent
TOTAL22722699.56
ALWAYS7144100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN12111100.00
CONT_ASSIGN122100.00
CONT_ASSIGN23611100.00
CONT_ASSIGN25111100.00
CONT_ASSIGN26711100.00
CONT_ASSIGN28311100.00
CONT_ASSIGN49911100.00
CONT_ASSIGN50211100.00
CONT_ASSIGN51611100.00
CONT_ASSIGN53811100.00
CONT_ASSIGN54111100.00
CONT_ASSIGN55511100.00
CONT_ASSIGN56111100.00
CONT_ASSIGN56411100.00
CONT_ASSIGN57911100.00
CONT_ASSIGN59511100.00
CONT_ASSIGN60211100.00
CONT_ASSIGN60511100.00
CONT_ASSIGN61911100.00
CONT_ASSIGN62611100.00
CONT_ASSIGN62911100.00
CONT_ASSIGN64311100.00
CONT_ASSIGN65011100.00
CONT_ASSIGN65311100.00
CONT_ASSIGN66711100.00
CONT_ASSIGN67411100.00
CONT_ASSIGN67711100.00
CONT_ASSIGN69111100.00
CONT_ASSIGN69711100.00
CONT_ASSIGN70011100.00
CONT_ASSIGN71411100.00
CONT_ASSIGN72011100.00
CONT_ASSIGN72311100.00
CONT_ASSIGN73711100.00
ALWAYS11433636100.00
CONT_ASSIGN118111100.00
ALWAYS118511100.00
CONT_ASSIGN122411100.00
CONT_ASSIGN122611100.00
CONT_ASSIGN122811100.00
CONT_ASSIGN123011100.00
CONT_ASSIGN123111100.00
CONT_ASSIGN123211100.00
CONT_ASSIGN123411100.00
CONT_ASSIGN123511100.00
CONT_ASSIGN123611100.00
CONT_ASSIGN123811100.00
CONT_ASSIGN123911100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124211100.00
CONT_ASSIGN124311100.00
CONT_ASSIGN124411100.00
CONT_ASSIGN124611100.00
CONT_ASSIGN124811100.00
CONT_ASSIGN124911100.00
CONT_ASSIGN125011100.00
CONT_ASSIGN125211100.00
CONT_ASSIGN125311100.00
CONT_ASSIGN125411100.00
CONT_ASSIGN125611100.00
CONT_ASSIGN125711100.00
CONT_ASSIGN125811100.00
CONT_ASSIGN126011100.00
CONT_ASSIGN126111100.00
CONT_ASSIGN126211100.00
CONT_ASSIGN126411100.00
CONT_ASSIGN126511100.00
CONT_ASSIGN126611100.00
CONT_ASSIGN126811100.00
CONT_ASSIGN126911100.00
CONT_ASSIGN127011100.00
CONT_ASSIGN127211100.00
CONT_ASSIGN127311100.00
CONT_ASSIGN127411100.00
CONT_ASSIGN127511100.00
CONT_ASSIGN127611100.00
CONT_ASSIGN127711100.00
CONT_ASSIGN127811100.00
CONT_ASSIGN127911100.00
CONT_ASSIGN128011100.00
CONT_ASSIGN128111100.00
CONT_ASSIGN128211100.00
CONT_ASSIGN128311100.00
CONT_ASSIGN128411100.00
CONT_ASSIGN128511100.00
CONT_ASSIGN128611100.00
CONT_ASSIGN128711100.00
CONT_ASSIGN128811100.00
CONT_ASSIGN128911100.00
CONT_ASSIGN129011100.00
CONT_ASSIGN129111100.00
CONT_ASSIGN129211100.00
CONT_ASSIGN129311100.00
CONT_ASSIGN129411100.00
ALWAYS12983636100.00
ALWAYS13385353100.00
CONT_ASSIGN150700
CONT_ASSIGN151511100.00
CONT_ASSIGN151611100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
71 1 1
72 1 1
73 1 1
74 1 1
MISSING_ELSE
80 1 1
92 1 1
93 1 1
121 1 1
122 0 1
236 1 1
251 1 1
267 1 1
283 1 1
499 1 1
502 1 1
516 1 1
538 1 1
541 1 1
555 1 1
561 1 1
564 1 1
579 1 1
595 1 1
602 1 1
605 1 1
619 1 1
626 1 1
629 1 1
643 1 1
650 1 1
653 1 1
667 1 1
674 1 1
677 1 1
691 1 1
697 1 1
700 1 1
714 1 1
720 1 1
723 1 1
737 1 1
1143 1 1
1144 1 1
1145 1 1
1146 1 1
1147 1 1
1148 1 1
1149 1 1
1150 1 1
1151 1 1
1152 1 1
1153 1 1
1154 1 1
1155 1 1
1156 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
1172 1 1
1173 1 1
1174 1 1
1175 1 1
1176 1 1
1177 1 1
1178 1 1
1181 1 1
1185 1 1
1224 1 1
1226 1 1
1228 1 1
1230 1 1
1231 1 1
1232 1 1
1234 1 1
1235 1 1
1236 1 1
1238 1 1
1239 1 1
1240 1 1
1242 1 1
1243 1 1
1244 1 1
1246 1 1
1248 1 1
1249 1 1
1250 1 1
1252 1 1
1253 1 1
1254 1 1
1256 1 1
1257 1 1
1258 1 1
1260 1 1
1261 1 1
1262 1 1
1264 1 1
1265 1 1
1266 1 1
1268 1 1
1269 1 1
1270 1 1
1272 1 1
1273 1 1
1274 1 1
1275 1 1
1276 1 1
1277 1 1
1278 1 1
1279 1 1
1280 1 1
1281 1 1
1282 1 1
1283 1 1
1284 1 1
1285 1 1
1286 1 1
1287 1 1
1288 1 1
1289 1 1
1290 1 1
1291 1 1
1292 1 1
1293 1 1
1294 1 1
1298 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
1317 1 1
1318 1 1
1319 1 1
1320 1 1
1321 1 1
1322 1 1
1323 1 1
1324 1 1
1325 1 1
1326 1 1
1327 1 1
1328 1 1
1329 1 1
1330 1 1
1331 1 1
1332 1 1
1333 1 1
1338 1 1
1339 1 1
1341 1 1
1342 1 1
1343 1 1
1347 1 1
1348 1 1
1349 1 1
1350 1 1
1351 1 1
1352 1 1
1353 1 1
1354 1 1
1355 1 1
1356 1 1
1357 1 1
1358 1 1
1362 1 1
1366 1 1
1370 1 1
1374 1 1
1378 1 1
1379 1 1
1383 1 1
1387 1 1
1391 1 1
1395 1 1
1399 1 1
1403 1 1
1407 1 1
1411 1 1
1415 1 1
1419 1 1
1423 1 1
1424 1 1
1428 1 1
1429 1 1
1433 1 1
1437 1 1
1441 1 1
1445 1 1
1449 1 1
1453 1 1
1457 1 1
1461 1 1
1465 1 1
1469 1 1
1473 1 1
1477 1 1
1481 1 1
1485 1 1
1489 1 1
1493 1 1
1507 unreachable
1515 1 1
1516 1 1


Cond Coverage for Instance : tb.dut.u_reg_tap
TotalCoveredPercent
Conditions28027698.57
Logical28027698.57
Non-Logical00
Event00

 LINE       61
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT1,T2,T88
10Not Covered
11CoveredT2,T88,T89

 LINE       73
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTestsExclude Annotation
00CoveredT1,T2,T88
01CoveredT96,T97,T56
10Excluded VC_COV_UNR

 LINE       80
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTestsExclude Annotation
000CoveredT1,T2,T88
001CoveredT96,T97,T56
010Excluded VC_COV_UNR
100CoveredT96,T97,T56

 LINE       122
 EXPRESSION ((devmode_i & addrmiss) | wr_err | intg_err)
             -----------1----------   ---2--   ----3---
-1--2--3-StatusTestsExclude Annotation
000CoveredT1,T2,T88
001Excluded VC_COV_UNR
010Excluded VC_COV_UNR
100Not Covered

 LINE       122
 SUB-EXPRESSION (devmode_i & addrmiss)
                 ----1----   ----2---
-1--2-StatusTests
01Unreachable
10CoveredT1,T2,T88
11Not Covered

 LINE       502
 EXPRESSION (claim_transition_if_we & claim_transition_if_regwen_qs)
             -----------1----------   --------------2--------------
-1--2-StatusTests
01CoveredT1,T2,T88
10CoveredT88,T89,T142
11CoveredT2,T88,T89

 LINE       541
 EXPRESSION (transition_cmd_we & transition_regwen_qs)
             --------1--------   ----------2---------
-1--2-StatusTests
01CoveredT2,T4,T5
10CoveredT2,T5,T13
11CoveredT2,T4,T5

 LINE       564
 EXPRESSION (transition_ctrl_we & transition_regwen_qs)
             ---------1--------   ----------2---------
-1--2-StatusTests
01CoveredT2,T4,T5
10CoveredT2,T5,T12
11CoveredT2,T4,T5

 LINE       605
 EXPRESSION (transition_token_0_we & transition_regwen_qs)
             ----------1----------   ----------2---------
-1--2-StatusTests
01CoveredT2,T4,T5
10CoveredT2,T88,T89
11CoveredT2,T4,T5

 LINE       629
 EXPRESSION (transition_token_1_we & transition_regwen_qs)
             ----------1----------   ----------2---------
-1--2-StatusTests
01CoveredT2,T4,T5
10CoveredT2,T88,T89
11CoveredT2,T4,T5

 LINE       653
 EXPRESSION (transition_token_2_we & transition_regwen_qs)
             ----------1----------   ----------2---------
-1--2-StatusTests
01CoveredT2,T4,T5
10CoveredT2,T88,T89
11CoveredT2,T4,T5

 LINE       677
 EXPRESSION (transition_token_3_we & transition_regwen_qs)
             ----------1----------   ----------2---------
-1--2-StatusTests
01CoveredT2,T4,T5
10CoveredT2,T88,T89
11CoveredT2,T4,T5

 LINE       700
 EXPRESSION (transition_target_we & transition_regwen_qs)
             ----------1---------   ----------2---------
-1--2-StatusTests
01CoveredT2,T4,T5
10CoveredT2,T88,T89
11CoveredT2,T4,T5

 LINE       723
 EXPRESSION (otp_vendor_test_ctrl_we & transition_regwen_qs)
             -----------1-----------   ----------2---------
-1--2-StatusTests
01CoveredT2,T4,T5
10CoveredT2,T88,T89
11CoveredT2,T4,T5

 LINE       1144
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_ALERT_TEST_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1145
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_STATUS_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1146
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_CLAIM_TRANSITION_IF_REGWEN_OFFSET)
            ------------------------------------1-----------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1147
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_CLAIM_TRANSITION_IF_OFFSET)
            --------------------------------1--------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1148
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_REGWEN_OFFSET)
            -------------------------------1-------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1149
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_CMD_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T89,T95

 LINE       1150
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_CTRL_OFFSET)
            ------------------------------1------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T4,T5

 LINE       1151
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_0_OFFSET)
            --------------------------------1-------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1152
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_1_OFFSET)
            --------------------------------1-------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1153
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_2_OFFSET)
            --------------------------------1-------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1154
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_3_OFFSET)
            --------------------------------1-------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1155
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TARGET_OFFSET)
            -------------------------------1-------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1156
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_OTP_VENDOR_TEST_CTRL_OFFSET)
            ---------------------------------1--------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1157
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_OTP_VENDOR_TEST_STATUS_OFFSET)
            ----------------------------------1---------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1158
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_STATE_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1159
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_TRANSITION_CNT_OFFSET)
            -------------------------------1-------------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1160
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_ID_STATE_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT88,T89,T95

 LINE       1161
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_HW_REVISION0_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1162
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_HW_REVISION1_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1163
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_0_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1164
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_1_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1165
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_2_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1166
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_3_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1167
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_4_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1168
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_5_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1169
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_6_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1170
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_7_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1171
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_0_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1172
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_1_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1173
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_2_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1174
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_3_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1175
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_4_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1176
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_5_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1177
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_6_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1178
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_7_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT2,T88,T89
1CoveredT2,T88,T89

 LINE       1181
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT1,T2,T88
1CoveredT2,T88,T89

 LINE       1181
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT1,T2,T88
01CoveredT2,T88,T89
10CoveredT2,T88,T89

 LINE       1185
 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'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'b1 & (~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'b1 & (~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))))) | (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[30] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[33] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[34] & ((|(4'b1111 & (~reg_be)))))))
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 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'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'b1 & (~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'b1 & (~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))))) | 
     28  (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | 
     29  (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | 
     30  (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | 
     31  (addr_hit[30] & ((|(4'b1111 & (~reg_be))))) | 
     32  (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | 
     33  (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | 
     34  (addr_hit[33] & ((|(4'b1111 & (~reg_be))))) | 
     35  (addr_hit[34] & ((|(4'b1111 & (~reg_be))))))
Sensitive Expression == 1StatusTestsExclude Annotation
ALL ZEROSCoveredT2,T88,T89
35 (addr_hit[34] & ((|(4'...Excluded VC_COV_UNR
34 (addr_hit[33] & ((|(4'...Excluded VC_COV_UNR
33 (addr_hit[32] & ((|(4'...Excluded VC_COV_UNR
32 (addr_hit[31] & ((|(4'...Excluded VC_COV_UNR
31 (addr_hit[30] & ((|(4'...Excluded VC_COV_UNR
30 (addr_hit[29] & ((|(4'...Excluded VC_COV_UNR
29 (addr_hit[28] & ((|(4'...Excluded VC_COV_UNR
28 (addr_hit[27] & ((|(4'...Excluded VC_COV_UNR
27 (addr_hit[26] & ((|(4'...Excluded VC_COV_UNR
26 (addr_hit[25] & ((|(4'...Excluded VC_COV_UNR
25 (addr_hit[24] & ((|(4'...Excluded VC_COV_UNR
24 (addr_hit[23] & ((|(4'...Excluded VC_COV_UNR
23 (addr_hit[22] & ((|(4'...Excluded VC_COV_UNR
22 (addr_hit[21] & ((|(4'...Excluded VC_COV_UNR
21 (addr_hit[20] & ((|(4'...Excluded VC_COV_UNR
20 (addr_hit[19] & ((|(4'...Excluded VC_COV_UNR
19 (addr_hit[18] & ((|(4'...Excluded VC_COV_UNR
18 (addr_hit[17] & ((|(4'...Excluded VC_COV_UNR
17 (addr_hit[16] & ((|(4'...Excluded VC_COV_UNR
16 (addr_hit[15] & ((|(4'...Excluded VC_COV_UNR
15 (addr_hit[14] & ((|(4'...Excluded VC_COV_UNR
14 (addr_hit[13] & ((|(4'...Excluded VC_COV_UNR
13 (addr_hit[12] & ((|(4'...Excluded VC_COV_UNR
12 (addr_hit[11] & ((|(4'...Excluded VC_COV_UNR
11 (addr_hit[10] & ((|(4'...Excluded VC_COV_UNR
10 (addr_hit[9] & ((|(4'b...Excluded VC_COV_UNR
9 (addr_hit[8] & ((|(4'b...Excluded VC_COV_UNR
8 (addr_hit[7] & ((|(4'b...Excluded VC_COV_UNR
7 (addr_hit[6] & ((|(4'b...Excluded VC_COV_UNR
6 (addr_hit[5] & ((|(4'b...Excluded VC_COV_UNR
5 (addr_hit[4] & ((|(4'b...Excluded VC_COV_UNR
4 (addr_hit[3] & ((|(4'b...Excluded VC_COV_UNR
3 (addr_hit[2] & ((|(4'b...Excluded VC_COV_UNR
2 (addr_hit[1] & ((|(4'b...Excluded VC_COV_UNR
1 (addr_hit[0] & ((|(4'b...Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T89,T95
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T4,T5
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT88,T89,T95
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[28] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[29] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[30] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[31] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[32] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[33] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1185
 SUB-EXPRESSION (addr_hit[34] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10CoveredT2,T88,T89
11Excluded VC_COV_UNR

 LINE       1224
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT88,T89,T95

 LINE       1231
 EXPRESSION (addr_hit[1] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1232
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT88,T89,T95

 LINE       1235
 EXPRESSION (addr_hit[3] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T89,T138

 LINE       1236
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T88,T89

 LINE       1239
 EXPRESSION (addr_hit[4] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T89,T138

 LINE       1240
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T89,T95
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1243
 EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T4,T5
110Excluded VC_COV_UNR
111CoveredT5,T12,T13

 LINE       1244
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T4,T5
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1249
 EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T89,T138

 LINE       1250
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T88,T89

 LINE       1253
 EXPRESSION (addr_hit[8] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T89,T138

 LINE       1254
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T88,T89

 LINE       1257
 EXPRESSION (addr_hit[9] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T89,T138

 LINE       1258
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T88,T89

 LINE       1261
 EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T89,T138

 LINE       1262
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T88,T89

 LINE       1265
 EXPRESSION (addr_hit[11] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T88,T89

 LINE       1266
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T88,T89

 LINE       1269
 EXPRESSION (addr_hit[12] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T89,T138

 LINE       1270
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T88,T89

 LINE       1273
 EXPRESSION (addr_hit[13] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T89,T138

 LINE       1274
 EXPRESSION (addr_hit[14] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1275
 EXPRESSION (addr_hit[15] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1276
 EXPRESSION (addr_hit[16] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT88,T89,T95
110Excluded VC_COV_UNR
111Not Covered

 LINE       1277
 EXPRESSION (addr_hit[17] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1278
 EXPRESSION (addr_hit[18] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1279
 EXPRESSION (addr_hit[19] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1280
 EXPRESSION (addr_hit[20] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1281
 EXPRESSION (addr_hit[21] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1282
 EXPRESSION (addr_hit[22] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1283
 EXPRESSION (addr_hit[23] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1284
 EXPRESSION (addr_hit[24] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1285
 EXPRESSION (addr_hit[25] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1286
 EXPRESSION (addr_hit[26] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1287
 EXPRESSION (addr_hit[27] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1288
 EXPRESSION (addr_hit[28] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1289
 EXPRESSION (addr_hit[29] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1290
 EXPRESSION (addr_hit[30] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1291
 EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1292
 EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1293
 EXPRESSION (addr_hit[33] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

 LINE       1294
 EXPRESSION (addr_hit[34] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT2,T88,T89
101CoveredT2,T88,T89
110Excluded VC_COV_UNR
111CoveredT2,T4,T5

Branch Coverage for Instance : tb.dut.u_reg_tap
Line No.TotalCoveredPercent
Branches 41 41 100.00
TERNARY 1181 2 2 100.00
IF 71 3 3 100.00
CASE 1339 36 36 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 1181 ((reg_re || reg_we)) ?

Branches:
-1-StatusTests
1 Covered T2,T88,T89
0 Covered T1,T2,T88


LineNo. Expression -1-: 71 if ((!rst_ni)) -2-: 73 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T88
0 1 Covered T96,T97,T56
0 0 Covered T1,T2,T88


LineNo. Expression -1-: 1339 case (1'b1)

Branches:
-1-StatusTests
addr_hit[0] Covered T1,T2,T88
addr_hit[1] Covered T1,T2,T88
addr_hit[2] Covered T1,T2,T88
addr_hit[3] Covered T1,T2,T88
addr_hit[4] Covered T1,T2,T88
addr_hit[5] Covered T1,T2,T88
addr_hit[6] Covered T1,T2,T88
addr_hit[7] Covered T1,T2,T88
addr_hit[8] Covered T1,T2,T88
addr_hit[9] Covered T1,T2,T88
addr_hit[10] Covered T1,T2,T88
addr_hit[11] Covered T1,T2,T88
addr_hit[12] Covered T1,T2,T88
addr_hit[13] Covered T1,T2,T88
addr_hit[14] Covered T1,T2,T88
addr_hit[15] Covered T1,T2,T88
addr_hit[16] Covered T1,T2,T88
addr_hit[17] Covered T1,T2,T88
addr_hit[18] Covered T1,T2,T88
addr_hit[19] Covered T1,T2,T88
addr_hit[20] Covered T1,T2,T88
addr_hit[21] Covered T1,T2,T88
addr_hit[22] Covered T1,T2,T88
addr_hit[23] Covered T1,T2,T88
addr_hit[24] Covered T1,T2,T88
addr_hit[25] Covered T1,T2,T88
addr_hit[26] Covered T1,T2,T88
addr_hit[27] Covered T1,T2,T88
addr_hit[28] Covered T1,T2,T88
addr_hit[29] Covered T1,T2,T88
addr_hit[30] Covered T1,T2,T88
addr_hit[31] Covered T1,T2,T88
addr_hit[32] Covered T1,T2,T88
addr_hit[33] Covered T1,T2,T88
addr_hit[34] Covered T1,T2,T88
default Covered T1,T2,T88


Assert Coverage for Instance : tb.dut.u_reg_tap
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
en2addrHit 70637425 264738 0 0
reAfterRv 70637425 264738 0 0
rePulse 70637425 160555 0 0
wePulse 70637425 104183 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 70637425 264738 0 0
T2 116338 5545 0 0
T88 6417 72 0 0
T89 20368 90 0 0
T95 49736 330 0 0
T113 217786 768 0 0
T138 20288 90 0 0
T140 4118 19 0 0
T141 80188 384 0 0
T142 55694 330 0 0
T143 0 165 0 0
T144 715 0 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 70637425 264738 0 0
T2 116338 5545 0 0
T88 6417 72 0 0
T89 20368 90 0 0
T95 49736 330 0 0
T113 217786 768 0 0
T138 20288 90 0 0
T140 4118 19 0 0
T141 80188 384 0 0
T142 55694 330 0 0
T143 0 165 0 0
T144 715 0 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 70637425 160555 0 0
T2 116338 3501 0 0
T88 6417 6 0 0
T89 20368 24 0 0
T95 49736 264 0 0
T113 217786 384 0 0
T115 6263 0 0 0
T138 20288 24 0 0
T141 80188 192 0 0
T142 55694 264 0 0
T143 0 132 0 0
T144 715 0 0 0
T145 0 6 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 70637425 104183 0 0
T2 116338 2044 0 0
T88 6417 66 0 0
T89 20368 66 0 0
T95 49736 66 0 0
T113 217786 384 0 0
T138 20288 66 0 0
T140 4118 19 0 0
T141 80188 192 0 0
T142 55694 66 0 0
T143 0 33 0 0
T144 715 0 0 0

Line Coverage for Instance : tb.dut.u_reg
Line No.TotalCoveredPercent
TOTAL227227100.00
ALWAYS7144100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN12111100.00
CONT_ASSIGN12211100.00
CONT_ASSIGN23611100.00
CONT_ASSIGN25111100.00
CONT_ASSIGN26711100.00
CONT_ASSIGN28311100.00
CONT_ASSIGN49911100.00
CONT_ASSIGN50211100.00
CONT_ASSIGN51611100.00
CONT_ASSIGN53811100.00
CONT_ASSIGN54111100.00
CONT_ASSIGN55511100.00
CONT_ASSIGN56111100.00
CONT_ASSIGN56411100.00
CONT_ASSIGN57911100.00
CONT_ASSIGN59511100.00
CONT_ASSIGN60211100.00
CONT_ASSIGN60511100.00
CONT_ASSIGN61911100.00
CONT_ASSIGN62611100.00
CONT_ASSIGN62911100.00
CONT_ASSIGN64311100.00
CONT_ASSIGN65011100.00
CONT_ASSIGN65311100.00
CONT_ASSIGN66711100.00
CONT_ASSIGN67411100.00
CONT_ASSIGN67711100.00
CONT_ASSIGN69111100.00
CONT_ASSIGN69711100.00
CONT_ASSIGN70011100.00
CONT_ASSIGN71411100.00
CONT_ASSIGN72011100.00
CONT_ASSIGN72311100.00
CONT_ASSIGN73711100.00
ALWAYS11433636100.00
CONT_ASSIGN118111100.00
ALWAYS118511100.00
CONT_ASSIGN122411100.00
CONT_ASSIGN122611100.00
CONT_ASSIGN122811100.00
CONT_ASSIGN123011100.00
CONT_ASSIGN123111100.00
CONT_ASSIGN123211100.00
CONT_ASSIGN123411100.00
CONT_ASSIGN123511100.00
CONT_ASSIGN123611100.00
CONT_ASSIGN123811100.00
CONT_ASSIGN123911100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124211100.00
CONT_ASSIGN124311100.00
CONT_ASSIGN124411100.00
CONT_ASSIGN124611100.00
CONT_ASSIGN124811100.00
CONT_ASSIGN124911100.00
CONT_ASSIGN125011100.00
CONT_ASSIGN125211100.00
CONT_ASSIGN125311100.00
CONT_ASSIGN125411100.00
CONT_ASSIGN125611100.00
CONT_ASSIGN125711100.00
CONT_ASSIGN125811100.00
CONT_ASSIGN126011100.00
CONT_ASSIGN126111100.00
CONT_ASSIGN126211100.00
CONT_ASSIGN126411100.00
CONT_ASSIGN126511100.00
CONT_ASSIGN126611100.00
CONT_ASSIGN126811100.00
CONT_ASSIGN126911100.00
CONT_ASSIGN127011100.00
CONT_ASSIGN127211100.00
CONT_ASSIGN127311100.00
CONT_ASSIGN127411100.00
CONT_ASSIGN127511100.00
CONT_ASSIGN127611100.00
CONT_ASSIGN127711100.00
CONT_ASSIGN127811100.00
CONT_ASSIGN127911100.00
CONT_ASSIGN128011100.00
CONT_ASSIGN128111100.00
CONT_ASSIGN128211100.00
CONT_ASSIGN128311100.00
CONT_ASSIGN128411100.00
CONT_ASSIGN128511100.00
CONT_ASSIGN128611100.00
CONT_ASSIGN128711100.00
CONT_ASSIGN128811100.00
CONT_ASSIGN128911100.00
CONT_ASSIGN129011100.00
CONT_ASSIGN129111100.00
CONT_ASSIGN129211100.00
CONT_ASSIGN129311100.00
CONT_ASSIGN129411100.00
ALWAYS12983636100.00
ALWAYS13385353100.00
CONT_ASSIGN150700
CONT_ASSIGN151511100.00
CONT_ASSIGN151611100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
71 1 1
72 1 1
73 1 1
74 1 1
MISSING_ELSE
80 1 1
92 1 1
93 1 1
121 1 1
122 1 1
236 1 1
251 1 1
267 1 1
283 1 1
499 1 1
502 1 1
516 1 1
538 1 1
541 1 1
555 1 1
561 1 1
564 1 1
579 1 1
595 1 1
602 1 1
605 1 1
619 1 1
626 1 1
629 1 1
643 1 1
650 1 1
653 1 1
667 1 1
674 1 1
677 1 1
691 1 1
697 1 1
700 1 1
714 1 1
720 1 1
723 1 1
737 1 1
1143 1 1
1144 1 1
1145 1 1
1146 1 1
1147 1 1
1148 1 1
1149 1 1
1150 1 1
1151 1 1
1152 1 1
1153 1 1
1154 1 1
1155 1 1
1156 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
1172 1 1
1173 1 1
1174 1 1
1175 1 1
1176 1 1
1177 1 1
1178 1 1
1181 1 1
1185 1 1
1224 1 1
1226 1 1
1228 1 1
1230 1 1
1231 1 1
1232 1 1
1234 1 1
1235 1 1
1236 1 1
1238 1 1
1239 1 1
1240 1 1
1242 1 1
1243 1 1
1244 1 1
1246 1 1
1248 1 1
1249 1 1
1250 1 1
1252 1 1
1253 1 1
1254 1 1
1256 1 1
1257 1 1
1258 1 1
1260 1 1
1261 1 1
1262 1 1
1264 1 1
1265 1 1
1266 1 1
1268 1 1
1269 1 1
1270 1 1
1272 1 1
1273 1 1
1274 1 1
1275 1 1
1276 1 1
1277 1 1
1278 1 1
1279 1 1
1280 1 1
1281 1 1
1282 1 1
1283 1 1
1284 1 1
1285 1 1
1286 1 1
1287 1 1
1288 1 1
1289 1 1
1290 1 1
1291 1 1
1292 1 1
1293 1 1
1294 1 1
1298 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
1317 1 1
1318 1 1
1319 1 1
1320 1 1
1321 1 1
1322 1 1
1323 1 1
1324 1 1
1325 1 1
1326 1 1
1327 1 1
1328 1 1
1329 1 1
1330 1 1
1331 1 1
1332 1 1
1333 1 1
1338 1 1
1339 1 1
1341 1 1
1342 1 1
1343 1 1
1347 1 1
1348 1 1
1349 1 1
1350 1 1
1351 1 1
1352 1 1
1353 1 1
1354 1 1
1355 1 1
1356 1 1
1357 1 1
1358 1 1
1362 1 1
1366 1 1
1370 1 1
1374 1 1
1378 1 1
1379 1 1
1383 1 1
1387 1 1
1391 1 1
1395 1 1
1399 1 1
1403 1 1
1407 1 1
1411 1 1
1415 1 1
1419 1 1
1423 1 1
1424 1 1
1428 1 1
1429 1 1
1433 1 1
1437 1 1
1441 1 1
1445 1 1
1449 1 1
1453 1 1
1457 1 1
1461 1 1
1465 1 1
1469 1 1
1473 1 1
1477 1 1
1481 1 1
1485 1 1
1489 1 1
1493 1 1
1507 unreachable
1515 1 1
1516 1 1


Cond Coverage for Instance : tb.dut.u_reg
TotalCoveredPercent
Conditions43442898.62
Logical43442898.62
Non-Logical00
Event00

This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.
Line numbersPercent
61-128998.55
1290-1294100.00

Branch Coverage for Instance : tb.dut.u_reg
Line No.TotalCoveredPercent
Branches 41 41 100.00
TERNARY 1181 2 2 100.00
IF 71 3 3 100.00
CASE 1339 36 36 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 1181 ((reg_re || reg_we)) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T90
0 Covered T1,T2,T88


LineNo. Expression -1-: 71 if ((!rst_ni)) -2-: 73 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T88
0 1 Covered T90,T93,T114
0 0 Covered T1,T2,T88


LineNo. Expression -1-: 1339 case (1'b1)

Branches:
-1-StatusTests
addr_hit[0] Covered T1,T2,T88
addr_hit[1] Covered T1,T2,T88
addr_hit[2] Covered T1,T2,T88
addr_hit[3] Covered T1,T2,T88
addr_hit[4] Covered T1,T2,T88
addr_hit[5] Covered T1,T2,T88
addr_hit[6] Covered T1,T2,T88
addr_hit[7] Covered T1,T2,T88
addr_hit[8] Covered T1,T2,T88
addr_hit[9] Covered T1,T2,T88
addr_hit[10] Covered T1,T2,T88
addr_hit[11] Covered T1,T2,T88
addr_hit[12] Covered T1,T2,T88
addr_hit[13] Covered T1,T2,T88
addr_hit[14] Covered T1,T2,T88
addr_hit[15] Covered T1,T2,T88
addr_hit[16] Covered T1,T2,T88
addr_hit[17] Covered T1,T2,T88
addr_hit[18] Covered T1,T2,T88
addr_hit[19] Covered T1,T2,T88
addr_hit[20] Covered T1,T2,T88
addr_hit[21] Covered T1,T2,T88
addr_hit[22] Covered T1,T2,T88
addr_hit[23] Covered T1,T2,T88
addr_hit[24] Covered T1,T2,T88
addr_hit[25] Covered T1,T2,T88
addr_hit[26] Covered T1,T2,T88
addr_hit[27] Covered T1,T2,T88
addr_hit[28] Covered T1,T2,T88
addr_hit[29] Covered T1,T2,T88
addr_hit[30] Covered T1,T2,T88
addr_hit[31] Covered T1,T2,T88
addr_hit[32] Covered T1,T2,T88
addr_hit[33] Covered T1,T2,T88
addr_hit[34] Covered T1,T2,T88
default Covered T1,T2,T88


Assert Coverage for Instance : tb.dut.u_reg
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
en2addrHit 70637425 1942844 0 0
reAfterRv 70637425 1942843 0 0
rePulse 70637425 1661292 0 0
wePulse 70637425 281551 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 70637425 1942844 0 0
T1 34307 1560 0 0
T2 116338 55007 0 0
T90 10028 746 0 0
T91 2007 62 0 0
T92 1226 240 0 0
T93 6267 355 0 0
T94 1194 38 0 0
T111 4712 397 0 0
T112 3170 75 0 0
T139 1583 76 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 70637425 1942843 0 0
T1 34307 1560 0 0
T2 116338 55007 0 0
T90 10028 746 0 0
T91 2007 62 0 0
T92 1226 240 0 0
T93 6267 355 0 0
T94 1194 38 0 0
T111 4712 397 0 0
T112 3170 75 0 0
T139 1583 76 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 70637425 1661292 0 0
T1 34307 880 0 0
T2 116338 51227 0 0
T90 10028 81 0 0
T91 2007 24 0 0
T92 1226 38 0 0
T93 6267 40 0 0
T94 1194 5 0 0
T111 4712 38 0 0
T112 3170 5 0 0
T139 1583 10 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 70637425 281551 0 0
T1 34307 680 0 0
T2 116338 3780 0 0
T90 10028 665 0 0
T91 2007 38 0 0
T92 1226 202 0 0
T93 6267 315 0 0
T94 1194 33 0 0
T111 4712 359 0 0
T112 3170 70 0 0
T139 1583 66 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%