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

Module : lc_ctrl_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.77 100.00 99.08 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.77 100.00 99.08 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.77 100.00 99.08 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.37 97.79 99.05 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
Conditions43443099.08
Logical43443099.08
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-128699.25
1287-129496.88

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,T83,T84
0 Covered T1,T83,T84


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

Branches:
-1--2-StatusTests
1 - Covered T1,T83,T84
0 1 Covered T102,T103,T114
0 0 Covered T1,T83,T84


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

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


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 129399196 2524965 0 0
reAfterRv 129399196 2524963 0 0
rePulse 129399196 2142125 0 0
wePulse 129399196 382838 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 129399196 2524965 0 0
T1 37015 3199 0 0
T83 3300 12 0 0
T84 2613 112 0 0
T85 8894 90 0 0
T86 113903 330 0 0
T87 3104 320 0 0
T88 3420 33 0 0
T89 908 36 0 0
T90 1639 210 0 0
T91 4591 30 0 0
T96 2634 98 0 0
T98 1568 83 0 0
T102 5901 368 0 0
T118 10216 0 0 0
T133 1127 69 0 0
T134 18422 165 0 0
T135 42152 330 0 0
T136 2763 32 0 0
T137 3646 20 0 0
T138 0 30 0 0
T139 0 90 0 0
T140 3962 0 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 129399196 2524963 0 0
T1 37015 3199 0 0
T83 3300 12 0 0
T84 2613 112 0 0
T85 8894 90 0 0
T86 113903 330 0 0
T87 3104 320 0 0
T88 3420 33 0 0
T89 908 36 0 0
T90 1639 210 0 0
T91 4591 30 0 0
T96 2634 98 0 0
T98 1568 83 0 0
T102 5901 368 0 0
T118 10216 0 0 0
T133 1127 69 0 0
T134 18422 165 0 0
T135 42152 330 0 0
T136 2763 32 0 0
T137 3646 20 0 0
T138 0 30 0 0
T139 0 90 0 0
T140 3962 0 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 129399196 2142125 0 0
T1 37015 2719 0 0
T83 3300 12 0 0
T84 2613 30 0 0
T85 8894 24 0 0
T86 113903 264 0 0
T87 3104 254 0 0
T89 908 3 0 0
T90 1639 20 0 0
T91 4591 1 0 0
T96 2634 32 0 0
T98 1568 22 0 0
T102 5901 42 0 0
T103 11029 0 0 0
T133 1127 6 0 0
T134 18422 132 0 0
T135 42152 264 0 0
T138 3662 12 0 0
T139 8483 24 0 0
T141 0 6 0 0
T142 0 384 0 0
T143 0 3 0 0
T144 11066 0 0 0
T145 1101 0 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 129399196 382838 0 0
T1 37015 480 0 0
T84 2613 82 0 0
T85 8894 66 0 0
T86 113903 66 0 0
T87 3104 66 0 0
T88 3420 33 0 0
T89 908 33 0 0
T90 1639 190 0 0
T91 4591 29 0 0
T96 2634 66 0 0
T98 1568 61 0 0
T102 5901 326 0 0
T118 10216 0 0 0
T123 8882 0 0 0
T133 1127 63 0 0
T134 18422 33 0 0
T135 42152 66 0 0
T136 2763 32 0 0
T137 3646 20 0 0
T138 0 18 0 0
T139 0 66 0 0
T140 3962 0 0 0
T146 0 37 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,T83,T84
10Not Covered
11CoveredT85,T86,T88

 LINE       73
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTestsExclude Annotation
00CoveredT1,T83,T84
01CoveredT59,T50,T51
10Excluded VC_COV_UNR

 LINE       80
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTestsExclude Annotation
000CoveredT1,T83,T84
001CoveredT59,T50,T51
010Excluded VC_COV_UNR
100CoveredT59,T50,T51

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

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

 LINE       502
 EXPRESSION (claim_transition_if_we & claim_transition_if_regwen_qs)
             -----------1----------   --------------2--------------
