Assert Coverage for Module :
clkmgr_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
148969735 |
4680322 |
0 |
0 |
| T2 |
134272 |
41337 |
0 |
0 |
| T3 |
25588 |
0 |
0 |
0 |
| T11 |
617300 |
0 |
0 |
0 |
| T12 |
0 |
41689 |
0 |
0 |
| T14 |
0 |
60348 |
0 |
0 |
| T17 |
0 |
80740 |
0 |
0 |
| T22 |
2294 |
0 |
0 |
0 |
| T23 |
1385 |
0 |
0 |
0 |
| T24 |
46925 |
0 |
0 |
0 |
| T30 |
0 |
87807 |
0 |
0 |
| T31 |
19479 |
0 |
0 |
0 |
| T32 |
11278 |
0 |
0 |
0 |
| T33 |
0 |
125378 |
0 |
0 |
| T35 |
1314 |
0 |
0 |
0 |
| T39 |
0 |
116865 |
0 |
0 |
| T67 |
0 |
165448 |
0 |
0 |
| T68 |
0 |
201929 |
0 |
0 |
| T69 |
0 |
78179 |
0 |
0 |
| T70 |
1989 |
0 |
0 |
0 |
clk_enables_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
148969735 |
49826 |
0 |
0 |
| T1 |
268763 |
0 |
0 |
0 |
| T4 |
4014 |
0 |
0 |
0 |
| T5 |
56447 |
0 |
0 |
0 |
| T6 |
1827 |
3 |
0 |
0 |
| T7 |
1167 |
0 |
0 |
0 |
| T17 |
0 |
1609 |
0 |
0 |
| T25 |
1560 |
0 |
0 |
0 |
| T26 |
1115 |
0 |
0 |
0 |
| T27 |
1811 |
0 |
0 |
0 |
| T28 |
1680 |
0 |
0 |
0 |
| T29 |
2931 |
0 |
0 |
0 |
| T39 |
0 |
2189 |
0 |
0 |
| T69 |
0 |
1642 |
0 |
0 |
| T75 |
0 |
12 |
0 |
0 |
| T116 |
0 |
10 |
0 |
0 |
| T137 |
0 |
4 |
0 |
0 |
| T138 |
0 |
10 |
0 |
0 |
| T139 |
0 |
7 |
0 |
0 |
| T140 |
0 |
3 |
0 |
0 |
clk_hints_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
148969735 |
44214 |
0 |
0 |
| T1 |
268763 |
0 |
0 |
0 |
| T4 |
4014 |
0 |
0 |
0 |
| T5 |
56447 |
0 |
0 |
0 |
| T6 |
1827 |
2 |
0 |
0 |
| T7 |
1167 |
0 |
0 |
0 |
| T17 |
0 |
1414 |
0 |
0 |
| T25 |
1560 |
0 |
0 |
0 |
| T26 |
1115 |
0 |
0 |
0 |
| T27 |
1811 |
0 |
0 |
0 |
| T28 |
1680 |
0 |
0 |
0 |
| T29 |
2931 |
0 |
0 |
0 |
| T38 |
0 |
1 |
0 |
0 |
| T39 |
0 |
2118 |
0 |
0 |
| T69 |
0 |
1172 |
0 |
0 |
| T70 |
0 |
4 |
0 |
0 |
| T75 |
0 |
6 |
0 |
0 |
| T116 |
0 |
13 |
0 |
0 |
| T139 |
0 |
1 |
0 |
0 |
| T141 |
0 |
1 |
0 |
0 |
extclk_ctrl_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
148969735 |
55157 |
0 |
0 |
| T3 |
25588 |
0 |
0 |
0 |
| T11 |
617300 |
0 |
0 |
0 |
| T22 |
2294 |
50 |
0 |
0 |
| T23 |
1385 |
0 |
0 |
0 |
| T24 |
46925 |
0 |
0 |
0 |
| T31 |
19479 |
46 |
0 |
0 |
| T32 |
11278 |
0 |
0 |
0 |
| T35 |
1314 |
0 |
0 |
0 |
| T70 |
1989 |
0 |
0 |
0 |
| T86 |
0 |
32 |
0 |
0 |
| T111 |
0 |
55 |
0 |
0 |
| T112 |
0 |
67 |
0 |
0 |
| T142 |
0 |
32 |
0 |
0 |
| T143 |
0 |
8 |
0 |
0 |
| T144 |
0 |
21 |
0 |
0 |
| T145 |
0 |
27 |
0 |
0 |
| T146 |
0 |
10 |
0 |
0 |
| T147 |
1010 |
0 |
0 |
0 |
extclk_ctrl_regwen_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
148969735 |
43423 |
0 |
0 |
| T12 |
121423 |
0 |
0 |
0 |
| T17 |
0 |
1450 |
0 |
0 |
| T31 |
19479 |
20 |
0 |
0 |
| T32 |
11278 |
0 |
0 |
0 |
| T34 |
62059 |
0 |
0 |
0 |
| T39 |
0 |
2143 |
0 |
0 |
| T40 |
0 |
2645 |
0 |
0 |
| T41 |
1557 |
0 |
0 |
0 |
| T69 |
0 |
1330 |
0 |
0 |
| T108 |
0 |
15 |
0 |
0 |
| T110 |
0 |
46 |
0 |
0 |
| T147 |
1010 |
0 |
0 |
0 |
| T148 |
0 |
11 |
0 |
0 |
| T149 |
0 |
2735 |
0 |
0 |
| T150 |
0 |
2555 |
0 |
0 |
| T151 |
2118 |
0 |
0 |
0 |
| T152 |
1425 |
0 |
0 |
0 |
| T153 |
2992 |
0 |
0 |
0 |
| T154 |
3230 |
0 |
0 |
0 |
jitter_enable_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
148969735 |
63748 |
0 |
0 |
| T1 |
268763 |
0 |
0 |
0 |
| T4 |
4014 |
0 |
0 |
0 |
| T5 |
56447 |
0 |
0 |
0 |
| T6 |
1827 |
105 |
0 |
0 |
| T7 |
1167 |
0 |
0 |
0 |
| T17 |
0 |
1891 |
0 |
0 |
| T25 |
1560 |
0 |
0 |
0 |
| T26 |
1115 |
0 |
0 |
0 |
| T27 |
1811 |
0 |
0 |
0 |
| T28 |
1680 |
0 |
0 |
0 |
| T29 |
2931 |
0 |
0 |
0 |
| T38 |
0 |
63 |
0 |
0 |
| T70 |
0 |
109 |
0 |
0 |
| T75 |
0 |
512 |
0 |
0 |
| T137 |
0 |
123 |
0 |
0 |
| T138 |
0 |
48 |
0 |
0 |
| T139 |
0 |
108 |
0 |
0 |
| T140 |
0 |
86 |
0 |
0 |
| T141 |
0 |
72 |
0 |
0 |
jitter_regwen_rd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
148969735 |
47184 |
0 |
0 |
| T17 |
255216 |
1555 |
0 |
0 |
| T39 |
0 |
2413 |
0 |
0 |
| T40 |
0 |
2623 |
0 |
0 |
| T69 |
0 |
1533 |
0 |
0 |
| T74 |
97024 |
0 |
0 |
0 |
| T89 |
1142 |
0 |
0 |
0 |
| T138 |
1655 |
0 |
0 |
0 |
| T148 |
24260 |
0 |
0 |
0 |
| T149 |
0 |
3235 |
0 |
0 |
| T150 |
0 |
2851 |
0 |
0 |
| T155 |
0 |
1200 |
0 |
0 |
| T156 |
0 |
4013 |
0 |
0 |
| T157 |
0 |
1931 |
0 |
0 |
| T158 |
0 |
2045 |
0 |
0 |
| T159 |
1572 |
0 |
0 |
0 |
| T160 |
2524 |
0 |
0 |
0 |
| T161 |
1129 |
0 |
0 |
0 |
| T162 |
2243 |
0 |
0 |
0 |
| T163 |
2421 |
0 |
0 |
0 |