Assert Coverage for Module :
usbdev_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
696892 |
12123 |
0 |
0 |
T6 |
2190 |
1 |
0 |
0 |
T11 |
1584 |
2 |
0 |
0 |
T12 |
3555 |
10 |
0 |
0 |
T13 |
8563 |
0 |
0 |
0 |
T14 |
2445 |
2 |
0 |
0 |
T15 |
1476 |
0 |
0 |
0 |
T16 |
0 |
2 |
0 |
0 |
T17 |
0 |
495 |
0 |
0 |
T18 |
2425 |
0 |
0 |
0 |
T22 |
12217 |
1 |
0 |
0 |
T31 |
2223 |
0 |
0 |
0 |
T46 |
0 |
2 |
0 |
0 |
T47 |
0 |
2 |
0 |
0 |
T49 |
6342 |
1 |
0 |
0 |
ep_in_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
696892 |
1859 |
0 |
0 |
T7 |
2215 |
7 |
0 |
0 |
T17 |
8114 |
0 |
0 |
0 |
T21 |
4864 |
38 |
0 |
0 |
T41 |
3487 |
0 |
0 |
0 |
T42 |
1566 |
0 |
0 |
0 |
T43 |
2573 |
4 |
0 |
0 |
T44 |
13689 |
0 |
0 |
0 |
T45 |
1722 |
0 |
0 |
0 |
T46 |
15953 |
298 |
0 |
0 |
T50 |
0 |
285 |
0 |
0 |
T52 |
10732 |
142 |
0 |
0 |
T55 |
0 |
3 |
0 |
0 |
T63 |
0 |
2 |
0 |
0 |
T64 |
0 |
6 |
0 |
0 |
T65 |
0 |
3 |
0 |
0 |
ep_out_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
696892 |
1730 |
0 |
0 |
T7 |
2215 |
4 |
0 |
0 |
T17 |
8114 |
0 |
0 |
0 |
T21 |
4864 |
16 |
0 |
0 |
T41 |
3487 |
0 |
0 |
0 |
T42 |
1566 |
0 |
0 |
0 |
T43 |
2573 |
35 |
0 |
0 |
T44 |
13689 |
0 |
0 |
0 |
T45 |
1722 |
0 |
0 |
0 |
T46 |
15953 |
321 |
0 |
0 |
T50 |
0 |
312 |
0 |
0 |
T52 |
10732 |
115 |
0 |
0 |
T55 |
0 |
6 |
0 |
0 |
T63 |
0 |
9 |
0 |
0 |
T64 |
0 |
3 |
0 |
0 |
T65 |
0 |
9 |
0 |
0 |
in_iso_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
696892 |
1528 |
0 |
0 |
T7 |
2215 |
9 |
0 |
0 |
T17 |
8114 |
0 |
0 |
0 |
T21 |
4864 |
24 |
0 |
0 |
T41 |
3487 |
0 |
0 |
0 |
T42 |
1566 |
0 |
0 |
0 |
T43 |
2573 |
3 |
0 |
0 |
T44 |
13689 |
0 |
0 |
0 |
T45 |
1722 |
0 |
0 |
0 |
T46 |
15953 |
238 |
0 |
0 |
T50 |
0 |
236 |
0 |
0 |
T52 |
10732 |
122 |
0 |
0 |
T55 |
0 |
38 |
0 |
0 |
T63 |
0 |
6 |
0 |
0 |
T64 |
0 |
2 |
0 |
0 |
T65 |
0 |
8 |
0 |
0 |
intr_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
696892 |
2148 |
0 |
0 |
T7 |
2215 |
2 |
0 |
0 |
T9 |
5075 |
26 |
0 |
0 |
T13 |
8563 |
0 |
0 |
0 |
T19 |
0 |
17 |
0 |
0 |
T21 |
4864 |
7 |
0 |
0 |
T22 |
12217 |
0 |
0 |
0 |
T24 |
1579 |
17 |
0 |
0 |
T26 |
1318 |
16 |
0 |
0 |
T31 |
2223 |
0 |
0 |
0 |
T43 |
0 |
45 |
0 |
0 |
T46 |
0 |
220 |
0 |
0 |
T49 |
6342 |
0 |
0 |
0 |
T50 |
0 |
201 |
0 |
0 |
T52 |
0 |
135 |
0 |
0 |
T66 |
1237 |
0 |
0 |
0 |
out_iso_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
696892 |
1394 |
0 |
0 |
T17 |
8114 |
0 |
0 |
0 |
T21 |
4864 |
3 |
0 |
0 |
T41 |
3487 |
0 |
0 |
0 |
T42 |
1566 |
0 |
0 |
0 |
T43 |
2573 |
39 |
0 |
0 |
T44 |
13689 |
0 |
0 |
0 |
T45 |
1722 |
0 |
0 |
0 |
T46 |
15953 |
132 |
0 |
0 |
T47 |
13688 |
0 |
0 |
0 |
T50 |
0 |
264 |
0 |
0 |
T52 |
10732 |
134 |
0 |
0 |
T55 |
0 |
70 |
0 |
0 |
T63 |
0 |
6 |
0 |
0 |
T64 |
0 |
10 |
0 |
0 |
T65 |
0 |
4 |
0 |
0 |
T67 |
0 |
115 |
0 |
0 |
phy_config_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
696892 |
771 |
0 |
0 |
T7 |
2215 |
1 |
0 |
0 |
T17 |
8114 |
0 |
0 |
0 |
T21 |
4864 |
33 |
0 |
0 |
T23 |
0 |
2 |
0 |
0 |
T41 |
3487 |
0 |
0 |
0 |
T42 |
1566 |
0 |
0 |
0 |
T43 |
2573 |
8 |
0 |
0 |
T44 |
13689 |
0 |
0 |
0 |
T45 |
1722 |
0 |
0 |
0 |
T46 |
15953 |
83 |
0 |
0 |
T50 |
0 |
143 |
0 |
0 |
T52 |
10732 |
126 |
0 |
0 |
T55 |
0 |
7 |
0 |
0 |
T64 |
0 |
8 |
0 |
0 |
T65 |
0 |
11 |
0 |
0 |
phy_pins_drive_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
696892 |
1505 |
0 |
0 |
T7 |
2215 |
1 |
0 |
0 |
T17 |
8114 |
0 |
0 |
0 |
T21 |
4864 |
9 |
0 |
0 |
T41 |
3487 |
0 |
0 |
0 |
T42 |
1566 |
0 |
0 |
0 |
T43 |
2573 |
0 |
0 |
0 |
T44 |
13689 |
0 |
0 |
0 |
T45 |
1722 |
0 |
0 |
0 |
T46 |
15953 |
235 |
0 |
0 |
T50 |
0 |
229 |
0 |
0 |
T52 |
10732 |
156 |
0 |
0 |
T55 |
0 |
6 |
0 |
0 |
T63 |
0 |
7 |
0 |
0 |
T64 |
0 |
4 |
0 |
0 |
T65 |
0 |
3 |
0 |
0 |
T67 |
0 |
243 |
0 |
0 |
rxenable_setup_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
696892 |
1640 |
0 |
0 |
T7 |
2215 |
4 |
0 |
0 |
T17 |
8114 |
0 |
0 |
0 |
T21 |
4864 |
28 |
0 |
0 |
T41 |
3487 |
0 |
0 |
0 |
T42 |
1566 |
0 |
0 |
0 |
T43 |
2573 |
0 |
0 |
0 |
T44 |
13689 |
0 |
0 |
0 |
T45 |
1722 |
0 |
0 |
0 |
T46 |
15953 |
311 |
0 |
0 |
T50 |
0 |
291 |
0 |
0 |
T52 |
10732 |
129 |
0 |
0 |
T55 |
0 |
58 |
0 |
0 |
T63 |
0 |
3 |
0 |
0 |
T65 |
0 |
4 |
0 |
0 |
T67 |
0 |
274 |
0 |
0 |
T68 |
0 |
14 |
0 |
0 |
set_nak_out_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
696892 |
1479 |
0 |
0 |
T7 |
2215 |
1 |
0 |
0 |
T17 |
8114 |
1 |
0 |
0 |
T41 |
3487 |
0 |
0 |
0 |
T42 |
1566 |
0 |
0 |
0 |
T43 |
2573 |
7 |
0 |
0 |
T44 |
13689 |
0 |
0 |
0 |
T45 |
1722 |
0 |
0 |
0 |
T46 |
15953 |
242 |
0 |
0 |
T47 |
13688 |
0 |
0 |
0 |
T50 |
0 |
115 |
0 |
0 |
T52 |
10732 |
152 |
0 |
0 |
T55 |
0 |
40 |
0 |
0 |
T63 |
0 |
1 |
0 |
0 |
T64 |
0 |
6 |
0 |
0 |
T65 |
0 |
6 |
0 |
0 |