Line Coverage for Module :
i2c_reg_top
| Line No. | Total | Covered | Percent |
| TOTAL | | 369 | 369 | 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 | 1168 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1183 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1199 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1215 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1231 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1247 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1263 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1279 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1295 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1311 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1327 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1343 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1359 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1375 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1391 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1407 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1413 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1427 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1842 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1870 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1898 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1926 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1954 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1982 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2023 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2051 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2079 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2107 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2148 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2176 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2217 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2245 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2969 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3087 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3102 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3118 | 1 | 1 | 100.00 |
| ALWAYS | 3389 | 33 | 33 | 100.00 |
| CONT_ASSIGN | 3424 | 1 | 1 | 100.00 |
| ALWAYS | 3428 | 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 | 3481 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3483 | 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 | 3491 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3493 | 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 | 3501 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3503 | 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 | 3512 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3514 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3516 | 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 | 3528 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3530 | 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 | 3538 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3540 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3542 | 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 | 3548 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3550 | 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 | 3558 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3560 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3561 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3562 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3563 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3565 | 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 | 3573 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3575 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3576 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3578 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3580 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3582 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3584 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3585 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3587 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3589 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3590 | 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 | 3596 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3597 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3599 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3601 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3603 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3604 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3605 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3607 | 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 | 3620 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3622 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3624 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3625 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3627 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3629 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3630 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3632 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3634 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3636 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3637 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3639 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3641 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3643 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3645 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3646 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3647 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3649 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3650 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3652 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3653 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3655 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3657 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3658 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3661 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3662 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3664 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3666 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3667 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3668 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3670 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3672 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3673 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3675 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3677 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3679 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3681 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3682 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3684 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3686 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3688 | 1 | 1 | 100.00 |
| ALWAYS | 3692 | 33 | 33 | 100.00 |
| ALWAYS | 3729 | 126 | 126 | 100.00 |
| CONT_ASSIGN | 3962 | 0 | 0 | |
| CONT_ASSIGN | 3970 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3971 | 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 |
| 1168 |
1 |
1 |
| 1183 |
1 |
1 |
| 1199 |
1 |
1 |
| 1215 |
1 |
1 |
| 1231 |
1 |
1 |
| 1247 |
1 |
1 |
| 1263 |
1 |
1 |
| 1279 |
1 |
1 |
| 1295 |
1 |
1 |
| 1311 |
1 |
1 |
| 1327 |
1 |
1 |
| 1343 |
1 |
1 |
| 1359 |
1 |
1 |
| 1375 |
1 |
1 |
| 1391 |
1 |
1 |
| 1407 |
1 |
1 |
| 1413 |
1 |
1 |
| 1427 |
1 |
1 |
| 1842 |
1 |
1 |
| 1870 |
1 |
1 |
| 1898 |
1 |
1 |
| 1926 |
1 |
1 |
| 1954 |
1 |
1 |
| 1982 |
1 |
1 |
| 2023 |
1 |
1 |
| 2051 |
1 |
1 |
| 2079 |
1 |
1 |
| 2107 |
1 |
1 |
| 2148 |
1 |
1 |
| 2176 |
1 |
1 |
| 2217 |
1 |
1 |
| 2245 |
1 |
1 |
| 2969 |
1 |
1 |
| 3087 |
1 |
1 |
| 3102 |
1 |
1 |
| 3118 |
1 |
1 |
| 3389 |
1 |
1 |
| 3390 |
1 |
1 |
| 3391 |
1 |
1 |
| 3392 |
1 |
1 |
| 3393 |
1 |
1 |
| 3394 |
1 |
1 |
| 3395 |
1 |
1 |
| 3396 |
1 |
1 |
| 3397 |
1 |
1 |
| 3398 |
1 |
1 |
| 3399 |
1 |
1 |
| 3400 |
1 |
1 |
| 3401 |
1 |
1 |
| 3402 |
1 |
1 |
| 3403 |
1 |
1 |
| 3404 |
1 |
1 |
| 3405 |
1 |
1 |
| 3406 |
1 |
1 |
| 3407 |
1 |
1 |
| 3408 |
1 |
1 |
| 3409 |
1 |
1 |
| 3410 |
1 |
1 |
| 3411 |
1 |
1 |
| 3412 |
1 |
1 |
| 3413 |
1 |
1 |
| 3414 |
1 |
1 |
| 3415 |
1 |
1 |
| 3416 |
1 |
1 |
| 3417 |
1 |
1 |
| 3418 |
1 |
1 |
| 3419 |
1 |
1 |
| 3420 |
1 |
1 |
| 3421 |
1 |
1 |
| 3424 |
1 |
1 |
| 3428 |
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 |
| 3481 |
1 |
1 |
| 3483 |
1 |
1 |
| 3485 |
1 |
1 |
| 3487 |
1 |
1 |
| 3489 |
1 |
1 |
| 3491 |
1 |
1 |
| 3493 |
1 |
1 |
| 3495 |
1 |
1 |
| 3497 |
1 |
1 |
| 3499 |
1 |
1 |
| 3501 |
1 |
1 |
| 3503 |
1 |
1 |
| 3505 |
1 |
1 |
| 3507 |
1 |
1 |
| 3509 |
1 |
1 |
| 3511 |
1 |
1 |
| 3512 |
1 |
1 |
| 3514 |
1 |
1 |
| 3516 |
1 |
1 |
| 3518 |
1 |
1 |
| 3520 |
1 |
1 |
| 3522 |
1 |
1 |
| 3524 |
1 |
1 |
| 3526 |
1 |
1 |
| 3528 |
1 |
1 |
| 3530 |
1 |
1 |
| 3532 |
1 |
1 |
| 3534 |
1 |
1 |
| 3536 |
1 |
1 |
| 3538 |
1 |
1 |
| 3540 |
1 |
1 |
| 3542 |
1 |
1 |
| 3543 |
1 |
1 |
| 3545 |
1 |
1 |
| 3546 |
1 |
1 |
| 3548 |
1 |
1 |
| 3550 |
1 |
1 |
| 3552 |
1 |
1 |
| 3554 |
1 |
1 |
| 3556 |
1 |
1 |
| 3558 |
1 |
1 |
| 3560 |
1 |
1 |
| 3561 |
1 |
1 |
| 3562 |
1 |
1 |
| 3563 |
1 |
1 |
| 3565 |
1 |
1 |
| 3567 |
1 |
1 |
| 3569 |
1 |
1 |
| 3571 |
1 |
1 |
| 3573 |
1 |
1 |
| 3575 |
1 |
1 |
| 3576 |
1 |
1 |
| 3578 |
1 |
1 |
| 3580 |
1 |
1 |
| 3582 |
1 |
1 |
| 3584 |
1 |
1 |
| 3585 |
1 |
1 |
| 3587 |
1 |
1 |
| 3589 |
1 |
1 |
| 3590 |
1 |
1 |
| 3592 |
1 |
1 |
| 3594 |
1 |
1 |
| 3595 |
1 |
1 |
| 3596 |
1 |
1 |
| 3597 |
1 |
1 |
| 3599 |
1 |
1 |
| 3601 |
1 |
1 |
| 3603 |
1 |
1 |
| 3604 |
1 |
1 |
| 3605 |
1 |
1 |
| 3607 |
1 |
1 |
| 3609 |
1 |
1 |
| 3610 |
1 |
1 |
| 3612 |
1 |
1 |
| 3614 |
1 |
1 |
| 3615 |
1 |
1 |
| 3617 |
1 |
1 |
| 3619 |
1 |
1 |
| 3620 |
1 |
1 |
| 3622 |
1 |
1 |
| 3624 |
1 |
1 |
| 3625 |
1 |
1 |
| 3627 |
1 |
1 |
| 3629 |
1 |
1 |
| 3630 |
1 |
1 |
| 3632 |
1 |
1 |
| 3634 |
1 |
1 |
| 3636 |
1 |
1 |
| 3637 |
1 |
1 |
| 3639 |
1 |
1 |
| 3641 |
1 |
1 |
| 3643 |
1 |
1 |
| 3645 |
1 |
1 |
| 3646 |
1 |
1 |
| 3647 |
1 |
1 |
| 3649 |
1 |
1 |
| 3650 |
1 |
1 |
| 3652 |
1 |
1 |
| 3653 |
1 |
1 |
| 3655 |
1 |
1 |
| 3657 |
1 |
1 |
| 3658 |
1 |
1 |
| 3661 |
1 |
1 |
| 3662 |
1 |
1 |
| 3664 |
1 |
1 |
| 3666 |
1 |
1 |
| 3667 |
1 |
1 |
| 3668 |
1 |
1 |
| 3670 |
1 |
1 |
| 3672 |
1 |
1 |
| 3673 |
1 |
1 |
| 3675 |
1 |
1 |
| 3677 |
1 |
1 |
| 3679 |
1 |
1 |
| 3681 |
1 |
1 |
| 3682 |
1 |
1 |
| 3684 |
1 |
1 |
| 3686 |
1 |
1 |
| 3688 |
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 |
| 3703 |
1 |
1 |
| 3704 |
1 |
1 |
| 3705 |
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 |
| 3721 |
1 |
1 |
| 3722 |
1 |
1 |
| 3723 |
1 |
1 |
| 3724 |
1 |
1 |
| 3729 |
1 |
1 |
| 3730 |
1 |
1 |
| 3732 |
1 |
1 |
| 3733 |
1 |
1 |
| 3734 |
1 |
1 |
| 3735 |
1 |
1 |
| 3736 |
1 |
1 |
| 3737 |
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 |
| 3750 |
1 |
1 |
| 3751 |
1 |
1 |
| 3752 |
1 |
1 |
| 3753 |
1 |
1 |
| 3754 |
1 |
1 |
| 3755 |
1 |
1 |
| 3756 |
1 |
1 |
| 3757 |
1 |
1 |
| 3758 |
1 |
1 |
| 3759 |
1 |
1 |
| 3760 |
1 |
1 |
| 3761 |
1 |
1 |
| 3762 |
1 |
1 |
| 3763 |
1 |
1 |
| 3764 |
1 |
1 |
| 3768 |
1 |
1 |
| 3769 |
1 |
1 |
| 3770 |
1 |
1 |
| 3771 |
1 |
1 |
| 3772 |
1 |
1 |
| 3773 |
1 |
1 |
| 3774 |
1 |
1 |
| 3775 |
1 |
1 |
| 3776 |
1 |
1 |
| 3777 |
1 |
1 |
| 3778 |
1 |
1 |
| 3779 |
1 |
1 |
| 3780 |
1 |
1 |
| 3781 |
1 |
1 |
| 3782 |
1 |
1 |
| 3786 |
1 |
1 |
| 3790 |
1 |
1 |
| 3791 |
1 |
1 |
| 3792 |
1 |
1 |
| 3793 |
1 |
1 |
| 3794 |
1 |
1 |
| 3795 |
1 |
1 |
| 3796 |
1 |
1 |
| 3800 |
1 |
1 |
| 3801 |
1 |
1 |
| 3802 |
1 |
1 |
| 3803 |
1 |
1 |
| 3804 |
1 |
1 |
| 3805 |
1 |
1 |
| 3806 |
1 |
1 |
| 3807 |
1 |
1 |
| 3808 |
1 |
1 |
| 3809 |
1 |
1 |
| 3810 |
1 |
1 |
| 3814 |
1 |
1 |
| 3818 |
1 |
1 |
| 3819 |
1 |
1 |
| 3820 |
1 |
1 |
| 3821 |
1 |
1 |
| 3822 |
1 |
1 |
| 3823 |
1 |
1 |
| 3827 |
1 |
1 |
| 3828 |
1 |
1 |
| 3829 |
1 |
1 |
| 3830 |
1 |
1 |
| 3834 |
1 |
1 |
| 3835 |
1 |
1 |
| 3839 |
1 |
1 |
| 3840 |
1 |
1 |
| 3844 |
1 |
1 |
| 3845 |
1 |
1 |
| 3849 |
1 |
1 |
| 3850 |
1 |
1 |
| 3854 |
1 |
1 |
| 3855 |
1 |
1 |
| 3856 |
1 |
1 |
| 3860 |
1 |
1 |
| 3861 |
1 |
1 |
| 3865 |
1 |
1 |
| 3866 |
1 |
1 |
| 3870 |
1 |
1 |
| 3871 |
1 |
1 |
| 3875 |
1 |
1 |
| 3876 |
1 |
1 |
| 3880 |
1 |
1 |
| 3881 |
1 |
1 |
| 3885 |
1 |
1 |
| 3886 |
1 |
1 |
| 3890 |
1 |
1 |
| 3891 |
1 |
1 |
| 3892 |
1 |
1 |
| 3896 |
1 |
1 |
| 3897 |
1 |
1 |
| 3898 |
1 |
1 |
| 3899 |
1 |
1 |
| 3903 |
1 |
1 |
| 3904 |
1 |
1 |
| 3908 |
1 |
1 |
| 3912 |
1 |
1 |
| 3916 |
1 |
1 |
| 3917 |
1 |
1 |
| 3921 |
1 |
1 |
| 3925 |
1 |
1 |
| 3926 |
1 |
1 |
| 3930 |
1 |
1 |
| 3934 |
1 |
1 |
| 3935 |
1 |
1 |
| 3939 |
1 |
1 |
| 3940 |
1 |
1 |
| 3941 |
1 |
1 |
| 3942 |
1 |
1 |
| 3946 |
1 |
1 |
| 3947 |
1 |
1 |
| 3948 |
1 |
1 |
| 3962 |
|
unreachable |
| 3970 |
1 |
1 |
| 3971 |
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 | T2,T3,T4 |
LINE 70
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T152,T153 |
| 1 | 0 | Covered | T122,T157,T158 |
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 | T1,T152,T153 |
| 0 | 1 | 0 | Covered | T122,T157,T158 |
| 1 | 0 | 0 | Covered | T1,T152,T153 |
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 | T122,T157,T158 |
| 0 | 1 | 0 | Covered | T150,T151,T156 |
| 1 | 0 | 0 | Not Covered | |
LINE 3390
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 3391
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_ENABLE_OFFSET)
------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3392
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_TEST_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T6 |
LINE 3393
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ALERT_TEST_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T6 |
LINE 3394
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_CTRL_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3395
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_STATUS_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3396
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_RDATA_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T5 |
LINE 3397
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FDATA_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T5 |
LINE 3398
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FIFO_CTRL_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3399
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_FIFO_CONFIG_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3400
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_FIFO_CONFIG_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3401
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_FIFO_STATUS_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T6 |
LINE 3402
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_FIFO_STATUS_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3403
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_OVRD_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T6 |
LINE 3404
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_VAL_OFFSET)
--------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T6 |
LINE 3405
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING0_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3406
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING1_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3407
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING2_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3408
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING3_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3409
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING4_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3410
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMEOUT_CTRL_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3411
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_ID_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3412
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ACQDATA_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3413
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TXDATA_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3414
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_TIMEOUT_CTRL_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3415
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_TIMEOUT_CTRL_OFFSET)
----------------------------1----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T6 |
LINE 3416
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_NACK_COUNT_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T6 |
LINE 3417
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_ACK_CTRL_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T6 |
LINE 3418
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ACQ_FIFO_NEXT_DATA_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T6 |
LINE 3419
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_NACK_HANDLER_TIMEOUT_OFFSET)
-------------------------------1-------------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T5 |
LINE 3420
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_CONTROLLER_EVENTS_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T4 |
LINE 3421
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_EVENTS_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T6 |
LINE 3424
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 3424
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 3428
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 | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T122,T150,T151 |
LINE 3428
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 | T2,T4,T6 |
| 31 (addr_hit[30] & ((|(4'... | Covered | T2,T4,T6 |
| 30 (addr_hit[29] & ((|(4'... | Covered | T2,T4,T6 |
| 29 (addr_hit[28] & ((|(4'... | Covered | T2,T4,T6 |
| 28 (addr_hit[27] & ((|(4'... | Covered | T2,T4,T6 |
| 27 (addr_hit[26] & ((|(4'... | Covered | T2,T4,T6 |
| 26 (addr_hit[25] & ((|(4'... | Covered | T2,T4,T6 |
| 25 (addr_hit[24] & ((|(4'... | Covered | T2,T4,T6 |
| 24 (addr_hit[23] & ((|(4'... | Covered | T2,T4,T6 |
| 23 (addr_hit[22] & ((|(4'... | Covered | T2,T3,T4 |
| 22 (addr_hit[21] & ((|(4'... | Covered | T2,T4,T6 |
| 21 (addr_hit[20] & ((|(4'... | Covered | T2,T4,T6 |
| 20 (addr_hit[19] & ((|(4'... | Covered | T2,T4,T6 |
| 19 (addr_hit[18] & ((|(4'... | Covered | T2,T4,T6 |
| 18 (addr_hit[17] & ((|(4'... | Covered | T2,T4,T6 |
| 17 (addr_hit[16] & ((|(4'... | Covered | T2,T4,T6 |
| 16 (addr_hit[15] & ((|(4'... | Covered | T2,T4,T6 |
| 15 (addr_hit[14] & ((|(4'... | Covered | T2,T4,T6 |
| 14 (addr_hit[13] & ((|(4'... | Covered | T2,T4,T6 |
| 13 (addr_hit[12] & ((|(4'... | Covered | T2,T3,T4 |
| 12 (addr_hit[11] & ((|(4'... | Covered | T2,T4,T6 |
| 11 (addr_hit[10] & ((|(4'... | Covered | T2,T4,T6 |
| 10 (addr_hit[9] & ((|(4'b... | Covered | T2,T4,T6 |
| 9 (addr_hit[8] & ((|(4'b... | Covered | T2,T4,T6 |
| 8 (addr_hit[7] & ((|(4'b... | Covered | T2,T4,T6 |
| 7 (addr_hit[6] & ((|(4'b... | Covered | T2,T4,T5 |
| 6 (addr_hit[5] & ((|(4'b... | Covered | T2,T3,T4 |
| 5 (addr_hit[4] & ((|(4'b... | Covered | T2,T4,T6 |
| 4 (addr_hit[3] & ((|(4'b... | Covered | T2,T4,T6 |
| 3 (addr_hit[2] & ((|(4'b... | Covered | T2,T4,T6 |
| 2 (addr_hit[1] & ((|(4'b... | Covered | T2,T4,T6 |
| 1 (addr_hit[0] & ((|(4'b... | Covered | T2,T3,T4 |
LINE 3428
SUB-EXPRESSION (addr_hit[0] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T2,T3,T4 |
LINE 3428
SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[2] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T5 |
| 1 | 1 | Covered | T2,T3,T4 |
LINE 3428
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T5 |
| 1 | 1 | Covered | T2,T4,T5 |
LINE 3428
SUB-EXPRESSION (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T5 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[8] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T3,T4 |
LINE 3428
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[22] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T3,T4 |
LINE 3428
SUB-EXPRESSION (addr_hit[23] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[24] & ((|(4'b0111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[26] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[28] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[29] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T5 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[30] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3428
SUB-EXPRESSION (addr_hit[31] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | Covered | T2,T4,T6 |
| 1 | 1 | Covered | T2,T4,T6 |
LINE 3464
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T150,T156,T159 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3481
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T122,T150,T156 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3512
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T156,T160,T159 |
| 1 | 1 | 1 | Covered | T31,T42,T54 |
LINE 3543
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T150,T156,T158 |
| 1 | 1 | 1 | Covered | T147,T148,T149 |
LINE 3546
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T150,T156,T159 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3561
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T122,T161,T162 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3562
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,T4,T5 |
| 1 | 1 | 0 | Covered | T163,T164,T162 |
| 1 | 1 | 1 | Covered | T2,T4,T5 |
LINE 3563
EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T4,T5 |
| 1 | 1 | 0 | Covered | T156,T160,T159 |
| 1 | 1 | 1 | Covered | T2,T4,T5 |
LINE 3576
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T156,T159,T165 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3585
EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T122,T156,T160 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3590
EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T150,T156,T159 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3595
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 | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T166,T167 |
| 1 | 1 | 1 | Covered | T81,T51,T52 |
LINE 3596
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T162 |
| 1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3597
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T156,T159,T165 |
| 1 | 1 | 1 | Covered | T79,T66,T82 |
LINE 3604
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 | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T168,T166,T161 |
| 1 | 1 | 1 | Not Covered | |
LINE 3605
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T150,T156,T160 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3610
EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T156,T159,T169 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3615
EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T156,T160,T159 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3620
EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T151,T157,T156 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3625
EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T122,T150,T156 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3630
EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T150,T156,T159 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3637
EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T150,T156,T159 |
| 1 | 1 | 1 | Covered | T3,T6,T11 |
LINE 3646
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T161 |
| 1 | 1 | 1 | Covered | T3,T6,T11 |
LINE 3647
EXPRESSION (addr_hit[23] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T122,T150,T156 |
| 1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3650
EXPRESSION (addr_hit[24] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T150,T156,T160 |
| 1 | 1 | 1 | Covered | T3,T6,T11 |
LINE 3653
EXPRESSION (addr_hit[25] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T150,T156,T159 |
| 1 | 1 | 1 | Covered | T83,T122,T123 |
LINE 3658
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 | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T168 |
| 1 | 1 | 1 | Covered | T83,T122,T123 |
LINE 3661
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 | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T164,T167 |
| 1 | 1 | 1 | Covered | T83,T122,T123 |
LINE 3662
EXPRESSION (addr_hit[27] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T150,T156,T159 |
| 1 | 1 | 1 | Covered | T12,T13,T14 |
LINE 3667
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 | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T164,T162,T167 |
| 1 | 1 | 1 | Not Covered | |
LINE 3668
EXPRESSION (addr_hit[29] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T4,T5 |
| 1 | 1 | 0 | Covered | T150,T156,T159 |
| 1 | 1 | 1 | Covered | T5,T39,T40 |
LINE 3673
EXPRESSION (addr_hit[30] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T156,T159,T169 |
| 1 | 1 | 1 | Covered | T2,T3,T5 |
LINE 3682
EXPRESSION (addr_hit[31] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T4 |
| 1 | 0 | 1 | Covered | T2,T4,T6 |
| 1 | 1 | 0 | Covered | T122,T150,T156 |
| 1 | 1 | 1 | Covered | T20,T21,T22 |
Branch Coverage for Module :
i2c_reg_top
| Line No. | Total | Covered | Percent |
| Branches |
|
38 |
38 |
100.00 |
| TERNARY |
3424 |
2 |
2 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| CASE |
3730 |
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-: 3424 ((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 |
T1,T152,T153 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 3730 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,T3,T5 |
Assert Coverage for Module :
i2c_reg_top
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
en2addrHit |
487588316 |
61733859 |
0 |
0 |
|
reAfterRv |
487588316 |
61733669 |
0 |
0 |
|
rePulse |
487588316 |
60667236 |
0 |
0 |
|
wePulse |
487588316 |
1066433 |
0 |
0 |
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
487588316 |
61733859 |
0 |
0 |
| T1 |
3952 |
1 |
0 |
0 |
| T2 |
113515 |
15937 |
0 |
0 |
| T3 |
15606 |
142 |
0 |
0 |
| T4 |
141753 |
15863 |
0 |
0 |
| T5 |
11614 |
887 |
0 |
0 |
| T6 |
512181 |
1420 |
0 |
0 |
| T7 |
201280 |
28645 |
0 |
0 |
| T8 |
35665 |
3717 |
0 |
0 |
| T9 |
66635 |
32338 |
0 |
0 |
| T10 |
132603 |
65189 |
0 |
0 |
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
487588316 |
61733669 |
0 |
0 |
| T1 |
3952 |
1 |
0 |
0 |
| T2 |
113515 |
15937 |
0 |
0 |
| T3 |
15606 |
142 |
0 |
0 |
| T4 |
141753 |
15863 |
0 |
0 |
| T5 |
11614 |
887 |
0 |
0 |
| T6 |
512181 |
1420 |
0 |
0 |
| T7 |
201280 |
28645 |
0 |
0 |
| T8 |
35665 |
3717 |
0 |
0 |
| T9 |
66635 |
32338 |
0 |
0 |
| T10 |
132603 |
65189 |
0 |
0 |
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
487588316 |
60667236 |
0 |
0 |
| T1 |
3952 |
1 |
0 |
0 |
| T2 |
113515 |
15159 |
0 |
0 |
| T3 |
15606 |
69 |
0 |
0 |
| T4 |
141753 |
15514 |
0 |
0 |
| T5 |
11614 |
804 |
0 |
0 |
| T6 |
512181 |
1405 |
0 |
0 |
| T7 |
201280 |
28482 |
0 |
0 |
| T8 |
35665 |
3421 |
0 |
0 |
| T9 |
66635 |
31830 |
0 |
0 |
| T10 |
132603 |
65044 |
0 |
0 |
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
487588316 |
1066433 |
0 |
0 |
| T2 |
113515 |
778 |
0 |
0 |
| T3 |
15606 |
73 |
0 |
0 |
| T4 |
141753 |
349 |
0 |
0 |
| T5 |
11614 |
83 |
0 |
0 |
| T6 |
512181 |
15 |
0 |
0 |
| T7 |
201280 |
163 |
0 |
0 |
| T8 |
35665 |
296 |
0 |
0 |
| T9 |
66635 |
508 |
0 |
0 |
| T10 |
132603 |
145 |
0 |
0 |
| T31 |
116493 |
4008 |
0 |
0 |