Line Coverage for Module :
i2c_reg_top
| Line No. | Total | Covered | Percent |
| TOTAL | | 359 | 359 | 100.00 |
| ALWAYS | 68 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 77 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 90 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 118 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 119 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1174 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1190 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1206 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1222 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1238 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1254 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1270 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1286 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1302 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1318 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1334 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1350 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1366 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1382 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1398 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1418 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1806 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1834 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1862 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1890 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1918 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1946 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1987 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2015 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2043 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2071 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2112 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2140 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2181 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2209 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2237 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2961 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3079 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3094 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3110 | 1 | 1 | 100.00 |
| ALWAYS | 3271 | 32 | 32 | 100.00 |
| CONT_ASSIGN | 3305 | 1 | 1 | 100.00 |
| ALWAYS | 3309 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3344 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3346 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3348 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3350 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3352 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3354 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3356 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3358 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3360 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3361 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3363 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3365 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3367 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3369 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3371 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3373 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3375 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3379 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3381 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3383 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3385 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3387 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3389 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3391 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3392 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3394 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3396 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3398 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3400 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3402 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3404 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3406 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3408 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3410 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3412 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3414 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3416 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3418 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3420 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3422 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3423 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3425 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3426 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3428 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3430 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3432 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3434 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3436 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3438 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3439 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3440 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3441 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3443 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3445 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3447 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3449 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3451 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3453 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3454 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3456 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3458 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3460 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3462 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3463 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3465 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3467 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3468 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3470 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3472 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3474 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3475 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3476 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3477 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3479 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3481 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3483 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3484 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3485 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3487 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3489 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3490 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3492 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3494 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3495 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3497 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3499 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3500 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3502 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3504 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3505 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3507 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3509 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3510 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3512 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3514 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3516 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3517 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3519 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3521 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3523 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3525 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3526 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3527 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3529 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3530 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3532 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3533 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3535 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3537 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3538 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3541 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3542 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3544 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3546 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3547 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3548 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3550 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3552 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3553 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3555 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3557 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3559 | 1 | 1 | 100.00 |
| ALWAYS | 3563 | 32 | 32 | 100.00 |
| ALWAYS | 3599 | 122 | 122 | 100.00 |
| CONT_ASSIGN | 3825 | 0 | 0 | |
| CONT_ASSIGN | 3833 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3834 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv' or '../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 68 |
1 |
1 |
| 69 |
1 |
1 |
| 70 |
1 |
1 |
| 71 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 77 |
1 |
1 |
| 89 |
1 |
1 |
| 90 |
1 |
1 |
| 118 |
1 |
1 |
| 119 |
1 |
1 |
| 1159 |
1 |
1 |
| 1174 |
1 |
1 |
| 1190 |
1 |
1 |
| 1206 |
1 |
1 |
| 1222 |
1 |
1 |
| 1238 |
1 |
1 |
| 1254 |
1 |
1 |
| 1270 |
1 |
1 |
| 1286 |
1 |
1 |
| 1302 |
1 |
1 |
| 1318 |
1 |
1 |
| 1334 |
1 |
1 |
| 1350 |
1 |
1 |
| 1366 |
1 |
1 |
| 1382 |
1 |
1 |
| 1398 |
1 |
1 |
| 1404 |
1 |
1 |
| 1418 |
1 |
1 |
| 1806 |
1 |
1 |
| 1834 |
1 |
1 |
| 1862 |
1 |
1 |
| 1890 |
1 |
1 |
| 1918 |
1 |
1 |
| 1946 |
1 |
1 |
| 1987 |
1 |
1 |
| 2015 |
1 |
1 |
| 2043 |
1 |
1 |
| 2071 |
1 |
1 |
| 2112 |
1 |
1 |
| 2140 |
1 |
1 |
| 2181 |
1 |
1 |
| 2209 |
1 |
1 |
| 2237 |
1 |
1 |
| 2961 |
1 |
1 |
| 3079 |
1 |
1 |
| 3094 |
1 |
1 |
| 3110 |
1 |
1 |
| 3271 |
1 |
1 |
| 3272 |
1 |
1 |
| 3273 |
1 |
1 |
| 3274 |
1 |
1 |
| 3275 |
1 |
1 |
| 3276 |
1 |
1 |
| 3277 |
1 |
1 |
| 3278 |
1 |
1 |
| 3279 |
1 |
1 |
| 3280 |
1 |
1 |
| 3281 |
1 |
1 |
| 3282 |
1 |
1 |
| 3283 |
1 |
1 |
| 3284 |
1 |
1 |
| 3285 |
1 |
1 |
| 3286 |
1 |
1 |
| 3287 |
1 |
1 |
| 3288 |
1 |
1 |
| 3289 |
1 |
1 |
| 3290 |
1 |
1 |
| 3291 |
1 |
1 |
| 3292 |
1 |
1 |
| 3293 |
1 |
1 |
| 3294 |
1 |
1 |
| 3295 |
1 |
1 |
| 3296 |
1 |
1 |
| 3297 |
1 |
1 |
| 3298 |
1 |
1 |
| 3299 |
1 |
1 |
| 3300 |
1 |
1 |
| 3301 |
1 |
1 |
| 3302 |
1 |
1 |
| 3305 |
1 |
1 |
| 3309 |
1 |
1 |
| 3344 |
1 |
1 |
| 3346 |
1 |
1 |
| 3348 |
1 |
1 |
| 3350 |
1 |
1 |
| 3352 |
1 |
1 |
| 3354 |
1 |
1 |
| 3356 |
1 |
1 |
| 3358 |
1 |
1 |
| 3360 |
1 |
1 |
| 3361 |
1 |
1 |
| 3363 |
1 |
1 |
| 3365 |
1 |
1 |
| 3367 |
1 |
1 |
| 3369 |
1 |
1 |
| 3371 |
1 |
1 |
| 3373 |
1 |
1 |
| 3375 |
1 |
1 |
| 3377 |
1 |
1 |
| 3379 |
1 |
1 |
| 3381 |
1 |
1 |
| 3383 |
1 |
1 |
| 3385 |
1 |
1 |
| 3387 |
1 |
1 |
| 3389 |
1 |
1 |
| 3391 |
1 |
1 |
| 3392 |
1 |
1 |
| 3394 |
1 |
1 |
| 3396 |
1 |
1 |
| 3398 |
1 |
1 |
| 3400 |
1 |
1 |
| 3402 |
1 |
1 |
| 3404 |
1 |
1 |
| 3406 |
1 |
1 |
| 3408 |
1 |
1 |
| 3410 |
1 |
1 |
| 3412 |
1 |
1 |
| 3414 |
1 |
1 |
| 3416 |
1 |
1 |
| 3418 |
1 |
1 |
| 3420 |
1 |
1 |
| 3422 |
1 |
1 |
| 3423 |
1 |
1 |
| 3425 |
1 |
1 |
| 3426 |
1 |
1 |
| 3428 |
1 |
1 |
| 3430 |
1 |
1 |
| 3432 |
1 |
1 |
| 3434 |
1 |
1 |
| 3436 |
1 |
1 |
| 3438 |
1 |
1 |
| 3439 |
1 |
1 |
| 3440 |
1 |
1 |
| 3441 |
1 |
1 |
| 3443 |
1 |
1 |
| 3445 |
1 |
1 |
| 3447 |
1 |
1 |
| 3449 |
1 |
1 |
| 3451 |
1 |
1 |
| 3453 |
1 |
1 |
| 3454 |
1 |
1 |
| 3456 |
1 |
1 |
| 3458 |
1 |
1 |
| 3460 |
1 |
1 |
| 3462 |
1 |
1 |
| 3463 |
1 |
1 |
| 3465 |
1 |
1 |
| 3467 |
1 |
1 |
| 3468 |
1 |
1 |
| 3470 |
1 |
1 |
| 3472 |
1 |
1 |
| 3474 |
1 |
1 |
| 3475 |
1 |
1 |
| 3476 |
1 |
1 |
| 3477 |
1 |
1 |
| 3479 |
1 |
1 |
| 3481 |
1 |
1 |
| 3483 |
1 |
1 |
| 3484 |
1 |
1 |
| 3485 |
1 |
1 |
| 3487 |
1 |
1 |
| 3489 |
1 |
1 |
| 3490 |
1 |
1 |
| 3492 |
1 |
1 |
| 3494 |
1 |
1 |
| 3495 |
1 |
1 |
| 3497 |
1 |
1 |
| 3499 |
1 |
1 |
| 3500 |
1 |
1 |
| 3502 |
1 |
1 |
| 3504 |
1 |
1 |
| 3505 |
1 |
1 |
| 3507 |
1 |
1 |
| 3509 |
1 |
1 |
| 3510 |
1 |
1 |
| 3512 |
1 |
1 |
| 3514 |
1 |
1 |
| 3516 |
1 |
1 |
| 3517 |
1 |
1 |
| 3519 |
1 |
1 |
| 3521 |
1 |
1 |
| 3523 |
1 |
1 |
| 3525 |
1 |
1 |
| 3526 |
1 |
1 |
| 3527 |
1 |
1 |
| 3529 |
1 |
1 |
| 3530 |
1 |
1 |
| 3532 |
1 |
1 |
| 3533 |
1 |
1 |
| 3535 |
1 |
1 |
| 3537 |
1 |
1 |
| 3538 |
1 |
1 |
| 3541 |
1 |
1 |
| 3542 |
1 |
1 |
| 3544 |
1 |
1 |
| 3546 |
1 |
1 |
| 3547 |
1 |
1 |
| 3548 |
1 |
1 |
| 3550 |
1 |
1 |
| 3552 |
1 |
1 |
| 3553 |
1 |
1 |
| 3555 |
1 |
1 |
| 3557 |
1 |
1 |
| 3559 |
1 |
1 |
| 3563 |
1 |
1 |
| 3564 |
1 |
1 |
| 3565 |
1 |
1 |
| 3566 |
1 |
1 |
| 3567 |
1 |
1 |
| 3568 |
1 |
1 |
| 3569 |
1 |
1 |
| 3570 |
1 |
1 |
| 3571 |
1 |
1 |
| 3572 |
1 |
1 |
| 3573 |
1 |
1 |
| 3574 |
1 |
1 |
| 3575 |
1 |
1 |
| 3576 |
1 |
1 |
| 3577 |
1 |
1 |
| 3578 |
1 |
1 |
| 3579 |
1 |
1 |
| 3580 |
1 |
1 |
| 3581 |
1 |
1 |
| 3582 |
1 |
1 |
| 3583 |
1 |
1 |
| 3584 |
1 |
1 |
| 3585 |
1 |
1 |
| 3586 |
1 |
1 |
| 3587 |
1 |
1 |
| 3588 |
1 |
1 |
| 3589 |
1 |
1 |
| 3590 |
1 |
1 |
| 3591 |
1 |
1 |
| 3592 |
1 |
1 |
| 3593 |
1 |
1 |
| 3594 |
1 |
1 |
| 3599 |
1 |
1 |
| 3600 |
1 |
1 |
| 3602 |
1 |
1 |
| 3603 |
1 |
1 |
| 3604 |
1 |
1 |
| 3605 |
1 |
1 |
| 3606 |
1 |
1 |
| 3607 |
1 |
1 |
| 3608 |
1 |
1 |
| 3609 |
1 |
1 |
| 3610 |
1 |
1 |
| 3611 |
1 |
1 |
| 3612 |
1 |
1 |
| 3613 |
1 |
1 |
| 3614 |
1 |
1 |
| 3615 |
1 |
1 |
| 3616 |
1 |
1 |
| 3620 |
1 |
1 |
| 3621 |
1 |
1 |
| 3622 |
1 |
1 |
| 3623 |
1 |
1 |
| 3624 |
1 |
1 |
| 3625 |
1 |
1 |
| 3626 |
1 |
1 |
| 3627 |
1 |
1 |
| 3628 |
1 |
1 |
| 3629 |
1 |
1 |
| 3630 |
1 |
1 |
| 3631 |
1 |
1 |
| 3632 |
1 |
1 |
| 3633 |
1 |
1 |
| 3634 |
1 |
1 |
| 3638 |
1 |
1 |
| 3639 |
1 |
1 |
| 3640 |
1 |
1 |
| 3641 |
1 |
1 |
| 3642 |
1 |
1 |
| 3643 |
1 |
1 |
| 3644 |
1 |
1 |
| 3645 |
1 |
1 |
| 3646 |
1 |
1 |
| 3647 |
1 |
1 |
| 3648 |
1 |
1 |
| 3649 |
1 |
1 |
| 3650 |
1 |
1 |
| 3651 |
1 |
1 |
| 3652 |
1 |
1 |
| 3656 |
1 |
1 |
| 3660 |
1 |
1 |
| 3661 |
1 |
1 |
| 3662 |
1 |
1 |
| 3663 |
1 |
1 |
| 3664 |
1 |
1 |
| 3665 |
1 |
1 |
| 3669 |
1 |
1 |
| 3670 |
1 |
1 |
| 3671 |
1 |
1 |
| 3672 |
1 |
1 |
| 3673 |
1 |
1 |
| 3674 |
1 |
1 |
| 3675 |
1 |
1 |
| 3676 |
1 |
1 |
| 3677 |
1 |
1 |
| 3678 |
1 |
1 |
| 3679 |
1 |
1 |
| 3683 |
1 |
1 |
| 3687 |
1 |
1 |
| 3688 |
1 |
1 |
| 3689 |
1 |
1 |
| 3690 |
1 |
1 |
| 3691 |
1 |
1 |
| 3692 |
1 |
1 |
| 3696 |
1 |
1 |
| 3697 |
1 |
1 |
| 3698 |
1 |
1 |
| 3699 |
1 |
1 |
| 3703 |
1 |
1 |
| 3704 |
1 |
1 |
| 3708 |
1 |
1 |
| 3709 |
1 |
1 |
| 3710 |
1 |
1 |
| 3714 |
1 |
1 |
| 3715 |
1 |
1 |
| 3719 |
1 |
1 |
| 3720 |
1 |
1 |
| 3724 |
1 |
1 |
| 3725 |
1 |
1 |
| 3726 |
1 |
1 |
| 3730 |
1 |
1 |
| 3731 |
1 |
1 |
| 3735 |
1 |
1 |
| 3736 |
1 |
1 |
| 3740 |
1 |
1 |
| 3741 |
1 |
1 |
| 3745 |
1 |
1 |
| 3746 |
1 |
1 |
| 3750 |
1 |
1 |
| 3751 |
1 |
1 |
| 3755 |
1 |
1 |
| 3756 |
1 |
1 |
| 3760 |
1 |
1 |
| 3761 |
1 |
1 |
| 3762 |
1 |
1 |
| 3766 |
1 |
1 |
| 3767 |
1 |
1 |
| 3768 |
1 |
1 |
| 3769 |
1 |
1 |
| 3773 |
1 |
1 |
| 3774 |
1 |
1 |
| 3778 |
1 |
1 |
| 3782 |
1 |
1 |
| 3786 |
1 |
1 |
| 3787 |
1 |
1 |
| 3791 |
1 |
1 |
| 3795 |
1 |
1 |
| 3796 |
1 |
1 |
| 3800 |
1 |
1 |
| 3804 |
1 |
1 |
| 3805 |
1 |
1 |
| 3809 |
1 |
1 |
| 3810 |
1 |
1 |
| 3811 |
1 |
1 |
| 3825 |
|
unreachable |
| 3833 |
1 |
1 |
| 3834 |
1 |
1 |
Cond Coverage for Module :
i2c_reg_top
| Total | Covered | Percent |
| Conditions | 337 | 335 | 99.41 |
| Logical | 337 | 335 | 99.41 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 58
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T122,T123,T136 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 70
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T124,T125,T127 |
| 1 | 0 | Covered | T134,T135,T137 |
LINE 77
EXPRESSION (err_q | intg_err | reg_we_err)
--1-- ----2--- -----3----
| -1- | -2- | -3- | Status | Tests |
| 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 1 | Covered | T124,T125,T127 |
| 0 | 1 | 0 | Covered | T134,T135,T137 |
| 1 | 0 | 0 | Covered | T124,T125,T127 |
LINE 119
EXPRESSION (addrmiss | wr_err | intg_err)
----1--- ---2-- ----3---
| -1- | -2- | -3- | Status | Tests |
| 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 1 | Covered | T134,T135,T137 |
| 0 | 1 | 0 | Covered | T122,T123,T92 |
| 1 | 0 | 0 | Covered | T122,T123,T136 |
LINE 3272
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_STATE_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3273
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_ENABLE_OFFSET)
------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3274
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_TEST_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T6,T7 |
LINE 3275
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ALERT_TEST_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T6,T7 |
LINE 3276
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_CTRL_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3277
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_STATUS_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3278
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_RDATA_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T5 |
LINE 3279
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FDATA_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3280
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FIFO_CTRL_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3281
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_FIFO_CONFIG_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3282
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_FIFO_CONFIG_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3283
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_FIFO_STATUS_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T6,T7 |
LINE 3284
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_FIFO_STATUS_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T4,T6 |
LINE 3285
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_OVRD_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T6,T7 |
LINE 3286
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_VAL_OFFSET)
--------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T6,T7 |
LINE 3287
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING0_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3288
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING1_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3289
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING2_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3290
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING3_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3291
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING4_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3292
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMEOUT_CTRL_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3293
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_ID_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T4,T6 |
LINE 3294
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ACQDATA_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T4,T6 |
LINE 3295
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TXDATA_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T4,T6 |
LINE 3296
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_TIMEOUT_CTRL_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T4,T6 |
LINE 3297
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_TIMEOUT_CTRL_OFFSET)
----------------------------1----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T6,T7 |
LINE 3298
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_NACK_COUNT_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T6,T7 |
LINE 3299
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_ACK_CTRL_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T6,T7 |
LINE 3300
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ACQ_FIFO_NEXT_DATA_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T6,T7 |
LINE 3301
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_NACK_HANDLER_TIMEOUT_OFFSET)
-------------------------------1-------------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T5 |
LINE 3302
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_CONTROLLER_EVENTS_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3305
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3305
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 3309
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[2] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[8] & ((|(4'b0011 & (~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'b1 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[16] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[22] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1 & (~reg_be))))) | (addr_hit[24] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1 & (~reg_be))))) | (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1 & (~reg_be))))) | (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[30] & ((|(4'b1 & (~reg_be)))))))
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T122,T123,T92 |
LINE 3309
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b0011 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) |
3 (addr_hit[2] & ((|(4'b0011 & (~reg_be))))) |
4 (addr_hit[3] & ((|(4'b1 & (~reg_be))))) |
5 (addr_hit[4] & ((|(4'b1 & (~reg_be))))) |
6 (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b1 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b0011 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b0011 & (~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'b1 & (~reg_be))))) |
15 (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) |
16 (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) |
17 (addr_hit[16] & ((|(4'b1111 & (~reg_be))))) |
18 (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) |
19 (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) |
20 (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) |
21 (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) |
22 (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) |
23 (addr_hit[22] & ((|(4'b0011 & (~reg_be))))) |
24 (addr_hit[23] & ((|(4'b1 & (~reg_be))))) |
25 (addr_hit[24] & ((|(4'b0111 & (~reg_be))))) |
26 (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) |
27 (addr_hit[26] & ((|(4'b1 & (~reg_be))))) |
28 (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) |
29 (addr_hit[28] & ((|(4'b1 & (~reg_be))))) |
30 (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) |
31 (addr_hit[30] & ((|(4'b1 & (~reg_be))))))
| Sensitive Expression == 1 | Status | Tests |
| ALL ZEROS | Covered | T1,T2,T3 |
| 31 (addr_hit[30] & ((|(4'... | Covered | T1,T6,T7 |
| 30 (addr_hit[29] & ((|(4'... | Covered | T1,T6,T7 |
| 29 (addr_hit[28] & ((|(4'... | Covered | T1,T6,T7 |
| 28 (addr_hit[27] & ((|(4'... | Covered | T1,T6,T7 |
| 27 (addr_hit[26] & ((|(4'... | Covered | T1,T6,T7 |
| 26 (addr_hit[25] & ((|(4'... | Covered | T1,T6,T7 |
| 25 (addr_hit[24] & ((|(4'... | Covered | T1,T6,T7 |
| 24 (addr_hit[23] & ((|(4'... | Covered | T1,T6,T7 |
| 23 (addr_hit[22] & ((|(4'... | Covered | T1,T4,T6 |
| 22 (addr_hit[21] & ((|(4'... | Covered | T1,T6,T7 |
| 21 (addr_hit[20] & ((|(4'... | Covered | T1,T6,T7 |
| 20 (addr_hit[19] & ((|(4'... | Covered | T1,T6,T7 |
| 19 (addr_hit[18] & ((|(4'... | Covered | T1,T6,T7 |
| 18 (addr_hit[17] & ((|(4'... | Covered | T1,T6,T7 |
| 17 (addr_hit[16] & ((|(4'... | Covered | T1,T6,T7 |
| 16 (addr_hit[15] & ((|(4'... | Covered | T1,T6,T7 |
| 15 (addr_hit[14] & ((|(4'... | Covered | T1,T6,T7 |
| 14 (addr_hit[13] & ((|(4'... | Covered | T1,T6,T7 |
| 13 (addr_hit[12] & ((|(4'... | Covered | T1,T4,T6 |
| 12 (addr_hit[11] & ((|(4'... | Covered | T1,T6,T7 |
| 11 (addr_hit[10] & ((|(4'... | Covered | T1,T6,T7 |
| 10 (addr_hit[9] & ((|(4'b... | Covered | T1,T6,T7 |
| 9 (addr_hit[8] & ((|(4'b... | Covered | T1,T6,T7 |
| 8 (addr_hit[7] & ((|(4'b... | Covered | T1,T6,T7 |
| 7 (addr_hit[6] & ((|(4'b... | Covered | T1,T2,T5 |
| 6 (addr_hit[5] & ((|(4'b... | Covered | T1,T2,T3 |
| 5 (addr_hit[4] & ((|(4'b... | Covered | T1,T6,T7 |
| 4 (addr_hit[3] & ((|(4'b... | Covered | T1,T6,T7 |
| 3 (addr_hit[2] & ((|(4'b... | Covered | T1,T6,T7 |
| 2 (addr_hit[1] & ((|(4'b... | Covered | T1,T6,T7 |
| 1 (addr_hit[0] & ((|(4'b... | Covered | T1,T2,T3 |
LINE 3309
SUB-EXPRESSION (addr_hit[0] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 3309
SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[2] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T6,T7 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T6,T7 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 3309
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T5 |
| 1 | 1 | Covered | T1,T2,T5 |
LINE 3309
SUB-EXPRESSION (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[8] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T6,T7 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T7,T8 |
| 1 | 1 | Covered | T1,T4,T6 |
LINE 3309
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T6,T7 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T6,T7,T8 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T4,T6 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[22] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T4,T6 |
| 1 | 1 | Covered | T1,T4,T6 |
LINE 3309
SUB-EXPRESSION (addr_hit[23] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T4,T6 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[24] & ((|(4'b0111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T4,T6,T7 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T6,T7 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[26] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T6,T7 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T6,T7 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[28] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T6,T7 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[29] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T5 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3309
SUB-EXPRESSION (addr_hit[30] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T6,T7 |
LINE 3344
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T122,T138,T139 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3361
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T123,T140,T141 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3392
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T6,T7 |
| 1 | 1 | 0 | Covered | T123,T136,T142 |
| 1 | 1 | 1 | Covered | T94,T95,T96 |
LINE 3423
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T6,T7 |
| 1 | 1 | 0 | Covered | T135,T138,T143 |
| 1 | 1 | 1 | Covered | T119,T120,T121 |
LINE 3426
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T123,T136,T142 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3439
EXPRESSION (addr_hit[5] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T143,T144,T145 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3440
EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T5 |
| 1 | 1 | 0 | Covered | T143,T146 |
| 1 | 1 | 1 | Covered | T2,T5,T6 |
LINE 3441
EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T123,T142,T147 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3454
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T122,T92,T137 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3463
EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T123,T136,T138 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3468
EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T122,T123,T137 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3475
EXPRESSION (addr_hit[11] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T6,T7 |
| 1 | 1 | 0 | Covered | T148,T149 |
| 1 | 1 | 1 | Covered | T50,T61,T62 |
LINE 3476
EXPRESSION (addr_hit[12] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T4,T6 |
| 1 | 1 | 0 | Covered | T135,T150,T148 |
| 1 | 1 | 1 | Covered | T4,T8,T9 |
LINE 3477
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T6,T7 |
| 1 | 1 | 0 | Covered | T136,T141,T139 |
| 1 | 1 | 1 | Covered | T52,T56,T53 |
LINE 3484
EXPRESSION (addr_hit[14] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T6,T7 |
| 1 | 1 | 0 | Covered | T143,T149,T151 |
| 1 | 1 | 1 | Not Covered | |
LINE 3485
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T123,T136,T142 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3490
EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T123,T140,T148 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3495
EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T123,T138,T152 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3500
EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T142,T153,T152 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3505
EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T136,T142,T147 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3510
EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T122,T123,T136 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3517
EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T4,T6 |
| 1 | 1 | 0 | Covered | T136,T140,T153 |
| 1 | 1 | 1 | Covered | T4,T8,T9 |
LINE 3526
EXPRESSION (addr_hit[22] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T4,T6 |
| 1 | 1 | 0 | Covered | T137,T144,T154 |
| 1 | 1 | 1 | Covered | T4,T8,T9 |
LINE 3527
EXPRESSION (addr_hit[23] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T4,T6 |
| 1 | 1 | 0 | Covered | T122,T123,T142 |
| 1 | 1 | 1 | Covered | T4,T8,T9 |
LINE 3530
EXPRESSION (addr_hit[24] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T4,T6 |
| 1 | 1 | 0 | Covered | T123,T142,T150 |
| 1 | 1 | 1 | Covered | T4,T8,T9 |
LINE 3533
EXPRESSION (addr_hit[25] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T6,T7 |
| 1 | 1 | 0 | Covered | T134,T142,T152 |
| 1 | 1 | 1 | Covered | T91,T92,T93 |
LINE 3538
EXPRESSION (addr_hit[26] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T6,T7 |
| 1 | 1 | 0 | Covered | T135,T155,T156 |
| 1 | 1 | 1 | Covered | T91,T92,T93 |
LINE 3541
EXPRESSION (addr_hit[27] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T6,T7 |
| 1 | 1 | 0 | Covered | T148,T145 |
| 1 | 1 | 1 | Covered | T91,T92,T93 |
LINE 3542
EXPRESSION (addr_hit[27] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T6,T7 |
| 1 | 1 | 0 | Covered | T122,T123,T135 |
| 1 | 1 | 1 | Covered | T8,T11,T12 |
LINE 3547
EXPRESSION (addr_hit[28] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T6,T7 |
| 1 | 1 | 0 | Covered | T134,T148,T149 |
| 1 | 1 | 1 | Not Covered | |
LINE 3548
EXPRESSION (addr_hit[29] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T5 |
| 1 | 1 | 0 | Covered | T123,T153,T152 |
| 1 | 1 | 1 | Covered | T2,T5,T39 |
LINE 3553
EXPRESSION (addr_hit[30] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T137,T142,T147 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Module :
i2c_reg_top
| Line No. | Total | Covered | Percent |
| Branches |
|
37 |
37 |
100.00 |
| TERNARY |
3305 |
2 |
2 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| CASE |
3600 |
32 |
32 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv' or '../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 3305 ((reg_re || reg_we)) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 68 if ((!rst_ni))
-2-: 70 if ((intg_err || reg_we_err))
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T124,T125,T127 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 3600 case (1'b1)
Branches:
| -1- | Status | Tests |
| addr_hit[0] |
Covered |
T1,T2,T3 |
| addr_hit[1] |
Covered |
T1,T2,T3 |
| addr_hit[2] |
Covered |
T1,T2,T3 |
| addr_hit[3] |
Covered |
T1,T2,T3 |
| addr_hit[4] |
Covered |
T1,T2,T3 |
| addr_hit[5] |
Covered |
T1,T2,T3 |
| addr_hit[6] |
Covered |
T1,T2,T3 |
| addr_hit[7] |
Covered |
T1,T2,T3 |
| addr_hit[8] |
Covered |
T1,T2,T3 |
| addr_hit[9] |
Covered |
T1,T2,T3 |
| addr_hit[10] |
Covered |
T1,T2,T3 |
| addr_hit[11] |
Covered |
T1,T2,T3 |
| addr_hit[12] |
Covered |
T1,T2,T3 |
| addr_hit[13] |
Covered |
T1,T2,T3 |
| addr_hit[14] |
Covered |
T1,T2,T3 |
| addr_hit[15] |
Covered |
T1,T2,T3 |
| addr_hit[16] |
Covered |
T1,T2,T3 |
| addr_hit[17] |
Covered |
T1,T2,T3 |
| addr_hit[18] |
Covered |
T1,T2,T3 |
| addr_hit[19] |
Covered |
T1,T2,T3 |
| addr_hit[20] |
Covered |
T1,T2,T3 |
| addr_hit[21] |
Covered |
T1,T2,T3 |
| addr_hit[22] |
Covered |
T1,T2,T3 |
| addr_hit[23] |
Covered |
T1,T2,T3 |
| addr_hit[24] |
Covered |
T1,T2,T3 |
| addr_hit[25] |
Covered |
T1,T2,T3 |
| addr_hit[26] |
Covered |
T1,T2,T3 |
| addr_hit[27] |
Covered |
T1,T2,T3 |
| addr_hit[28] |
Covered |
T1,T2,T3 |
| addr_hit[29] |
Covered |
T1,T2,T3 |
| addr_hit[30] |
Covered |
T1,T2,T3 |
| default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
i2c_reg_top
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
en2addrHit |
411095370 |
52668543 |
0 |
0 |
|
reAfterRv |
411095370 |
52668367 |
0 |
0 |
|
rePulse |
411095370 |
51732601 |
0 |
0 |
|
wePulse |
411095370 |
935766 |
0 |
0 |
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
411095370 |
52668543 |
0 |
0 |
| T1 |
5286 |
219 |
0 |
0 |
| T2 |
46660 |
4527 |
0 |
0 |
| T3 |
11196 |
870 |
0 |
0 |
| T4 |
78778 |
896 |
0 |
0 |
| T5 |
36886 |
5041 |
0 |
0 |
| T6 |
75474 |
10087 |
0 |
0 |
| T7 |
696815 |
77867 |
0 |
0 |
| T8 |
100747 |
1687 |
0 |
0 |
| T9 |
127089 |
19577 |
0 |
0 |
| T10 |
15172 |
1276 |
0 |
0 |
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
411095370 |
52668367 |
0 |
0 |
| T1 |
5286 |
218 |
0 |
0 |
| T2 |
46660 |
4527 |
0 |
0 |
| T3 |
11196 |
867 |
0 |
0 |
| T4 |
78778 |
896 |
0 |
0 |
| T5 |
36886 |
5041 |
0 |
0 |
| T6 |
75474 |
10087 |
0 |
0 |
| T7 |
696815 |
77867 |
0 |
0 |
| T8 |
100747 |
1687 |
0 |
0 |
| T9 |
127089 |
19577 |
0 |
0 |
| T10 |
15172 |
1276 |
0 |
0 |
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
411095370 |
51732601 |
0 |
0 |
| T1 |
5286 |
135 |
0 |
0 |
| T2 |
46660 |
4285 |
0 |
0 |
| T3 |
11196 |
697 |
0 |
0 |
| T4 |
78778 |
568 |
0 |
0 |
| T5 |
36886 |
4819 |
0 |
0 |
| T6 |
75474 |
9319 |
0 |
0 |
| T7 |
696815 |
75597 |
0 |
0 |
| T8 |
100747 |
1196 |
0 |
0 |
| T9 |
127089 |
19196 |
0 |
0 |
| T10 |
15172 |
1258 |
0 |
0 |
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
411095370 |
935766 |
0 |
0 |
| T1 |
5286 |
83 |
0 |
0 |
| T2 |
46660 |
242 |
0 |
0 |
| T3 |
11196 |
170 |
0 |
0 |
| T4 |
78778 |
328 |
0 |
0 |
| T5 |
36886 |
222 |
0 |
0 |
| T6 |
75474 |
768 |
0 |
0 |
| T7 |
696815 |
2270 |
0 |
0 |
| T8 |
100747 |
491 |
0 |
0 |
| T9 |
127089 |
381 |
0 |
0 |
| T10 |
15172 |
18 |
0 |
0 |