Assert Coverage for Module :
rstmgr_csr_assert_fpv
Assertion Details
TlulOOBAddrErr_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
9665 |
0 |
0 |
T69 |
11603 |
1 |
0 |
0 |
T70 |
4446 |
172 |
0 |
0 |
T72 |
4788 |
36 |
0 |
0 |
T73 |
4819 |
28 |
0 |
0 |
T74 |
20720 |
3 |
0 |
0 |
T82 |
2775 |
5 |
0 |
0 |
T83 |
4625 |
25 |
0 |
0 |
T84 |
4785 |
20 |
0 |
0 |
T85 |
4776 |
119 |
0 |
0 |
T86 |
4183 |
12 |
0 |
0 |
alert_regwen_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
3856 |
0 |
0 |
T13 |
38233 |
29 |
0 |
0 |
T14 |
2572 |
0 |
0 |
0 |
T15 |
2652 |
0 |
0 |
0 |
T16 |
3662 |
0 |
0 |
0 |
T17 |
36807 |
0 |
0 |
0 |
T33 |
0 |
80 |
0 |
0 |
T35 |
0 |
59 |
0 |
0 |
T45 |
3212 |
0 |
0 |
0 |
T46 |
8745 |
0 |
0 |
0 |
T47 |
3704 |
0 |
0 |
0 |
T48 |
5663 |
0 |
0 |
0 |
T61 |
0 |
65 |
0 |
0 |
T81 |
5276 |
0 |
0 |
0 |
T90 |
0 |
70 |
0 |
0 |
T91 |
0 |
348 |
0 |
0 |
T117 |
0 |
68 |
0 |
0 |
T118 |
0 |
52 |
0 |
0 |
T119 |
0 |
72 |
0 |
0 |
T120 |
0 |
313 |
0 |
0 |
cpu_regwen_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
3728 |
0 |
0 |
T13 |
38233 |
43 |
0 |
0 |
T14 |
2572 |
0 |
0 |
0 |
T15 |
2652 |
0 |
0 |
0 |
T16 |
3662 |
0 |
0 |
0 |
T17 |
36807 |
0 |
0 |
0 |
T33 |
0 |
68 |
0 |
0 |
T35 |
0 |
57 |
0 |
0 |
T45 |
3212 |
0 |
0 |
0 |
T46 |
8745 |
0 |
0 |
0 |
T47 |
3704 |
0 |
0 |
0 |
T48 |
5663 |
0 |
0 |
0 |
T61 |
0 |
67 |
0 |
0 |
T81 |
5276 |
0 |
0 |
0 |
T90 |
0 |
70 |
0 |
0 |
T91 |
0 |
347 |
0 |
0 |
T117 |
0 |
85 |
0 |
0 |
T118 |
0 |
56 |
0 |
0 |
T119 |
0 |
77 |
0 |
0 |
T120 |
0 |
371 |
0 |
0 |
sw_rst_ctrl_n_0_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
8738 |
0 |
0 |
T1 |
7432 |
64 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
113 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
28 |
0 |
0 |
T33 |
0 |
109 |
0 |
0 |
T35 |
0 |
161 |
0 |
0 |
T61 |
0 |
92 |
0 |
0 |
T90 |
0 |
153 |
0 |
0 |
T121 |
0 |
151 |
0 |
0 |
T122 |
0 |
138 |
0 |
0 |
T123 |
0 |
159 |
0 |
0 |
sw_rst_ctrl_n_1_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
8569 |
0 |
0 |
T1 |
7432 |
69 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
112 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
26 |
0 |
0 |
T33 |
0 |
139 |
0 |
0 |
T35 |
0 |
153 |
0 |
0 |
T61 |
0 |
79 |
0 |
0 |
T90 |
0 |
177 |
0 |
0 |
T121 |
0 |
190 |
0 |
0 |
T122 |
0 |
103 |
0 |
0 |
T123 |
0 |
153 |
0 |
0 |
sw_rst_ctrl_n_2_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
8865 |
0 |
0 |
T1 |
7432 |
47 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
109 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
55 |
0 |
0 |
T33 |
0 |
126 |
0 |
0 |
T35 |
0 |
160 |
0 |
0 |
T61 |
0 |
76 |
0 |
0 |
T90 |
0 |
156 |
0 |
0 |
T121 |
0 |
170 |
0 |
0 |
T122 |
0 |
148 |
0 |
0 |
T123 |
0 |
139 |
0 |
0 |
sw_rst_ctrl_n_3_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
8691 |
0 |
0 |
T1 |
7432 |
69 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
144 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
38 |
0 |
0 |
T33 |
0 |
110 |
0 |
0 |
T35 |
0 |
165 |
0 |
0 |
T61 |
0 |
71 |
0 |
0 |
T90 |
0 |
213 |
0 |
0 |
T121 |
0 |
137 |
0 |
0 |
T122 |
0 |
129 |
0 |
0 |
T123 |
0 |
118 |
0 |
0 |
sw_rst_ctrl_n_4_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
8700 |
0 |
0 |
T1 |
7432 |
69 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
130 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
43 |
0 |
0 |
T33 |
0 |
91 |
0 |
0 |
T35 |
0 |
136 |
0 |
0 |
T61 |
0 |
64 |
0 |
0 |
T90 |
0 |
166 |
0 |
0 |
T121 |
0 |
143 |
0 |
0 |
T122 |
0 |
120 |
0 |
0 |
T123 |
0 |
161 |
0 |
0 |
sw_rst_ctrl_n_5_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
8716 |
0 |
0 |
T1 |
7432 |
63 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
161 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
28 |
0 |
0 |
T33 |
0 |
147 |
0 |
0 |
T35 |
0 |
151 |
0 |
0 |
T61 |
0 |
61 |
0 |
0 |
T90 |
0 |
213 |
0 |
0 |
T121 |
0 |
185 |
0 |
0 |
T122 |
0 |
116 |
0 |
0 |
T123 |
0 |
135 |
0 |
0 |
sw_rst_ctrl_n_6_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
8762 |
0 |
0 |
T1 |
7432 |
82 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
118 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
25 |
0 |
0 |
T33 |
0 |
84 |
0 |
0 |
T35 |
0 |
131 |
0 |
0 |
T61 |
0 |
93 |
0 |
0 |
T90 |
0 |
167 |
0 |
0 |
T121 |
0 |
189 |
0 |
0 |
T122 |
0 |
140 |
0 |
0 |
T123 |
0 |
139 |
0 |
0 |
sw_rst_ctrl_n_7_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
8725 |
0 |
0 |
T1 |
7432 |
80 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
98 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
30 |
0 |
0 |
T33 |
0 |
138 |
0 |
0 |
T35 |
0 |
169 |
0 |
0 |
T61 |
0 |
60 |
0 |
0 |
T90 |
0 |
152 |
0 |
0 |
T121 |
0 |
169 |
0 |
0 |
T122 |
0 |
129 |
0 |
0 |
T123 |
0 |
183 |
0 |
0 |
sw_rst_regwen_0_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
4590 |
0 |
0 |
T1 |
7432 |
17 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
29 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
39 |
0 |
0 |
T33 |
0 |
83 |
0 |
0 |
T35 |
0 |
73 |
0 |
0 |
T61 |
0 |
60 |
0 |
0 |
T90 |
0 |
54 |
0 |
0 |
T121 |
0 |
26 |
0 |
0 |
T122 |
0 |
25 |
0 |
0 |
T123 |
0 |
31 |
0 |
0 |
sw_rst_regwen_1_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
4172 |
0 |
0 |
T1 |
7432 |
30 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
34 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
18 |
0 |
0 |
T33 |
0 |
52 |
0 |
0 |
T35 |
0 |
53 |
0 |
0 |
T61 |
0 |
64 |
0 |
0 |
T90 |
0 |
69 |
0 |
0 |
T121 |
0 |
29 |
0 |
0 |
T122 |
0 |
27 |
0 |
0 |
T123 |
0 |
28 |
0 |
0 |
sw_rst_regwen_2_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
4462 |
0 |
0 |
T1 |
7432 |
14 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
36 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
37 |
0 |
0 |
T33 |
0 |
87 |
0 |
0 |
T35 |
0 |
51 |
0 |
0 |
T61 |
0 |
83 |
0 |
0 |
T90 |
0 |
78 |
0 |
0 |
T121 |
0 |
28 |
0 |
0 |
T122 |
0 |
38 |
0 |
0 |
T123 |
0 |
30 |
0 |
0 |
sw_rst_regwen_3_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
4468 |
0 |
0 |
T1 |
7432 |
15 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
27 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
37 |
0 |
0 |
T33 |
0 |
50 |
0 |
0 |
T35 |
0 |
42 |
0 |
0 |
T61 |
0 |
74 |
0 |
0 |
T90 |
0 |
41 |
0 |
0 |
T121 |
0 |
27 |
0 |
0 |
T122 |
0 |
35 |
0 |
0 |
T123 |
0 |
29 |
0 |
0 |
sw_rst_regwen_4_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
4381 |
0 |
0 |
T1 |
7432 |
13 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
24 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
44 |
0 |
0 |
T33 |
0 |
74 |
0 |
0 |
T35 |
0 |
43 |
0 |
0 |
T61 |
0 |
72 |
0 |
0 |
T90 |
0 |
84 |
0 |
0 |
T121 |
0 |
30 |
0 |
0 |
T122 |
0 |
25 |
0 |
0 |
T123 |
0 |
30 |
0 |
0 |
sw_rst_regwen_5_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
4536 |
0 |
0 |
T1 |
7432 |
13 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
24 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
27 |
0 |
0 |
T33 |
0 |
70 |
0 |
0 |
T35 |
0 |
81 |
0 |
0 |
T61 |
0 |
67 |
0 |
0 |
T90 |
0 |
70 |
0 |
0 |
T121 |
0 |
38 |
0 |
0 |
T122 |
0 |
35 |
0 |
0 |
T123 |
0 |
44 |
0 |
0 |
sw_rst_regwen_6_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
4348 |
0 |
0 |
T1 |
7432 |
11 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
27 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
46 |
0 |
0 |
T33 |
0 |
59 |
0 |
0 |
T35 |
0 |
53 |
0 |
0 |
T61 |
0 |
77 |
0 |
0 |
T90 |
0 |
75 |
0 |
0 |
T121 |
0 |
20 |
0 |
0 |
T122 |
0 |
32 |
0 |
0 |
T123 |
0 |
24 |
0 |
0 |
sw_rst_regwen_7_rd_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
11846977 |
4541 |
0 |
0 |
T1 |
7432 |
31 |
0 |
0 |
T2 |
1770 |
0 |
0 |
0 |
T3 |
3113 |
0 |
0 |
0 |
T4 |
1878 |
0 |
0 |
0 |
T5 |
9356 |
33 |
0 |
0 |
T6 |
5104 |
0 |
0 |
0 |
T7 |
2121 |
0 |
0 |
0 |
T8 |
42162 |
0 |
0 |
0 |
T9 |
5073 |
0 |
0 |
0 |
T10 |
6078 |
0 |
0 |
0 |
T13 |
0 |
71 |
0 |
0 |
T33 |
0 |
70 |
0 |
0 |
T35 |
0 |
57 |
0 |
0 |
T61 |
0 |
59 |
0 |
0 |
T90 |
0 |
81 |
0 |
0 |
T121 |
0 |
23 |
0 |
0 |
T122 |
0 |
39 |
0 |
0 |
T123 |
0 |
39 |
0 |
0 |