Assert Coverage for Module :
clkmgr_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
39214857 |
584430 |
0 |
0 |
T10 |
35784 |
0 |
0 |
0 |
T27 |
21527 |
0 |
0 |
0 |
T50 |
131065 |
3507 |
0 |
0 |
T54 |
0 |
3426 |
0 |
0 |
T55 |
1139 |
0 |
0 |
0 |
T63 |
0 |
3049 |
0 |
0 |
T77 |
0 |
8835 |
0 |
0 |
T78 |
0 |
9049 |
0 |
0 |
T79 |
0 |
9129 |
0 |
0 |
T80 |
0 |
3621 |
0 |
0 |
T81 |
0 |
27160 |
0 |
0 |
T82 |
0 |
17930 |
0 |
0 |
T83 |
0 |
6885 |
0 |
0 |
T84 |
2827 |
0 |
0 |
0 |
T85 |
1645 |
0 |
0 |
0 |
T86 |
2627 |
0 |
0 |
0 |
T87 |
1947 |
0 |
0 |
0 |
T88 |
2321 |
0 |
0 |
0 |
T89 |
2429 |
0 |
0 |
0 |
clk_enables_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
39214857 |
8093 |
0 |
0 |
T4 |
1922 |
4 |
0 |
0 |
T5 |
1598 |
0 |
0 |
0 |
T6 |
1727 |
0 |
0 |
0 |
T29 |
1539 |
0 |
0 |
0 |
T30 |
1004 |
0 |
0 |
0 |
T31 |
1495 |
0 |
0 |
0 |
T32 |
1873 |
0 |
0 |
0 |
T33 |
2022 |
0 |
0 |
0 |
T34 |
1095 |
0 |
0 |
0 |
T35 |
1717 |
0 |
0 |
0 |
T54 |
0 |
167 |
0 |
0 |
T80 |
0 |
182 |
0 |
0 |
T83 |
0 |
127 |
0 |
0 |
T91 |
0 |
5 |
0 |
0 |
T142 |
0 |
4 |
0 |
0 |
T143 |
0 |
10 |
0 |
0 |
T144 |
0 |
1 |
0 |
0 |
T145 |
0 |
2 |
0 |
0 |
T146 |
0 |
8 |
0 |
0 |
clk_hints_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
39214857 |
7207 |
0 |
0 |
T4 |
1922 |
1 |
0 |
0 |
T5 |
1598 |
0 |
0 |
0 |
T6 |
1727 |
0 |
0 |
0 |
T29 |
1539 |
0 |
0 |
0 |
T30 |
1004 |
0 |
0 |
0 |
T31 |
1495 |
0 |
0 |
0 |
T32 |
1873 |
0 |
0 |
0 |
T33 |
2022 |
0 |
0 |
0 |
T34 |
1095 |
0 |
0 |
0 |
T35 |
1717 |
0 |
0 |
0 |
T54 |
0 |
127 |
0 |
0 |
T80 |
0 |
151 |
0 |
0 |
T91 |
0 |
1 |
0 |
0 |
T142 |
0 |
2 |
0 |
0 |
T143 |
0 |
2 |
0 |
0 |
T144 |
0 |
3 |
0 |
0 |
T145 |
0 |
5 |
0 |
0 |
T147 |
0 |
7 |
0 |
0 |
T148 |
0 |
8 |
0 |
0 |
extclk_ctrl_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
39214857 |
11688 |
0 |
0 |
T1 |
2920 |
0 |
0 |
0 |
T19 |
0 |
50 |
0 |
0 |
T21 |
0 |
51 |
0 |
0 |
T26 |
0 |
41 |
0 |
0 |
T27 |
0 |
97 |
0 |
0 |
T32 |
1873 |
60 |
0 |
0 |
T33 |
2022 |
0 |
0 |
0 |
T34 |
1095 |
0 |
0 |
0 |
T35 |
1717 |
0 |
0 |
0 |
T44 |
949 |
0 |
0 |
0 |
T45 |
28709 |
0 |
0 |
0 |
T51 |
0 |
34 |
0 |
0 |
T54 |
0 |
128 |
0 |
0 |
T57 |
1484 |
0 |
0 |
0 |
T58 |
1793 |
0 |
0 |
0 |
T76 |
820 |
0 |
0 |
0 |
T89 |
0 |
30 |
0 |
0 |
T90 |
0 |
9 |
0 |
0 |
T149 |
0 |
44 |
0 |
0 |
extclk_ctrl_regwen_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
39214857 |
6341 |
0 |
0 |
T27 |
21527 |
90 |
0 |
0 |
T51 |
0 |
20 |
0 |
0 |
T54 |
0 |
125 |
0 |
0 |
T59 |
1268 |
0 |
0 |
0 |
T80 |
0 |
82 |
0 |
0 |
T83 |
0 |
145 |
0 |
0 |
T85 |
1645 |
0 |
0 |
0 |
T86 |
2627 |
0 |
0 |
0 |
T87 |
1947 |
0 |
0 |
0 |
T88 |
2321 |
0 |
0 |
0 |
T89 |
2429 |
0 |
0 |
0 |
T90 |
0 |
9 |
0 |
0 |
T120 |
1851 |
0 |
0 |
0 |
T150 |
0 |
20 |
0 |
0 |
T151 |
0 |
27 |
0 |
0 |
T152 |
0 |
17 |
0 |
0 |
T153 |
0 |
41 |
0 |
0 |
T154 |
746 |
0 |
0 |
0 |
T155 |
973 |
0 |
0 |
0 |
jitter_enable_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
39214857 |
15347 |
0 |
0 |
T4 |
1922 |
74 |
0 |
0 |
T5 |
1598 |
0 |
0 |
0 |
T6 |
1727 |
0 |
0 |
0 |
T29 |
1539 |
0 |
0 |
0 |
T30 |
1004 |
0 |
0 |
0 |
T31 |
1495 |
0 |
0 |
0 |
T32 |
1873 |
0 |
0 |
0 |
T33 |
2022 |
0 |
0 |
0 |
T34 |
1095 |
0 |
0 |
0 |
T35 |
1717 |
0 |
0 |
0 |
T54 |
0 |
337 |
0 |
0 |
T80 |
0 |
546 |
0 |
0 |
T91 |
0 |
112 |
0 |
0 |
T142 |
0 |
99 |
0 |
0 |
T143 |
0 |
116 |
0 |
0 |
T144 |
0 |
111 |
0 |
0 |
T145 |
0 |
103 |
0 |
0 |
T147 |
0 |
76 |
0 |
0 |
T156 |
0 |
127 |
0 |
0 |
jitter_regwen_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
39214857 |
6450 |
0 |
0 |
T52 |
189642 |
0 |
0 |
0 |
T54 |
122075 |
181 |
0 |
0 |
T65 |
10576 |
0 |
0 |
0 |
T80 |
0 |
136 |
0 |
0 |
T83 |
0 |
123 |
0 |
0 |
T90 |
6678 |
0 |
0 |
0 |
T157 |
0 |
334 |
0 |
0 |
T158 |
0 |
363 |
0 |
0 |
T159 |
0 |
294 |
0 |
0 |
T160 |
0 |
184 |
0 |
0 |
T161 |
0 |
218 |
0 |
0 |
T162 |
0 |
498 |
0 |
0 |
T163 |
0 |
320 |
0 |
0 |
T164 |
1642 |
0 |
0 |
0 |
T165 |
2760 |
0 |
0 |
0 |
T166 |
1834 |
0 |
0 |
0 |
T167 |
1738 |
0 |
0 |
0 |
T168 |
1067 |
0 |
0 |
0 |
T169 |
1306 |
0 |
0 |
0 |