Assert Coverage for Module :
usbdev_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1868869 |
13966 |
0 |
0 |
| T4 |
8654 |
13 |
0 |
0 |
| T5 |
80003 |
6 |
0 |
0 |
| T6 |
4902 |
20 |
0 |
0 |
| T7 |
3710 |
0 |
0 |
0 |
| T8 |
3436 |
0 |
0 |
0 |
| T9 |
1919 |
0 |
0 |
0 |
| T13 |
3815 |
0 |
0 |
0 |
| T14 |
9203 |
0 |
0 |
0 |
| T15 |
6051 |
6 |
0 |
0 |
| T16 |
12337 |
814 |
0 |
0 |
| T17 |
0 |
16 |
0 |
0 |
| T18 |
0 |
820 |
0 |
0 |
| T19 |
0 |
864 |
0 |
0 |
| T20 |
0 |
545 |
0 |
0 |
| T23 |
0 |
1 |
0 |
0 |
ep_in_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1868869 |
3236 |
0 |
0 |
| T4 |
8654 |
100 |
0 |
0 |
| T5 |
80003 |
0 |
0 |
0 |
| T6 |
4902 |
0 |
0 |
0 |
| T7 |
3710 |
0 |
0 |
0 |
| T8 |
3436 |
0 |
0 |
0 |
| T9 |
1919 |
0 |
0 |
0 |
| T13 |
3815 |
0 |
0 |
0 |
| T14 |
9203 |
0 |
0 |
0 |
| T15 |
6051 |
6 |
0 |
0 |
| T16 |
12337 |
0 |
0 |
0 |
| T17 |
0 |
73 |
0 |
0 |
| T19 |
0 |
1 |
0 |
0 |
| T23 |
0 |
118 |
0 |
0 |
| T46 |
0 |
420 |
0 |
0 |
| T65 |
0 |
55 |
0 |
0 |
| T66 |
0 |
12 |
0 |
0 |
| T67 |
0 |
66 |
0 |
0 |
| T68 |
0 |
61 |
0 |
0 |
ep_out_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1868869 |
3102 |
0 |
0 |
| T4 |
8654 |
16 |
0 |
0 |
| T5 |
80003 |
0 |
0 |
0 |
| T6 |
4902 |
0 |
0 |
0 |
| T7 |
3710 |
0 |
0 |
0 |
| T8 |
3436 |
0 |
0 |
0 |
| T9 |
1919 |
0 |
0 |
0 |
| T13 |
3815 |
0 |
0 |
0 |
| T14 |
9203 |
0 |
0 |
0 |
| T15 |
6051 |
51 |
0 |
0 |
| T16 |
12337 |
0 |
0 |
0 |
| T17 |
0 |
11 |
0 |
0 |
| T23 |
0 |
87 |
0 |
0 |
| T46 |
0 |
436 |
0 |
0 |
| T65 |
0 |
11 |
0 |
0 |
| T66 |
0 |
8 |
0 |
0 |
| T67 |
0 |
24 |
0 |
0 |
| T68 |
0 |
55 |
0 |
0 |
| T69 |
0 |
4 |
0 |
0 |
in_iso_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1868869 |
3364 |
0 |
0 |
| T4 |
8654 |
11 |
0 |
0 |
| T5 |
80003 |
0 |
0 |
0 |
| T6 |
4902 |
0 |
0 |
0 |
| T7 |
3710 |
0 |
0 |
0 |
| T8 |
3436 |
0 |
0 |
0 |
| T9 |
1919 |
0 |
0 |
0 |
| T13 |
3815 |
0 |
0 |
0 |
| T14 |
9203 |
0 |
0 |
0 |
| T15 |
6051 |
66 |
0 |
0 |
| T16 |
12337 |
0 |
0 |
0 |
| T17 |
0 |
79 |
0 |
0 |
| T23 |
0 |
114 |
0 |
0 |
| T46 |
0 |
467 |
0 |
0 |
| T65 |
0 |
72 |
0 |
0 |
| T66 |
0 |
52 |
0 |
0 |
| T67 |
0 |
20 |
0 |
0 |
| T68 |
0 |
56 |
0 |
0 |
| T70 |
0 |
39 |
0 |
0 |
intr_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1868869 |
4768 |
0 |
0 |
| T4 |
8654 |
20 |
0 |
0 |
| T5 |
80003 |
0 |
0 |
0 |
| T6 |
4902 |
0 |
0 |
0 |
| T7 |
3710 |
0 |
0 |
0 |
| T8 |
3436 |
19 |
0 |
0 |
| T9 |
1919 |
0 |
0 |
0 |
| T13 |
3815 |
0 |
0 |
0 |
| T14 |
9203 |
0 |
0 |
0 |
| T15 |
6051 |
4 |
0 |
0 |
| T16 |
12337 |
0 |
0 |
0 |
| T17 |
0 |
44 |
0 |
0 |
| T19 |
0 |
4 |
0 |
0 |
| T23 |
0 |
179 |
0 |
0 |
| T35 |
0 |
11 |
0 |
0 |
| T65 |
0 |
69 |
0 |
0 |
| T71 |
0 |
5 |
0 |
0 |
| T72 |
0 |
8 |
0 |
0 |
out_iso_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1868869 |
3427 |
0 |
0 |
| T4 |
8654 |
76 |
0 |
0 |
| T5 |
80003 |
0 |
0 |
0 |
| T6 |
4902 |
0 |
0 |
0 |
| T7 |
3710 |
0 |
0 |
0 |
| T8 |
3436 |
0 |
0 |
0 |
| T9 |
1919 |
0 |
0 |
0 |
| T13 |
3815 |
0 |
0 |
0 |
| T14 |
9203 |
0 |
0 |
0 |
| T15 |
6051 |
48 |
0 |
0 |
| T16 |
12337 |
0 |
0 |
0 |
| T17 |
0 |
30 |
0 |
0 |
| T23 |
0 |
102 |
0 |
0 |
| T46 |
0 |
470 |
0 |
0 |
| T65 |
0 |
17 |
0 |
0 |
| T66 |
0 |
52 |
0 |
0 |
| T67 |
0 |
21 |
0 |
0 |
| T68 |
0 |
52 |
0 |
0 |
| T70 |
0 |
46 |
0 |
0 |
phy_config_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1868869 |
2010 |
0 |
0 |
| T4 |
8654 |
25 |
0 |
0 |
| T5 |
80003 |
0 |
0 |
0 |
| T6 |
4902 |
0 |
0 |
0 |
| T7 |
3710 |
0 |
0 |
0 |
| T8 |
3436 |
0 |
0 |
0 |
| T9 |
1919 |
0 |
0 |
0 |
| T13 |
3815 |
0 |
0 |
0 |
| T14 |
9203 |
0 |
0 |
0 |
| T15 |
6051 |
20 |
0 |
0 |
| T16 |
12337 |
0 |
0 |
0 |
| T23 |
0 |
37 |
0 |
0 |
| T46 |
0 |
254 |
0 |
0 |
| T65 |
0 |
27 |
0 |
0 |
| T66 |
0 |
10 |
0 |
0 |
| T67 |
0 |
33 |
0 |
0 |
| T68 |
0 |
9 |
0 |
0 |
| T70 |
0 |
10 |
0 |
0 |
| T73 |
0 |
242 |
0 |
0 |
phy_pins_drive_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1868869 |
2690 |
0 |
0 |
| T4 |
8654 |
48 |
0 |
0 |
| T5 |
80003 |
0 |
0 |
0 |
| T6 |
4902 |
0 |
0 |
0 |
| T7 |
3710 |
0 |
0 |
0 |
| T8 |
3436 |
0 |
0 |
0 |
| T9 |
1919 |
0 |
0 |
0 |
| T13 |
3815 |
0 |
0 |
0 |
| T14 |
9203 |
0 |
0 |
0 |
| T15 |
6051 |
31 |
0 |
0 |
| T16 |
12337 |
0 |
0 |
0 |
| T17 |
0 |
14 |
0 |
0 |
| T23 |
0 |
72 |
0 |
0 |
| T46 |
0 |
343 |
0 |
0 |
| T65 |
0 |
42 |
0 |
0 |
| T66 |
0 |
11 |
0 |
0 |
| T67 |
0 |
31 |
0 |
0 |
| T68 |
0 |
4 |
0 |
0 |
| T74 |
0 |
4 |
0 |
0 |
rxenable_setup_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1868869 |
3259 |
0 |
0 |
| T4 |
8654 |
16 |
0 |
0 |
| T5 |
80003 |
0 |
0 |
0 |
| T6 |
4902 |
0 |
0 |
0 |
| T7 |
3710 |
0 |
0 |
0 |
| T8 |
3436 |
0 |
0 |
0 |
| T9 |
1919 |
0 |
0 |
0 |
| T13 |
3815 |
0 |
0 |
0 |
| T14 |
9203 |
0 |
0 |
0 |
| T15 |
6051 |
17 |
0 |
0 |
| T16 |
12337 |
0 |
0 |
0 |
| T17 |
0 |
46 |
0 |
0 |
| T23 |
0 |
148 |
0 |
0 |
| T46 |
0 |
492 |
0 |
0 |
| T65 |
0 |
54 |
0 |
0 |
| T66 |
0 |
2 |
0 |
0 |
| T67 |
0 |
60 |
0 |
0 |
| T68 |
0 |
46 |
0 |
0 |
| T70 |
0 |
4 |
0 |
0 |
set_nak_out_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1868869 |
3458 |
0 |
0 |
| T4 |
8654 |
51 |
0 |
0 |
| T5 |
80003 |
0 |
0 |
0 |
| T6 |
4902 |
0 |
0 |
0 |
| T7 |
3710 |
0 |
0 |
0 |
| T8 |
3436 |
0 |
0 |
0 |
| T9 |
1919 |
0 |
0 |
0 |
| T13 |
3815 |
0 |
0 |
0 |
| T14 |
9203 |
0 |
0 |
0 |
| T15 |
6051 |
5 |
0 |
0 |
| T16 |
12337 |
0 |
0 |
0 |
| T17 |
0 |
3 |
0 |
0 |
| T23 |
0 |
69 |
0 |
0 |
| T42 |
0 |
2 |
0 |
0 |
| T46 |
0 |
526 |
0 |
0 |
| T65 |
0 |
58 |
0 |
0 |
| T66 |
0 |
55 |
0 |
0 |
| T67 |
0 |
42 |
0 |
0 |
| T68 |
0 |
47 |
0 |
0 |