-1--2-StatusTests
01CoveredT1,T83,T84
10CoveredT86,T134,T139
11CoveredT85,T135,T139

 LINE       541
 EXPRESSION (transition_cmd_we & transition_regwen_qs)
             --------1--------   ----------2---------
-1--2-StatusTests
01CoveredT3,T5,T6
10CoveredT5,T14,T15
11CoveredT5,T14,T15

 LINE       564
 EXPRESSION (transition_ctrl_we & transition_regwen_qs)
             ---------1--------   ----------2---------
-1--2-StatusTests
01CoveredT3,T5,T6
10CoveredT3,T6,T7
11CoveredT3,T6,T7

 LINE       605
 EXPRESSION (transition_token_0_we & transition_regwen_qs)
             ----------1----------   ----------2---------
-1--2-StatusTests
01CoveredT3,T5,T6
10CoveredT85,T86,T134
11CoveredT3,T5,T6

 LINE       629
 EXPRESSION (transition_token_1_we & transition_regwen_qs)
             ----------1----------   ----------2---------
-1--2-StatusTests
01CoveredT3,T5,T6
10CoveredT85,T86,T134
11CoveredT3,T5,T6

 LINE       653
 EXPRESSION (transition_token_2_we & transition_regwen_qs)
             ----------1----------   ----------2---------
-1--2-StatusTests
01CoveredT3,T5,T6
10CoveredT85,T86,T134
11CoveredT3,T5,T6

 LINE       677
 EXPRESSION (transition_token_3_we & transition_regwen_qs)
             ----------1----------   ----------2---------
-1--2-StatusTests
01CoveredT3,T5,T6
10CoveredT85,T86,T134
11CoveredT3,T5,T6

 LINE       700
 EXPRESSION (transition_target_we & transition_regwen_qs)
             ----------1---------   ----------2---------
-1--2-StatusTests
01CoveredT3,T5,T6
10CoveredT85,T86,T134
11CoveredT3,T5,T6

 LINE       723
 EXPRESSION (otp_vendor_test_ctrl_we & transition_regwen_qs)
             -----------1-----------   ----------2---------
-1--2-StatusTests
01CoveredT3,T5,T6
10CoveredT85,T86,T134
11CoveredT3,T5,T6

 LINE       1144
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_ALERT_TEST_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1145
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_STATUS_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1146
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_CLAIM_TRANSITION_IF_REGWEN_OFFSET)
            ------------------------------------1-----------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1147
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_CLAIM_TRANSITION_IF_OFFSET)
            --------------------------------1--------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1148
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_REGWEN_OFFSET)
            -------------------------------1-------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1149
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_CMD_OFFSET)
            ------------------------------1-----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1150
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_CTRL_OFFSET)
            ------------------------------1------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT3,T6,T7

 LINE       1151
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_0_OFFSET)
            --------------------------------1-------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1152
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_1_OFFSET)
            --------------------------------1-------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1153
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_2_OFFSET)
            --------------------------------1-------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1154
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_3_OFFSET)
            --------------------------------1-------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1155
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TARGET_OFFSET)
            -------------------------------1-------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1156
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_OTP_VENDOR_TEST_CTRL_OFFSET)
            ---------------------------------1--------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1157
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_OTP_VENDOR_TEST_STATUS_OFFSET)
            ----------------------------------1---------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT83,T85,T86

 LINE       1158
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_STATE_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1159
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_TRANSITION_CNT_OFFSET)
            -------------------------------1-------------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1160
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_ID_STATE_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1161
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_HW_REVISION0_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1162
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_HW_REVISION1_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1163
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_0_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1164
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_1_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1165
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_2_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1166
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_3_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1167
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_4_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1168
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_5_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1169
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_6_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1170
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_7_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1171
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_0_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1172
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_1_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1173
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_2_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1174
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_3_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1175
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_4_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1176
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_5_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1177
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_6_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1178
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_7_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT83,T85,T86
1CoveredT85,T86,T134

 LINE       1181
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT1,T83,T84
1CoveredT83,T85,T86

 LINE       1181
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT1,T83,T84
01CoveredT85,T86,T88
10CoveredT83,T85,T86

 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
