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