Line Coverage for Module :
i2c_reg_top
| Line No. | Total | Covered | Percent |
| TOTAL | | 365 | 365 | 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 | 1164 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1179 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1195 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1211 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1227 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1243 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1259 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1275 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1291 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1307 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1323 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1339 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1355 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1371 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1387 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1403 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1409 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1423 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1838 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1866 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1894 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1922 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1950 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1978 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2019 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2047 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2075 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2103 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2144 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2172 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2213 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2241 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2965 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3083 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3098 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3114 | 1 | 1 | 100.00 |
| ALWAYS | 3331 | 33 | 33 | 100.00 |
| CONT_ASSIGN | 3366 | 1 | 1 | 100.00 |
| ALWAYS | 3370 | 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 | 3427 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3429 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3431 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3433 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3435 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3437 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3439 | 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 | 3464 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3466 | 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 | 3476 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3478 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3480 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3482 | 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 | 3488 | 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 | 3496 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3498 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3500 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3502 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3503 | 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 | 3511 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3513 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3515 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3517 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3518 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3520 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3522 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3524 | 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 | 3531 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3532 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3534 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3536 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3537 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3538 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3539 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3541 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3543 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3545 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3546 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3547 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3549 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3551 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3552 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3554 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3556 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3557 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3559 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3561 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3562 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3564 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3566 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3567 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3569 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3571 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3572 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3574 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3576 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3578 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3579 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3581 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3583 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3585 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3587 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3588 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3589 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3591 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3592 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3594 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3595 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3597 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3599 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3600 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3603 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3604 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3606 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3608 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3609 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3610 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3612 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3614 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3615 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3617 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3619 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3621 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3622 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3624 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3626 | 1 | 1 | 100.00 |
| ALWAYS | 3630 | 33 | 33 | 100.00 |
| ALWAYS | 3667 | 124 | 124 | 100.00 |
| CONT_ASSIGN | 3898 | 0 | 0 | |
| CONT_ASSIGN | 3906 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3907 | 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 |
| 1164 |
1 |
1 |
| 1179 |
1 |
1 |
| 1195 |
1 |
1 |
| 1211 |
1 |
1 |
| 1227 |
1 |
1 |
| 1243 |
1 |
1 |
| 1259 |
1 |
1 |
| 1275 |
1 |
1 |
| 1291 |
1 |
1 |
| 1307 |
1 |
1 |
| 1323 |
1 |
1 |
| 1339 |
1 |
1 |
| 1355 |
1 |
1 |
| 1371 |
1 |
1 |
| 1387 |
1 |
1 |
| 1403 |
1 |
1 |
| 1409 |
1 |
1 |
| 1423 |
1 |
1 |
| 1838 |
1 |
1 |
| 1866 |
1 |
1 |
| 1894 |
1 |
1 |
| 1922 |
1 |
1 |
| 1950 |
1 |
1 |
| 1978 |
1 |
1 |
| 2019 |
1 |
1 |
| 2047 |
1 |
1 |
| 2075 |
1 |
1 |
| 2103 |
1 |
1 |
| 2144 |
1 |
1 |
| 2172 |
1 |
1 |
| 2213 |
1 |
1 |
| 2241 |
1 |
1 |
| 2965 |
1 |
1 |
| 3083 |
1 |
1 |
| 3098 |
1 |
1 |
| 3114 |
1 |
1 |
| 3331 |
1 |
1 |
| 3332 |
1 |
1 |
| 3333 |
1 |
1 |
| 3334 |
1 |
1 |
| 3335 |
1 |
1 |
| 3336 |
1 |
1 |
| 3337 |
1 |
1 |
| 3338 |
1 |
1 |
| 3339 |
1 |
1 |
| 3340 |
1 |
1 |
| 3341 |
1 |
1 |
| 3342 |
1 |
1 |
| 3343 |
1 |
1 |
| 3344 |
1 |
1 |
| 3345 |
1 |
1 |
| 3346 |
1 |
1 |
| 3347 |
1 |
1 |
| 3348 |
1 |
1 |
| 3349 |
1 |
1 |
| 3350 |
1 |
1 |
| 3351 |
1 |
1 |
| 3352 |
1 |
1 |
| 3353 |
1 |
1 |
| 3354 |
1 |
1 |
| 3355 |
1 |
1 |
| 3356 |
1 |
1 |
| 3357 |
1 |
1 |
| 3358 |
1 |
1 |
| 3359 |
1 |
1 |
| 3360 |
1 |
1 |
| 3361 |
1 |
1 |
| 3362 |
1 |
1 |
| 3363 |
1 |
1 |
| 3366 |
1 |
1 |
| 3370 |
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 |
| 3427 |
1 |
1 |
| 3429 |
1 |
1 |
| 3431 |
1 |
1 |
| 3433 |
1 |
1 |
| 3435 |
1 |
1 |
| 3437 |
1 |
1 |
| 3439 |
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 |
| 3464 |
1 |
1 |
| 3466 |
1 |
1 |
| 3468 |
1 |
1 |
| 3470 |
1 |
1 |
| 3472 |
1 |
1 |
| 3474 |
1 |
1 |
| 3476 |
1 |
1 |
| 3478 |
1 |
1 |
| 3480 |
1 |
1 |
| 3482 |
1 |
1 |
| 3484 |
1 |
1 |
| 3485 |
1 |
1 |
| 3487 |
1 |
1 |
| 3488 |
1 |
1 |
| 3490 |
1 |
1 |
| 3492 |
1 |
1 |
| 3494 |
1 |
1 |
| 3496 |
1 |
1 |
| 3498 |
1 |
1 |
| 3500 |
1 |
1 |
| 3502 |
1 |
1 |
| 3503 |
1 |
1 |
| 3504 |
1 |
1 |
| 3505 |
1 |
1 |
| 3507 |
1 |
1 |
| 3509 |
1 |
1 |
| 3511 |
1 |
1 |
| 3513 |
1 |
1 |
| 3515 |
1 |
1 |
| 3517 |
1 |
1 |
| 3518 |
1 |
1 |
| 3520 |
1 |
1 |
| 3522 |
1 |
1 |
| 3524 |
1 |
1 |
| 3526 |
1 |
1 |
| 3527 |
1 |
1 |
| 3529 |
1 |
1 |
| 3531 |
1 |
1 |
| 3532 |
1 |
1 |
| 3534 |
1 |
1 |
| 3536 |
1 |
1 |
| 3537 |
1 |
1 |
| 3538 |
1 |
1 |
| 3539 |
1 |
1 |
| 3541 |
1 |
1 |
| 3543 |
1 |
1 |
| 3545 |
1 |
1 |
| 3546 |
1 |
1 |
| 3547 |
1 |
1 |
| 3549 |
1 |
1 |
| 3551 |
1 |
1 |
| 3552 |
1 |
1 |
| 3554 |
1 |
1 |
| 3556 |
1 |
1 |
| 3557 |
1 |
1 |
| 3559 |
1 |
1 |
| 3561 |
1 |
1 |
| 3562 |
1 |
1 |
| 3564 |
1 |
1 |
| 3566 |
1 |
1 |
| 3567 |
1 |
1 |
| 3569 |
1 |
1 |
| 3571 |
1 |
1 |
| 3572 |
1 |
1 |
| 3574 |
1 |
1 |
| 3576 |
1 |
1 |
| 3578 |
1 |
1 |
| 3579 |
1 |
1 |
| 3581 |
1 |
1 |
| 3583 |
1 |
1 |
| 3585 |
1 |
1 |
| 3587 |
1 |
1 |
| 3588 |
1 |
1 |
| 3589 |
1 |
1 |
| 3591 |
1 |
1 |
| 3592 |
1 |
1 |
| 3594 |
1 |
1 |
| 3595 |
1 |
1 |
| 3597 |
1 |
1 |
| 3599 |
1 |
1 |
| 3600 |
1 |
1 |
| 3603 |
1 |
1 |
| 3604 |
1 |
1 |
| 3606 |
1 |
1 |
| 3608 |
1 |
1 |
| 3609 |
1 |
1 |
| 3610 |
1 |
1 |
| 3612 |
1 |
1 |
| 3614 |
1 |
1 |
| 3615 |
1 |
1 |
| 3617 |
1 |
1 |
| 3619 |
1 |
1 |
| 3621 |
1 |
1 |
| 3622 |
1 |
1 |
| 3624 |
1 |
1 |
| 3626 |
1 |
1 |
| 3630 |
1 |
1 |
| 3631 |
1 |
1 |
| 3632 |
1 |
1 |
| 3633 |
1 |
1 |
| 3634 |
1 |
1 |
| 3635 |
1 |
1 |
| 3636 |
1 |
1 |
| 3637 |
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 |
| 3653 |
1 |
1 |
| 3654 |
1 |
1 |
| 3655 |
1 |
1 |
| 3656 |
1 |
1 |
| 3657 |
1 |
1 |
| 3658 |
1 |
1 |
| 3659 |
1 |
1 |
| 3660 |
1 |
1 |
| 3661 |
1 |
1 |
| 3662 |
1 |
1 |
| 3667 |
1 |
1 |
| 3668 |
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 |
| 3680 |
1 |
1 |
| 3681 |
1 |
1 |
| 3682 |
1 |
1 |
| 3683 |
1 |
1 |
| 3684 |
1 |
1 |
| 3688 |
1 |
1 |
| 3689 |
1 |
1 |
| 3690 |
1 |
1 |
| 3691 |
1 |
1 |
| 3692 |
1 |
1 |
| 3693 |
1 |
1 |
| 3694 |
1 |
1 |
| 3695 |
1 |
1 |
| 3696 |
1 |
1 |
| 3697 |
1 |
1 |
| 3698 |
1 |
1 |
| 3699 |
1 |
1 |
| 3700 |
1 |
1 |
| 3701 |
1 |
1 |
| 3702 |
1 |
1 |
| 3706 |
1 |
1 |
| 3707 |
1 |
1 |
| 3708 |
1 |
1 |
| 3709 |
1 |
1 |
| 3710 |
1 |
1 |
| 3711 |
1 |
1 |
| 3712 |
1 |
1 |
| 3713 |
1 |
1 |
| 3714 |
1 |
1 |
| 3715 |
1 |
1 |
| 3716 |
1 |
1 |
| 3717 |
1 |
1 |
| 3718 |
1 |
1 |
| 3719 |
1 |
1 |
| 3720 |
1 |
1 |
| 3724 |
1 |
1 |
| 3728 |
1 |
1 |
| 3729 |
1 |
1 |
| 3730 |
1 |
1 |
| 3731 |
1 |
1 |
| 3732 |
1 |
1 |
| 3733 |
1 |
1 |
| 3734 |
1 |
1 |
| 3738 |
1 |
1 |
| 3739 |
1 |
1 |
| 3740 |
1 |
1 |
| 3741 |
1 |
1 |
| 3742 |
1 |
1 |
| 3743 |
1 |
1 |
| 3744 |
1 |
1 |
| 3745 |
1 |
1 |
| 3746 |
1 |
1 |
| 3747 |
1 |
1 |
| 3748 |
1 |
1 |
| 3752 |
1 |
1 |
| 3756 |
1 |
1 |
| 3757 |
1 |
1 |
| 3758 |
1 |
1 |
| 3759 |
1 |
1 |
| 3760 |
1 |
1 |
| 3761 |
1 |
1 |
| 3765 |
1 |
1 |
| 3766 |
1 |
1 |
| 3767 |
1 |
1 |
| 3768 |
1 |
1 |
| 3772 |
1 |
1 |
| 3773 |
1 |
1 |
| 3777 |
1 |
1 |
| 3778 |
1 |
1 |
| 3782 |
1 |
1 |
| 3783 |
1 |
1 |
| 3787 |
1 |
1 |
| 3788 |
1 |
1 |
| 3792 |
1 |
1 |
| 3793 |
1 |
1 |
| 3794 |
1 |
1 |
| 3798 |
1 |
1 |
| 3799 |
1 |
1 |
| 3803 |
1 |
1 |
| 3804 |
1 |
1 |
| 3808 |
1 |
1 |
| 3809 |
1 |
1 |
| 3813 |
1 |
1 |
| 3814 |
1 |
1 |
| 3818 |
1 |
1 |
| 3819 |
1 |
1 |
| 3823 |
1 |
1 |
| 3824 |
1 |
1 |
| 3828 |
1 |
1 |
| 3829 |
1 |
1 |
| 3830 |
1 |
1 |
| 3834 |
1 |
1 |
| 3835 |
1 |
1 |
| 3836 |
1 |
1 |
| 3837 |
1 |
1 |
| 3841 |
1 |
1 |
| 3842 |
1 |
1 |
| 3846 |
1 |
1 |
| 3850 |
1 |
1 |
| 3854 |
1 |
1 |
| 3855 |
1 |
1 |
| 3859 |
1 |
1 |
| 3863 |
1 |
1 |
| 3864 |
1 |
1 |
| 3868 |
1 |
1 |
| 3872 |
1 |
1 |
| 3873 |
1 |
1 |
| 3877 |
1 |
1 |
| 3878 |
1 |
1 |
| 3879 |
1 |
1 |
| 3883 |
1 |
1 |
| 3884 |
1 |
1 |
| 3898 |
|
unreachable |
| 3906 |
1 |
1 |
| 3907 |
1 |
1 |
Cond Coverage for Module :
i2c_reg_top
| Total | Covered | Percent |
| Conditions | 347 | 343 | 98.85 |
| Logical | 347 | 343 | 98.85 |
| 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 | Not Covered | |
| 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 | T174,T175,T176 |
| 1 | 0 | Covered | T146,T188,T189 |
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 | T174,T175,T176 |
| 0 | 1 | 0 | Covered | T146,T188,T189 |
| 1 | 0 | 0 | Covered | T174,T175,T176 |
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 | T146,T188,T189 |
| 0 | 1 | 0 | Covered | T171,T172,T187 |
| 1 | 0 | 0 | Not Covered | |
LINE 3332
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 3333
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 3334
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_TEST_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T10,T31 |
LINE 3335
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ALERT_TEST_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T4,T9 |
LINE 3336
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_CTRL_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3337
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_STATUS_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3338
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_RDATA_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T8 |
LINE 3339
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FDATA_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T8 |
LINE 3340
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 3341
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 3342
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 3343
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_FIFO_STATUS_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T31,T58 |
LINE 3344
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_FIFO_STATUS_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T3,T7 |
LINE 3345
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_OVRD_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T31,T43 |
LINE 3346
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_VAL_OFFSET)
--------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T10,T31 |
LINE 3347
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING0_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3348
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING1_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3349
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING2_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3350
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING3_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3351
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING4_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3352
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 3353
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_ID_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T3,T5 |
LINE 3354
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ACQDATA_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T3,T5 |
LINE 3355
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TXDATA_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T3,T5 |
LINE 3356
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_TIMEOUT_CTRL_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T3,T5 |
LINE 3357
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_TIMEOUT_CTRL_OFFSET)
----------------------------1----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T31,T43 |
LINE 3358
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_NACK_COUNT_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T10,T31 |
LINE 3359
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_ACK_CTRL_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T7,T31 |
LINE 3360
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ACQ_FIFO_NEXT_DATA_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T31,T43 |
LINE 3361
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_NACK_HANDLER_TIMEOUT_OFFSET)
-------------------------------1-------------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T8,T31 |
LINE 3362
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 3363
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_EVENTS_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T31,T43 |
LINE 3366
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3366
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 3370
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))))) | (addr_hit[31] & ((|(4'b1 & (~reg_be)))))))
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T146,T171,T172 |
LINE 3370
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))))) |
32 (addr_hit[31] & ((|(4'b1 & (~reg_be))))))
| Sensitive Expression == 1 | Status | Tests |
| ALL ZEROS | Covered | T1,T2,T3 |
| 32 (addr_hit[31] & ((|(4'... | Covered | T3,T31,T43 |
| 31 (addr_hit[30] & ((|(4'... | Covered | T3,T31,T43 |
| 30 (addr_hit[29] & ((|(4'... | Covered | T3,T31,T43 |
| 29 (addr_hit[28] & ((|(4'... | Covered | T3,T31,T43 |
| 28 (addr_hit[27] & ((|(4'... | Covered | T3,T31,T43 |
| 27 (addr_hit[26] & ((|(4'... | Covered | T3,T31,T43 |
| 26 (addr_hit[25] & ((|(4'... | Covered | T3,T31,T43 |
| 25 (addr_hit[24] & ((|(4'... | Covered | T3,T10,T31 |
| 24 (addr_hit[23] & ((|(4'... | Covered | T3,T31,T43 |
| 23 (addr_hit[22] & ((|(4'... | Covered | T1,T3,T5 |
| 22 (addr_hit[21] & ((|(4'... | Covered | T3,T31,T43 |
| 21 (addr_hit[20] & ((|(4'... | Covered | T3,T10,T31 |
| 20 (addr_hit[19] & ((|(4'... | Covered | T3,T31,T43 |
| 19 (addr_hit[18] & ((|(4'... | Covered | T3,T10,T31 |
| 18 (addr_hit[17] & ((|(4'... | Covered | T3,T31,T43 |
| 17 (addr_hit[16] & ((|(4'... | Covered | T3,T10,T31 |
| 16 (addr_hit[15] & ((|(4'... | Covered | T3,T10,T31 |
| 15 (addr_hit[14] & ((|(4'... | Covered | T3,T10,T31 |
| 14 (addr_hit[13] & ((|(4'... | Covered | T3,T31,T43 |
| 13 (addr_hit[12] & ((|(4'... | Covered | T1,T3,T7 |
| 12 (addr_hit[11] & ((|(4'... | Covered | T3,T31,T58 |
| 11 (addr_hit[10] & ((|(4'... | Covered | T3,T31,T43 |
| 10 (addr_hit[9] & ((|(4'b... | Covered | T3,T31,T58 |
| 9 (addr_hit[8] & ((|(4'b... | Covered | T3,T31,T43 |
| 8 (addr_hit[7] & ((|(4'b... | Covered | T3,T31,T43 |
| 7 (addr_hit[6] & ((|(4'b... | Covered | T2,T3,T8 |
| 6 (addr_hit[5] & ((|(4'b... | Covered | T1,T2,T3 |
| 5 (addr_hit[4] & ((|(4'b... | Covered | T3,T31,T43 |
| 4 (addr_hit[3] & ((|(4'b... | Covered | T3,T31,T80 |
| 3 (addr_hit[2] & ((|(4'b... | Covered | T3,T10,T31 |
| 2 (addr_hit[1] & ((|(4'b... | Covered | T3,T31,T43 |
| 1 (addr_hit[0] & ((|(4'b... | Covered | T1,T2,T3 |
LINE 3370
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 3370
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 | T3,T31,T43 |
LINE 3370
SUB-EXPRESSION (addr_hit[2] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T31,T43 |
| 1 | 1 | Covered | T3,T10,T31 |
LINE 3370
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T4,T9 |
| 1 | 1 | Covered | T3,T31,T80 |
LINE 3370
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 | T3,T31,T43 |
LINE 3370
SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T7 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 3370
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T8 |
| 1 | 1 | Covered | T2,T3,T8 |
LINE 3370
SUB-EXPRESSION (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T8 |
| 1 | 1 | Covered | T3,T31,T43 |
LINE 3370
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 | T3,T31,T43 |
LINE 3370
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 | T3,T31,T58 |
LINE 3370
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 | T3,T31,T43 |
LINE 3370
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T43,T80 |
| 1 | 1 | Covered | T3,T31,T58 |
LINE 3370
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T9,T31 |
| 1 | 1 | Covered | T1,T3,T7 |
LINE 3370
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T31,T43 |
| 1 | 1 | Covered | T3,T31,T43 |
LINE 3370
SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T31,T80 |
| 1 | 1 | Covered | T3,T10,T31 |
LINE 3370
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 | T3,T10,T31 |
LINE 3370
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 | T3,T10,T31 |
LINE 3370
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 | T3,T31,T43 |
LINE 3370
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 | T3,T10,T31 |
LINE 3370
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 | T3,T31,T43 |
LINE 3370
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 | T3,T10,T31 |
LINE 3370
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,T3,T5 |
| 1 | 1 | Covered | T3,T31,T43 |
LINE 3370
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,T3,T5 |
| 1 | 1 | Covered | T1,T3,T5 |
LINE 3370
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,T3,T5 |
| 1 | 1 | Covered | T3,T31,T43 |
LINE 3370
SUB-EXPRESSION (addr_hit[24] & ((|(4'b0111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T3,T5 |
| 1 | 1 | Covered | T3,T10,T31 |
LINE 3370
SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T31,T80 |
| 1 | 1 | Covered | T3,T31,T43 |
LINE 3370
SUB-EXPRESSION (addr_hit[26] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T10,T31 |
| 1 | 1 | Covered | T3,T31,T43 |
LINE 3370
SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T7,T31 |
| 1 | 1 | Covered | T3,T31,T43 |
LINE 3370
SUB-EXPRESSION (addr_hit[28] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T31,T43 |
| 1 | 1 | Covered | T3,T31,T43 |
LINE 3370
SUB-EXPRESSION (addr_hit[29] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T8,T31 |
| 1 | 1 | Covered | T3,T31,T43 |
LINE 3370
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 | T3,T31,T43 |
LINE 3370
SUB-EXPRESSION (addr_hit[31] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T31,T43 |
| 1 | 1 | Covered | T3,T31,T43 |
LINE 3406
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 | T172,T187,T190 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3423
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 | T146,T188,T190 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3454
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 | T3,T10,T31 |
| 1 | 1 | 0 | Covered | T171,T187,T190 |
| 1 | 1 | 1 | Covered | T38,T39,T147 |
LINE 3485
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 | T3,T4,T9 |
| 1 | 1 | 0 | Covered | T172,T187,T189 |
| 1 | 1 | 1 | Covered | T4,T9,T10 |
LINE 3488
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 | T172,T187,T91 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3503
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 | T93 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3504
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 | T2,T3,T8 |
| 1 | 1 | 0 | Covered | T191,T192,T193 |
| 1 | 1 | 1 | Covered | T2,T3,T8 |
LINE 3505
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 | T2,T3,T8 |
| 1 | 1 | 0 | Covered | T187,T190,T194 |
| 1 | 1 | 1 | Covered | T2,T3,T8 |
LINE 3518
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 | T172,T187,T190 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3527
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 | T172,T188,T187 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3532
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 | T195,T196,T197 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3537
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 | T3,T31,T58 |
| 1 | 1 | 0 | Covered | T189,T198,T199 |
| 1 | 1 | 1 | Covered | T3,T58,T87 |
LINE 3538
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,T3,T7 |
| 1 | 1 | 0 | Covered | T188,T200,T201 |
| 1 | 1 | 1 | Covered | T1,T7,T31 |
LINE 3539
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 | T3,T31,T43 |
| 1 | 1 | 0 | Covered | T172,T188,T187 |
| 1 | 1 | 1 | Covered | T44,T49,T53 |
LINE 3546
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 | T3,T10,T31 |
| 1 | 1 | 0 | Covered | T188,T202,T198 |
| 1 | 1 | 1 | Not Covered | |
LINE 3547
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 | T172,T187,T190 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3552
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 | T172,T187,T189 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3557
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 | T146,T172,T187 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3562
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 | T172,T187,T190 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3567
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 | T172,T188,T187 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3572
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 | T146,T172,T187 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3579
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,T3,T5 |
| 1 | 1 | 0 | Covered | T172,T187,T190 |
| 1 | 1 | 1 | Covered | T1,T5,T6 |
LINE 3588
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,T3,T5 |
| 1 | 1 | 0 | Covered | T189,T93,T198 |
| 1 | 1 | 1 | Covered | T1,T5,T6 |
LINE 3589
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,T3,T5 |
| 1 | 1 | 0 | Covered | T172,T190,T93 |
| 1 | 1 | 1 | Covered | T1,T5,T6 |
LINE 3592
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,T3,T5 |
| 1 | 1 | 0 | Covered | T172,T187,T190 |
| 1 | 1 | 1 | Covered | T1,T5,T6 |
LINE 3595
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 | T3,T31,T43 |
| 1 | 1 | 0 | Covered | T172,T187,T190 |
| 1 | 1 | 1 | Covered | T145,T88,T146 |
LINE 3600
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 | T3,T10,T31 |
| 1 | 1 | 0 | Covered | T93 |
| 1 | 1 | 1 | Covered | T145,T88,T146 |
LINE 3603
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 | T3,T7,T10 |
| 1 | 1 | 0 | Covered | T146,T202,T201 |
| 1 | 1 | 1 | Covered | T145,T88,T146 |
LINE 3604
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 | T3,T7,T10 |
| 1 | 1 | 0 | Covered | T172,T187,T190 |
| 1 | 1 | 1 | Covered | T7,T11,T12 |
LINE 3609
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 | T3,T31,T43 |
| 1 | 1 | 0 | Covered | T189,T203 |
| 1 | 1 | 1 | Not Covered | |
LINE 3610
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 | T3,T8,T31 |
| 1 | 1 | 0 | Covered | T172,T190,T195 |
| 1 | 1 | 1 | Covered | T8,T76,T77 |
LINE 3615
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 | T172,T187,T190 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3622
EXPRESSION (addr_hit[31] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T3,T31,T43 |
| 1 | 1 | 0 | Covered | T172,T189,T190 |
| 1 | 1 | 1 | Covered | T145,T88,T146 |
Branch Coverage for Module :
i2c_reg_top
| Line No. | Total | Covered | Percent |
| Branches |
|
38 |
38 |
100.00 |
| TERNARY |
3366 |
2 |
2 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| CASE |
3668 |
33 |
33 |
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-: 3366 ((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 |
T174,T175,T176 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 3668 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 |
| addr_hit[31] |
Covered |
T1,T2,T3 |
| default |
Covered |
T1,T2,T4 |
Assert Coverage for Module :
i2c_reg_top
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
en2addrHit |
405049710 |
51260894 |
0 |
0 |
|
reAfterRv |
405049710 |
51260695 |
0 |
0 |
|
rePulse |
405049710 |
50326963 |
0 |
0 |
|
wePulse |
405049710 |
933732 |
0 |
0 |
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
405049710 |
51260894 |
0 |
0 |
| T1 |
40896 |
4902 |
0 |
0 |
| T2 |
212264 |
104663 |
0 |
0 |
| T3 |
458584 |
65644 |
0 |
0 |
| T4 |
967 |
14 |
0 |
0 |
| T5 |
196673 |
83672 |
0 |
0 |
| T6 |
272230 |
129502 |
0 |
0 |
| T7 |
82147 |
1284 |
0 |
0 |
| T8 |
22900 |
2992 |
0 |
0 |
| T9 |
1343 |
2 |
0 |
0 |
| T10 |
1603 |
7 |
0 |
0 |
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
405049710 |
51260695 |
0 |
0 |
| T1 |
40896 |
4902 |
0 |
0 |
| T2 |
212264 |
104663 |
0 |
0 |
| T3 |
458584 |
65644 |
0 |
0 |
| T4 |
967 |
14 |
0 |
0 |
| T5 |
196673 |
83672 |
0 |
0 |
| T6 |
272230 |
129502 |
0 |
0 |
| T7 |
82147 |
1284 |
0 |
0 |
| T8 |
22900 |
2992 |
0 |
0 |
| T9 |
1343 |
2 |
0 |
0 |
| T10 |
1603 |
7 |
0 |
0 |
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
405049710 |
50326963 |
0 |
0 |
| T1 |
40896 |
4720 |
0 |
0 |
| T2 |
212264 |
103849 |
0 |
0 |
| T3 |
458584 |
64053 |
0 |
0 |
| T4 |
967 |
1 |
0 |
0 |
| T5 |
196673 |
83620 |
0 |
0 |
| T6 |
272230 |
129263 |
0 |
0 |
| T7 |
82147 |
940 |
0 |
0 |
| T8 |
22900 |
2867 |
0 |
0 |
| T9 |
1343 |
1 |
0 |
0 |
| T10 |
1603 |
1 |
0 |
0 |
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
405049710 |
933732 |
0 |
0 |
| T1 |
40896 |
182 |
0 |
0 |
| T2 |
212264 |
814 |
0 |
0 |
| T3 |
458584 |
1591 |
0 |
0 |
| T4 |
967 |
13 |
0 |
0 |
| T5 |
196673 |
52 |
0 |
0 |
| T6 |
272230 |
239 |
0 |
0 |
| T7 |
82147 |
344 |
0 |
0 |
| T8 |
22900 |
125 |
0 |
0 |
| T9 |
1343 |
1 |
0 |
0 |
| T10 |
1603 |
6 |
0 |
0 |