10CoveredT85,T86,T88
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 ZEROSCoveredT83,T85,T86
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
10CoveredT83,T85,T86
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
10CoveredT85,T86,T134
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
10CoveredT83,T85,T86
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
10CoveredT83,T85,T86
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
10CoveredT83,T85,T86
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
10CoveredT83,T85,T86
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
10CoveredT3,T6,T7
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
10CoveredT83,T85,T86
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
10CoveredT83,T85,T86
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
10CoveredT83,T85,T86
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
10CoveredT83,T85,T86
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
10CoveredT83,T85,T86
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
10CoveredT83,T85,T86
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
10CoveredT83,T85,T86
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
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
10CoveredT85,T86,T134
11Excluded VC_COV_UNR

 LINE       1224
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T134
101CoveredT83,T85,T86
110Excluded VC_COV_UNR
111CoveredT85,T86,T88

 LINE       1231
 EXPRESSION (addr_hit[1] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1232
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T88
101CoveredT83,T85,T86
110Excluded VC_COV_UNR
111CoveredT85,T86,T134

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

 LINE       1236
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T88
101CoveredT83,T85,T86
110Excluded VC_COV_UNR
111CoveredT85,T86,T134

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

 LINE       1240
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T88
101CoveredT83,T85,T86
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1243
 EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT3,T6,T7
110Excluded VC_COV_UNR
111CoveredT3,T6,T7

 LINE       1244
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T88
101CoveredT3,T6,T7
110Excluded VC_COV_UNR
111CoveredT3,T6,T7

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

 LINE       1250
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T88
101CoveredT83,T85,T86
110Excluded VC_COV_UNR
111CoveredT85,T86,T134

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

 LINE       1254
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T88
101CoveredT83,T85,T86
110Excluded VC_COV_UNR
111CoveredT85,T86,T134

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

 LINE       1258
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T88
101CoveredT83,T85,T86
110Excluded VC_COV_UNR
111CoveredT85,T86,T134

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

 LINE       1262
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T88
101CoveredT83,T85,T86
110Excluded VC_COV_UNR
111CoveredT85,T86,T134

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

 LINE       1266
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T88
101CoveredT83,T85,T86
110Excluded VC_COV_UNR
111CoveredT85,T86,T134

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

 LINE       1270
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT85,T86,T88
101CoveredT83,T85,T86
110Excluded VC_COV_UNR
111CoveredT85,T86,T134

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

 LINE       1274
 EXPRESSION (addr_hit[14] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1275
 EXPRESSION (addr_hit[15] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1276
 EXPRESSION (addr_hit[16] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111Not Covered

 LINE       1277
 EXPRESSION (addr_hit[17] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1278
 EXPRESSION (addr_hit[18] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1279
 EXPRESSION (addr_hit[19] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1280
 EXPRESSION (addr_hit[20] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1281
 EXPRESSION (addr_hit[21] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1282
 EXPRESSION (addr_hit[22] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1283
 EXPRESSION (addr_hit[23] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1284
 EXPRESSION (addr_hit[24] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1285
 EXPRESSION (addr_hit[25] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1286
 EXPRESSION (addr_hit[26] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1287
 EXPRESSION (addr_hit[27] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1288
 EXPRESSION (addr_hit[28] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1289
 EXPRESSION (addr_hit[29] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1290
 EXPRESSION (addr_hit[30] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1291
 EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1292
 EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1293
 EXPRESSION (addr_hit[33] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

 LINE       1294
 EXPRESSION (addr_hit[34] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTestsExclude Annotation
011CoveredT83,T85,T86
101CoveredT85,T86,T134
110Excluded VC_COV_UNR
111CoveredT5,T14,T15

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 T83,T85,T86
0 Covered T1,T83,T84


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

Branches:
-1--2-StatusTests
1 - Covered T1,T83,T84
0 1 Covered T59,T50,T51
0 0 Covered T1,T83,T84


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

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


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 64699598 238216 0 0
reAfterRv 64699598 238216 0 0
rePulse 64699598 146202 0 0
wePulse 64699598 92014 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 64699598 238216 0 0
T83 3300 12 0 0
T85 8894 90 0 0
T86 113903 330 0 0
T88 3420 33 0 0
T118 10216 0 0 0
T134 18422 165 0 0
T135 42152 330 0 0
T136 2763 32 0 0
T137 3646 20 0 0
T138 0 30 0 0
T139 0 90 0 0
T140 3962 0 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 64699598 238216 0 0
T83 3300 12 0 0
T85 8894 90 0 0
T86 113903 330 0 0
T88 3420 33 0 0
T118 10216 0 0 0
T134 18422 165 0 0
T135 42152 330 0 0
T136 2763 32 0 0
T137 3646 20 0 0
T138 0 30 0 0
T139 0 90 0 0
T140 3962 0 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 64699598 146202 0 0
T83 3300 12 0 0
T85 8894 24 0 0
T86 113903 264 0 0
T103 11029 0 0 0
T134 18422 132 0 0
T135 42152 264 0 0
T138 3662 12 0 0
T139 8483 24 0 0
T141 0 6 0 0
T142 0 384 0 0
T143 0 3 0 0
T144 11066 0 0 0
T145 1101 0 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 64699598 92014 0 0
T85 8894 66 0 0
T86 113903 66 0 0
T88 3420 33 0 0
T118 10216 0 0 0
T123 8882 0 0 0
T134 18422 33 0 0
T135 42152 66 0 0
T136 2763 32 0 0
T137 3646 20 0 0
T138 0 18 0 0
T139 0 66 0 0
T140 3962 0 0 0
T146 0 37 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
Conditions43443099.08
Logical43443099.08
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-128799.26
1288-129496.43

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,T84,T87
0 Covered T1,T83,T84


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

Branches:
-1--2-StatusTests
1 - Covered T1,T83,T84
0 1 Covered T102,T103,T114
0 0 Covered T1,T83,T84


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

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


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 64699598 2286749 0 0
reAfterRv 64699598 2286747 0 0
rePulse 64699598 1995923 0 0
wePulse 64699598 290824 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 64699598 2286749 0 0
T1 37015 3199 0 0
T84 2613 112 0 0
T87 3104 320 0 0
T89 908 36 0 0
T90 1639 210 0 0
T91 4591 30 0 0
T96 2634 98 0 0
T98 1568 83 0 0
T102 5901 368 0 0
T133 1127 69 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 64699598 2286747 0 0
T1 37015 3199 0 0
T84 2613 112 0 0
T87 3104 320 0 0
T89 908 36 0 0
T90 1639 210 0 0
T91 4591 30 0 0
T96 2634 98 0 0
T98 1568 83 0 0
T102 5901 368 0 0
T133 1127 69 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 64699598 1995923 0 0
T1 37015 2719 0 0
T84 2613 30 0 0
T87 3104 254 0 0
T89 908 3 0 0
T90 1639 20 0 0
T91 4591 1 0 0
T96 2634 32 0 0
T98 1568 22 0 0
T102 5901 42 0 0
T133 1127 6 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 64699598 290824 0 0
T1 37015 480 0 0
T84 2613 82 0 0
T87 3104 66 0 0
T89 908 33 0 0
T90 1639 190 0 0
T91 4591 29 0 0
T96 2634 66 0 0
T98 1568 61 0 0
T102 5901 326 0 0
T133 1127 63 0 0

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