Unified Coverage Report :: Module :: prim_packer

Module : prim_packer

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.50	100.00	100.00			90.00	100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_08_26/kmac_unmasked-sim-vcs/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_packer.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_msgfifo.u_packer	97.50	100.00	100.00			90.00	100.00

---

Module Instance : tb.dut.u_msgfifo.u_packer

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.50	100.00	100.00			90.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.50	100.00	100.00			90.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
97.92	100.00			100.00	91.67	100.00	u_msgfifo

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

---

Since this is the module's only instance, the coverage report is the same as for the module.

Line Coverage for Module : prim_packer

	Line No.	Total	Covered	Percent
TOTAL		66	66	100.00
ALWAYS	65	3	3	100.00
CONT_ASSIGN	72	1	1	100.00
ALWAYS	78	6	6	100.00
ALWAYS	90	5	5	100.00
ALWAYS	157	4	4	100.00
CONT_ASSIGN	165	1	1	100.00
CONT_ASSIGN	166	1	1	100.00
CONT_ASSIGN	170	1	1	100.00
CONT_ASSIGN	171	1	1	100.00
CONT_ASSIGN	174	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	178	1	1	100.00
CONT_ASSIGN	180	1	1	100.00
ALWAYS	185	9	9	100.00
ALWAYS	214	8	8	100.00
ALWAYS	235	3	3	100.00
ALWAYS	243	14	14	100.00
CONT_ASSIGN	279	1	1	100.00
CONT_ASSIGN	283	1	1	100.00
CONT_ASSIGN	291	0	0
CONT_ASSIGN	294	1	1	100.00
CONT_ASSIGN	295	1	1	100.00
CONT_ASSIGN	296	1	1	100.00
CONT_ASSIGN	299	0	0

64                          // counting mask_i ones
65         1/1              inmask_ones = '0;
           Tests:       T1 T2 T3 
66         1/1              for (int i = 0 ; i < InW ; i++) begin
           Tests:       T1 T2 T3 
67         1/1                inmask_ones = inmask_ones + OnesCntW'(mask_i[i]);
           Tests:       T1 T2 T3 
68                          end
69                        end
70                      
71                        logic [PtrW-1:0] pos_with_input;
72         1/1            assign pos_with_input = pos_q + PtrW'(inmask_ones);
           Tests:       T1 T2 T3 
73                      
74                        if (EnProtection == 1'b 0) begin : g_pos_nodup
75                          logic [PtrW-1:0] pos_d;
76                      
77                          always_comb begin
78         1/1                pos_d = pos_q;
           Tests:       T1 T2 T3 
79                      
80         1/1                unique case ({ack_in, ack_out})
           Tests:       T1 T2 T3 
81         1/1                  2'b00: pos_d = pos_q;
           Tests:       T1 T2 T3 
82         1/1                  2'b01: pos_d = (int'(pos_q) <= OutW) ? '0 : pos_q - PtrW'(OutW);
           Tests:       T1 T2 T3 
83         1/1                  2'b10: pos_d = pos_with_input;
           Tests:       T1 T2 T3 
84         1/1                  2'b11: pos_d = (int'(pos_with_input) <= OutW) ? '0 : pos_with_input - PtrW'(OutW);
           Tests:       T13 T4 T20 
85                              default: pos_d = pos_q;
86                            endcase
87                          end
88                      
89                          always_ff @(posedge clk_i or negedge rst_ni) begin
90         1/1                if (!rst_ni) begin
           Tests:       T1 T2 T3 
91         1/1                  pos_q <= '0;
           Tests:       T1 T2 T3 
92         1/1                end else if (flush_done) begin
           Tests:       T1 T2 T3 
93         1/1                  pos_q <= '0;
           Tests:       T1 T2 T3 
94                            end else begin
95         1/1                  pos_q <= pos_d;
           Tests:       T1 T2 T3 
96                            end
97                          end
98                      
99                          assign err_o = 1'b 0; // No checker logic
100                     
101                       end else begin : g_pos_dupcnt // EnProtection == 1'b 1
102                         // incr_en: Increase the pos by cnt_step. ack_in && !ack_out
103                         // decr_en: Decrease the pos by cnt_step. !ack_in && ack_out
104                         // set_en:  Set to specific value in case of ack_in && ack_out.
105                         //          This case, the value could be increased or descreased based on
106                         //          the input size (inmask_ones)
107                         logic            cnt_incr_en, cnt_decr_en, cnt_set_en;
108                         logic [PtrW-1:0] cnt_step, cnt_set;
109                     
110                         assign cnt_incr_en =  ack_in && !ack_out;
111                         assign cnt_decr_en = !ack_in &&  ack_out;
112                         assign cnt_set_en  =  ack_in &&  ack_out;
113                     
114                         // counter has underflow protection.
115                         assign cnt_step = (cnt_incr_en) ? PtrW'(inmask_ones) : PtrW'(OutW);
116                     
117                         always_comb begin : cnt_set_logic
118                     
119                           // default, consuming all data
120                           cnt_set = '0;
121                     
122                           if (pos_with_input > PtrW'(OutW)) begin
123                             // pos_q + inmask_ones is bigger than Output width. Still data remained.
124                             cnt_set = pos_with_input - PtrW'(OutW);
125                           end
126                         end : cnt_set_logic
127                     
128                     
129                         prim_count #(
130                           .Width      (PtrW),
131                           .ResetValue ('0  )
132                         ) u_pos (
133                           .clk_i,
134                           .rst_ni,
135                     
136                           .clr_i              (flush_done),
137                     
138                           .set_i              (cnt_set_en),
139                           .set_cnt_i          (cnt_set   ),
140                     
141                           .incr_en_i          (cnt_incr_en),
142                           .decr_en_i          (cnt_decr_en),
143                           .step_i             (cnt_step   ),
144                           .commit_i           (1'b1       ),
145                     
146                           .cnt_o              (pos_q     ), // Current counter state
147                           .cnt_after_commit_o (          ), // Next counter state
148                     
149                           .err_o
150                         );
151                       end // g_pos_dupcnt
152                     
153                       //---------------------------------------------------------------------------
154                     
155                       // Leading one detector for mask_i
156                       always_comb begin
157        1/1              lod_idx = 0;
           Tests:       T1 T2 T3 
158        1/1              for (int i = InW-1; i >= 0 ; i--) begin
           Tests:       T1 T2 T3 
159        1/1                if (mask_i[i] == 1'b1) begin
           Tests:       T1 T2 T3 
160        1/1                  lod_idx = IdxW'(unsigned'(i));
           Tests:       T1 T2 T3 
161                           end
                        MISSING_ELSE
162                         end
163                       end
164                     
165        1/1            assign ack_in  = valid_i & ready_o;
           Tests:       T1 T2 T3 
166        1/1            assign ack_out = valid_o & ready_i;
           Tests:       T1 T2 T3 
167                     
168                       // Data process =============================================================
169                       //  shiftr : Input data shifted right to put the leading one at bit zero
170        1/1            assign shiftr_data = (valid_i) ? data_i >> lod_idx : '0;
           Tests:       T1 T2 T3 
171        1/1            assign shiftr_mask = (valid_i) ? mask_i >> lod_idx : '0;
           Tests:       T1 T2 T3 
172                     
173                       //  shiftl : Input data shifted into the current stored position
174        1/1            assign shiftl_data = ConcatW'(shiftr_data) << pos_q;
           Tests:       T1 T2 T3 
175        1/1            assign shiftl_mask = ConcatW'(shiftr_mask) << pos_q;
           Tests:       T1 T2 T3 
176                     
177                       // concat : Merging stored and shiftl
178        1/1            assign concat_data = {{(InW){1'b0}}, stored_data & stored_mask} |
           Tests:       T1 T2 T3 
179                                            (shiftl_data & shiftl_mask);
180        1/1            assign concat_mask = {{(InW){1'b0}}, stored_mask} | shiftl_mask;
           Tests:       T1 T2 T3 
181                     
182                       logic [Width-1:0] stored_data_next, stored_mask_next;
183                     
184                       always_comb begin
185        1/1              unique case ({ack_in, ack_out})
           Tests:       T1 T2 T3 
186                           2'b 00: begin
187        1/1                  stored_data_next = stored_data;
           Tests:       T1 T2 T3 
188        1/1                  stored_mask_next = stored_mask;
           Tests:       T1 T2 T3 
189                           end
190                           2'b 01: begin
191                             // ack_out : shift the amount of OutW
192        1/1                  stored_data_next = {{OutW{1'b0}}, stored_data[Width-1:OutW]};
           Tests:       T1 T2 T3 
193        1/1                  stored_mask_next = {{OutW{1'b0}}, stored_mask[Width-1:OutW]};
           Tests:       T1 T2 T3 
194                           end
195                           2'b 10: begin
196                             // ack_in : Store concat data
197        1/1                  stored_data_next = concat_data[0+:Width];
           Tests:       T1 T2 T3 
198        1/1                  stored_mask_next = concat_mask[0+:Width];
           Tests:       T1 T2 T3 
199                           end
200                           2'b 11: begin
201                             // both : shift the concat_data
202        1/1                  stored_data_next = concat_data[ConcatW-1:OutW];
           Tests:       T13 T4 T20 
203        1/1                  stored_mask_next = concat_mask[ConcatW-1:OutW];
           Tests:       T13 T4 T20 
204                           end
205                           default: begin
206                             stored_data_next = stored_data;
207                             stored_mask_next = stored_mask;
208                           end
209                         endcase
210                       end
211                     
212                       // Store the data temporary if it doesn't exceed OutW
213                       always_ff @(posedge clk_i or negedge rst_ni) begin
214        1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
215        1/1                stored_data <= '0;
           Tests:       T1 T2 T3 
216        1/1                stored_mask <= '0;
           Tests:       T1 T2 T3 
217        1/1              end else if (flush_done) begin
           Tests:       T1 T2 T3 
218        1/1                stored_data <= '0;
           Tests:       T1 T2 T3 
219        1/1                stored_mask <= '0;
           Tests:       T1 T2 T3 
220                         end else begin
221        1/1                stored_data <= stored_data_next;
           Tests:       T1 T2 T3 
222        1/1                stored_mask <= stored_mask_next;
           Tests:       T1 T2 T3 
223                         end
224                       end
225                       //---------------------------------------------------------------------------
226                     
227                       // flush handling
228                       typedef enum logic {
229                         FlushIdle,
230                         FlushSend
231                       } flush_st_e;
232                       flush_st_e flush_st, flush_st_next;
233                     
234                       always_ff @(posedge clk_i or negedge rst_ni) begin
235        1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
236        1/1                flush_st <= FlushIdle;
           Tests:       T1 T2 T3 
237                         end else begin
238        1/1                flush_st <= flush_st_next;
           Tests:       T1 T2 T3 
239                         end
240                       end
241                     
242                       always_comb begin
243        1/1              flush_st_next = FlushIdle;
           Tests:       T1 T2 T3 
244                     
245        1/1              flush_valid = 1'b0;
           Tests:       T1 T2 T3 
246        1/1              flush_done  = 1'b0;
           Tests:       T1 T2 T3 
247                     
248        1/1              unique case (flush_st)
           Tests:       T1 T2 T3 
249                           FlushIdle: begin
250        1/1                  if (flush_i) begin
           Tests:       T1 T2 T3 
251        1/1                    flush_st_next = FlushSend;
           Tests:       T1 T2 T3 
252                             end else begin
253        1/1                    flush_st_next = FlushIdle;
           Tests:       T1 T2 T3 
254                             end
255                           end
256                     
257                           FlushSend: begin
258        1/1                  if (pos_q == '0) begin
           Tests:       T1 T2 T3 
259        1/1                    flush_st_next = FlushIdle;
           Tests:       T1 T2 T3 
260                     
261        1/1                    flush_valid = 1'b 0;
           Tests:       T1 T2 T3 
262        1/1                    flush_done  = 1'b 1;
           Tests:       T1 T2 T3 
263                             end else begin
264        1/1                    flush_st_next = FlushSend;
           Tests:       T1 T2 T3 
265                     
266        1/1                    flush_valid = 1'b 1;
           Tests:       T1 T2 T3 
267        1/1                    flush_done  = 1'b 0;
           Tests:       T1 T2 T3 
268                             end
269                           end
270                           default: begin
271                             flush_st_next = FlushIdle;
272                     
273                             flush_valid = 1'b 0;
274                             flush_done  = 1'b 0;
275                           end
276                         endcase
277                       end
278                     
279        1/1            assign flush_done_o = flush_done;
           Tests:       T1 T2 T3 
280                     
281                     
282                       // Output signals ===========================================================
283        1/1            assign valid_next = (int'(pos_q) >= OutW) ? 1'b 1 : flush_valid;
           Tests:       T1 T2 T3 
284                     
285                       // storage space is InW + OutW. So technically, ready_o can be asserted even
286                       // if `pos_q` is greater than OutW. But in order to do that, the logic should
287                       // use `inmask_ones` value whether pos_q+inmask_ones is less than (InW+OutW)
288                       // with `valid_i`. It creates a path from `valid_i` --> `ready_o`.
289                       // It may create a timing loop in some modules that use `ready_o` to
290                       // `valid_i` (which is not a good practice though)
291        unreachable    assign ready_next = int'(pos_q) <= OutW;
292                     
293                       // Output request
294        1/1            assign valid_o = valid_next;
           Tests:       T1 T2 T3 
295        1/1            assign data_o  = stored_data[OutW-1:0];
           Tests:       T1 T2 T3 
296        1/1            assign mask_o  = stored_mask[OutW-1:0];
           Tests:       T1 T2 T3 
297                     
298                       // ready_o
299        unreachable    assign ready_o = ready_next;

---

Cond Coverage for Module : prim_packer

	Total	Covered	Percent
Conditions	16	16	100.00
Logical	16	16	100.00
Non-Logical	0	0
Event	0	0

 LINE       82
 EXPRESSION ((int'(pos_q) <= OutW) ? '0 : ((pos_q - 8'(OutW))))
             ----------1----------

-1-	Status	Tests
0	Unreachable	T12,T13,T14
1	Covered	T1,T2,T3

 LINE       84
 EXPRESSION ((int'(pos_with_input) <= OutW) ? '0 : ((pos_with_input - 8'(OutW))))
             ---------------1--------------

-1-	Status	Tests
0	Unreachable	T13,T4,T20
1	Covered	T22,T35,T105

 LINE       159
 EXPRESSION (mask_i[i] == 1'b1)
            ---------1---------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       165
 EXPRESSION (valid_i & ready_o)
             ---1---   ---2---

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Unreachable	T4,T41,T21
1	1	Covered	T1,T2,T3

 LINE       166
 EXPRESSION (valid_o & ready_i)
             ---1---   ---2---

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T4,T41,T22
1	1	Covered	T1,T2,T3

 LINE       170
 EXPRESSION (valid_i ? ((data_i >> lod_idx)) : '0)
             ---1---

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       171
 EXPRESSION (valid_i ? ((mask_i >> lod_idx)) : '0)
             ---1---

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       258
 EXPRESSION (pos_q == '0)
            ------1------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       283
 EXPRESSION ((int'(pos_q) >= OutW) ? 1'b1 : flush_valid)
             ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Unreachable	T1,T2,T3

---

Branch Coverage for Module : prim_packer

	Line No.	Total	Covered	Percent
Branches		30	27	90.00
TERNARY	170	2	2	100.00
TERNARY	171	2	2	100.00
TERNARY	283	1	1	100.00
IF	159	2	2	100.00
CASE	185	5	4	80.00
IF	214	3	3	100.00
IF	235	2	2	100.00
CASE	248	5	4	80.00
CASE	80	5	4	80.00
IF	90	3	3	100.00

170          assign shiftr_data = (valid_i) ? data_i >> lod_idx : '0;
                                            -1-  
                                            ==>  
                                            ==>  

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

171          assign shiftr_mask = (valid_i) ? mask_i >> lod_idx : '0;
                                            -1-  
                                            ==>  
                                            ==>  

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

283          assign valid_next = (int'(pos_q) >= OutW) ? 1'b 1 : flush_valid;
                                                       -1-  
                                                       ==> (Unreachable)  
                                                       ==>  

Branches:

-1-	Status	Tests
1	Unreachable	T1,T2,T3
0	Covered	T1,T2,T3

159              if (mask_i[i] == 1'b1) begin
                 -1-  
160                lod_idx = IdxW'(unsigned'(i));
                   ==>
161              end
                 MISSING_ELSE
                 ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

185            unique case ({ack_in, ack_out})
                      -1-  
186              2'b 00: begin
187                stored_data_next = stored_data;
                   ==>
188                stored_mask_next = stored_mask;
189              end
190              2'b 01: begin
191                // ack_out : shift the amount of OutW
192                stored_data_next = {{OutW{1'b0}}, stored_data[Width-1:OutW]};
                   ==>
193                stored_mask_next = {{OutW{1'b0}}, stored_mask[Width-1:OutW]};
194              end
195              2'b 10: begin
196                // ack_in : Store concat data
197                stored_data_next = concat_data[0+:Width];
                   ==>
198                stored_mask_next = concat_mask[0+:Width];
199              end
200              2'b 11: begin
201                // both : shift the concat_data
202                stored_data_next = concat_data[ConcatW-1:OutW];
                   ==>
203                stored_mask_next = concat_mask[ConcatW-1:OutW];
204              end
205              default: begin
206                stored_data_next = stored_data;
                   ==>

Branches:

-1-	Status	Tests
2'b00	Covered	T1,T2,T3
2'b01	Covered	T1,T2,T3
2'b10	Covered	T1,T2,T3
2'b11	Covered	T13,T4,T20
default	Not Covered

214            if (!rst_ni) begin
               -1-  
215              stored_data <= '0;
                 ==>
216              stored_mask <= '0;
217            end else if (flush_done) begin
                        -2-  
218              stored_data <= '0;
                 ==>
219              stored_mask <= '0;
220            end else begin
221              stored_data <= stored_data_next;
                 ==>

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
0	0	Covered	T1,T2,T3

235            if (!rst_ni) begin
               -1-  
236              flush_st <= FlushIdle;
                 ==>
237            end else begin
238              flush_st <= flush_st_next;
                 ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

248            unique case (flush_st)
                      -1-  
249              FlushIdle: begin
250                if (flush_i) begin
                   -2-  
251                  flush_st_next = FlushSend;
                     ==>
252                end else begin
253                  flush_st_next = FlushIdle;
                     ==>
254                end
255              end
256        
257              FlushSend: begin
258                if (pos_q == '0) begin
                   -3-  
259                  flush_st_next = FlushIdle;
                     ==>
260        
261                  flush_valid = 1'b 0;
262                  flush_done  = 1'b 1;
263                end else begin
264                  flush_st_next = FlushSend;
                     ==>
265        
266                  flush_valid = 1'b 1;
267                  flush_done  = 1'b 0;
268                end
269              end
270              default: begin
271                flush_st_next = FlushIdle;
                   ==>

Branches:

-1-	-2-	-3-	Status	Tests
FlushIdle	1	-	Covered	T1,T2,T3
FlushIdle	0	-	Covered	T1,T2,T3
FlushSend	-	1	Covered	T1,T2,T3
FlushSend	-	0	Covered	T1,T2,T3
default	-	-	Not Covered

80               unique case ({ack_in, ack_out})
                        -1-  
81                 2'b00: pos_d = pos_q;
                   ==>
82                 2'b01: pos_d = (int'(pos_q) <= OutW) ? '0 : pos_q - PtrW'(OutW);
                                                        -2-  
                                                        ==>  
                                                        ==> (Unreachable)  
83                 2'b10: pos_d = pos_with_input;
                   ==>
84                 2'b11: pos_d = (int'(pos_with_input) <= OutW) ? '0 : pos_with_input - PtrW'(OutW);
                                                                 -3-  
                                                                 ==>  
                                                                 ==> (Unreachable)  
85                 default: pos_d = pos_q;
                   ==>

Branches:

-1-	-2-	-3-	Status	Tests
2'b00	-	-	Covered	T1,T2,T3
2'b01	1	-	Covered	T1,T2,T3
2'b01	0	-	Unreachable	T12,T13,T14
2'b10	-	-	Covered	T1,T2,T3
2'b11	-	1	Covered	T22,T35,T105
2'b11	-	0	Unreachable	T13,T4,T20
default	-	-	Not Covered

90               if (!rst_ni) begin
                 -1-  
91                 pos_q <= '0;
                   ==>
92               end else if (flush_done) begin
                          -2-  
93                 pos_q <= '0;
                   ==>
94               end else begin
95                 pos_q <= pos_d;
                   ==>

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
0	0	Covered	T1,T2,T3

---

Assert Coverage for Module : prim_packer

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	28	28	100.00	28	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	28	28	100.00	28	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataIStable_M	528320725	133802	0	664
DataOStableWhenPending_A	528320725	105804	0	664
ExFlushValid_M	528320725	54405	0	0
ExcessiveDataStored_A	528320725	56480	0	0
ExcessiveMaskStored_A	528320725	56480	0	0
FlushFollowedByDone_A	528320725	54405	0	664
ValidIDeassertedOnFlush_M	528320725	101035	0	0
ValidOAssertedForStoredDataGTEOutW_A	528320725	11067830	0	0
ValidOPairedWidthReadyI_A	528320725	105804	0	0
g_byte_assert.InputDividedBy8_A	664	664	0	0
g_byte_assert.OutputDividedBy8_A	664	664	0	0
g_byte_assert.g_byte_input_masking[0].InputMaskContiguous_A	528320725	23962941	0	0
g_byte_assert.g_byte_input_masking[1].InputMaskContiguous_A	528320725	23962941	0	0
g_byte_assert.g_byte_input_masking[2].InputMaskContiguous_A	528320725	23962941	0	0
g_byte_assert.g_byte_input_masking[3].InputMaskContiguous_A	528320725	23962941	0	0
g_byte_assert.g_byte_input_masking[4].InputMaskContiguous_A	528320725	23962941	0	0
g_byte_assert.g_byte_input_masking[5].InputMaskContiguous_A	528320725	23962941	0	0
g_byte_assert.g_byte_input_masking[6].InputMaskContiguous_A	528320725	23962941	0	0
g_byte_assert.g_byte_input_masking[7].InputMaskContiguous_A	528320725	23962941	0	0
g_byte_assert.g_byte_output_masking[0].OutputMaskContiguous_A	528320725	11112707	0	0
g_byte_assert.g_byte_output_masking[1].OutputMaskContiguous_A	528320725	11112707	0	0
g_byte_assert.g_byte_output_masking[2].OutputMaskContiguous_A	528320725	11112707	0	0
g_byte_assert.g_byte_output_masking[3].OutputMaskContiguous_A	528320725	11112707	0	0
g_byte_assert.g_byte_output_masking[4].OutputMaskContiguous_A	528320725	11112707	0	0
g_byte_assert.g_byte_output_masking[5].OutputMaskContiguous_A	528320725	11112707	0	0
g_byte_assert.g_byte_output_masking[6].OutputMaskContiguous_A	528320725	11112707	0	0
g_byte_assert.g_byte_output_masking[7].OutputMaskContiguous_A	528320725	11112707	0	0
gen_mask_assert.ContiguousOnesMask_M	528320725	23962941	0	0

DataIStable_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	133802	0	664
T4	66976	89	0	1
T15	3163	0	0	1
T16	58006	0	0	1
T18	12575	0	0	1
T20	329483	0	0	1
T21	0	13	0	0
T22	0	199	0	0
T23	0	7342	0	0
T35	0	671	0	0
T36	0	111	0	0
T37	0	3943	0	0
T40	0	2080	0	0
T41	0	1806	0	0
T48	10584	0	0	1
T49	139788	0	0	1
T50	71137	0	0	1
T76	62807	0	0	1
T77	246295	0	0	1
T106	0	154	0	0

DataOStableWhenPending_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	105804	0	664
T4	66976	115	0	1
T15	3163	0	0	1
T16	58006	0	0	1
T18	12575	0	0	1
T20	329483	0	0	1
T22	0	37	0	0
T23	0	7800	0	0
T35	0	134	0	0
T36	0	111	0	0
T37	0	3994	0	0
T40	0	2158	0	0
T41	0	1832	0	0
T48	10584	0	0	1
T49	139788	0	0	1
T50	71137	0	0	1
T76	62807	0	0	1
T77	246295	0	0	1
T105	0	1010	0	0
T106	0	154	0	0

ExFlushValid_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	54405	0	0
T1	9842	3	0	0
T2	2822	3	0	0
T3	9295	1	0	0
T4	66976	12	0	0
T11	87537	12	0	0
T12	72690	73	0	0
T13	87420	13	0	0
T14	23502	11	0	0
T15	3163	3	0	0
T16	0	137	0	0
T17	1353	0	0	0

ExcessiveDataStored_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	56480	0	0
T4	66976	74	0	0
T13	87420	4	0	0
T14	23502	0	0	0
T15	3163	0	0	0
T16	58006	0	0	0
T18	12575	0	0	0
T20	329483	36	0	0
T21	0	3	0	0
T22	0	65	0	0
T23	0	3785	0	0
T38	0	13	0	0
T41	0	1253	0	0
T48	10584	0	0	0
T49	139788	0	0	0
T50	71137	0	0	0
T51	0	6	0	0
T107	0	13	0	0

ExcessiveMaskStored_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	56480	0	0
T4	66976	74	0	0
T13	87420	4	0	0
T14	23502	0	0	0
T15	3163	0	0	0
T16	58006	0	0	0
T18	12575	0	0	0
T20	329483	36	0	0
T21	0	3	0	0
T22	0	65	0	0
T23	0	3785	0	0
T38	0	13	0	0
T41	0	1253	0	0
T48	10584	0	0	0
T49	139788	0	0	0
T50	71137	0	0	0
T51	0	6	0	0
T107	0	13	0	0

FlushFollowedByDone_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	54405	0	664
T1	9842	3	0	1
T2	2822	3	0	1
T3	9295	1	0	1
T4	66976	12	0	1
T11	87537	12	0	1
T12	72690	73	0	1
T13	87420	13	0	1
T14	23502	11	0	1
T15	3163	3	0	1
T16	0	137	0	0
T17	1353	0	0	1

ValidIDeassertedOnFlush_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	101035	0	0
T1	9842	6	0	0
T2	2822	6	0	0
T3	9295	2	0	0
T4	66976	46	0	0
T11	87537	12	0	0
T12	72690	136	0	0
T13	87420	22	0	0
T14	23502	20	0	0
T15	3163	6	0	0
T16	0	256	0	0
T17	1353	0	0	0

ValidOAssertedForStoredDataGTEOutW_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	11067830	0	0
T1	9842	50	0	0
T2	2822	25	0	0
T3	9295	65	0	0
T4	66976	900	0	0
T11	87537	0	0	0
T12	72690	297	0	0
T13	87420	949	0	0
T14	23502	497	0	0
T15	3163	50	0	0
T16	0	1105	0	0
T17	1353	0	0	0
T48	0	50	0	0

ValidOPairedWidthReadyI_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	105804	0	0
T4	66976	115	0	0
T15	3163	0	0	0
T16	58006	0	0	0
T18	12575	0	0	0
T20	329483	0	0	0
T22	0	37	0	0
T23	0	7800	0	0
T35	0	134	0	0
T36	0	111	0	0
T37	0	3994	0	0
T40	0	2158	0	0
T41	0	1832	0	0
T48	10584	0	0	0
T49	139788	0	0	0
T50	71137	0	0	0
T76	62807	0	0	0
T77	246295	0	0	0
T105	0	1010	0	0
T106	0	154	0	0

g_byte_assert.InputDividedBy8_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	664	664	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T17	1	1	0	0

g_byte_assert.OutputDividedBy8_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	664	664	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T17	1	1	0	0

g_byte_assert.g_byte_input_masking[0].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	23962941	0	0
T1	9842	106	0	0
T2	2822	55	0	0
T3	9295	131	0	0
T4	66976	1387	0	0
T11	87537	0	0	0
T12	72690	791	0	0
T13	87420	1740	0	0
T14	23502	1149	0	0
T15	3163	130	0	0
T16	0	2759	0	0
T17	1353	0	0	0
T48	0	122	0	0

g_byte_assert.g_byte_input_masking[1].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	23962941	0	0
T1	9842	106	0	0
T2	2822	55	0	0
T3	9295	131	0	0
T4	66976	1387	0	0
T11	87537	0	0	0
T12	72690	791	0	0
T13	87420	1740	0	0
T14	23502	1149	0	0
T15	3163	130	0	0
T16	0	2759	0	0
T17	1353	0	0	0
T48	0	122	0	0

g_byte_assert.g_byte_input_masking[2].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	23962941	0	0
T1	9842	106	0	0
T2	2822	55	0	0
T3	9295	131	0	0
T4	66976	1387	0	0
T11	87537	0	0	0
T12	72690	791	0	0
T13	87420	1740	0	0
T14	23502	1149	0	0
T15	3163	130	0	0
T16	0	2759	0	0
T17	1353	0	0	0
T48	0	122	0	0

g_byte_assert.g_byte_input_masking[3].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	23962941	0	0
T1	9842	106	0	0
T2	2822	55	0	0
T3	9295	131	0	0
T4	66976	1387	0	0
T11	87537	0	0	0
T12	72690	791	0	0
T13	87420	1740	0	0
T14	23502	1149	0	0
T15	3163	130	0	0
T16	0	2759	0	0
T17	1353	0	0	0
T48	0	122	0	0

g_byte_assert.g_byte_input_masking[4].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	23962941	0	0
T1	9842	106	0	0
T2	2822	55	0	0
T3	9295	131	0	0
T4	66976	1387	0	0
T11	87537	0	0	0
T12	72690	791	0	0
T13	87420	1740	0	0
T14	23502	1149	0	0
T15	3163	130	0	0
T16	0	2759	0	0
T17	1353	0	0	0
T48	0	122	0	0

g_byte_assert.g_byte_input_masking[5].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	23962941	0	0
T1	9842	106	0	0
T2	2822	55	0	0
T3	9295	131	0	0
T4	66976	1387	0	0
T11	87537	0	0	0
T12	72690	791	0	0
T13	87420	1740	0	0
T14	23502	1149	0	0
T15	3163	130	0	0
T16	0	2759	0	0
T17	1353	0	0	0
T48	0	122	0	0

g_byte_assert.g_byte_input_masking[6].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	23962941	0	0
T1	9842	106	0	0
T2	2822	55	0	0
T3	9295	131	0	0
T4	66976	1387	0	0
T11	87537	0	0	0
T12	72690	791	0	0
T13	87420	1740	0	0
T14	23502	1149	0	0
T15	3163	130	0	0
T16	0	2759	0	0
T17	1353	0	0	0
T48	0	122	0	0

g_byte_assert.g_byte_input_masking[7].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	23962941	0	0
T1	9842	106	0	0
T2	2822	55	0	0
T3	9295	131	0	0
T4	66976	1387	0	0
T11	87537	0	0	0
T12	72690	791	0	0
T13	87420	1740	0	0
T14	23502	1149	0	0
T15	3163	130	0	0
T16	0	2759	0	0
T17	1353	0	0	0
T48	0	122	0	0

g_byte_assert.g_byte_output_masking[0].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	11112707	0	0
T1	9842	53	0	0
T2	2822	28	0	0
T3	9295	66	0	0
T4	66976	908	0	0
T11	87537	0	0	0
T12	72690	360	0	0
T13	87420	958	0	0
T14	23502	506	0	0
T15	3163	53	0	0
T16	0	1224	0	0
T17	1353	0	0	0
T48	0	53	0	0

g_byte_assert.g_byte_output_masking[1].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	11112707	0	0
T1	9842	53	0	0
T2	2822	28	0	0
T3	9295	66	0	0
T4	66976	908	0	0
T11	87537	0	0	0
T12	72690	360	0	0
T13	87420	958	0	0
T14	23502	506	0	0
T15	3163	53	0	0
T16	0	1224	0	0
T17	1353	0	0	0
T48	0	53	0	0

g_byte_assert.g_byte_output_masking[2].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	11112707	0	0
T1	9842	53	0	0
T2	2822	28	0	0
T3	9295	66	0	0
T4	66976	908	0	0
T11	87537	0	0	0
T12	72690	360	0	0
T13	87420	958	0	0
T14	23502	506	0	0
T15	3163	53	0	0
T16	0	1224	0	0
T17	1353	0	0	0
T48	0	53	0	0

g_byte_assert.g_byte_output_masking[3].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	11112707	0	0
T1	9842	53	0	0
T2	2822	28	0	0
T3	9295	66	0	0
T4	66976	908	0	0
T11	87537	0	0	0
T12	72690	360	0	0
T13	87420	958	0	0
T14	23502	506	0	0
T15	3163	53	0	0
T16	0	1224	0	0
T17	1353	0	0	0
T48	0	53	0	0

g_byte_assert.g_byte_output_masking[4].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	11112707	0	0
T1	9842	53	0	0
T2	2822	28	0	0
T3	9295	66	0	0
T4	66976	908	0	0
T11	87537	0	0	0
T12	72690	360	0	0
T13	87420	958	0	0
T14	23502	506	0	0
T15	3163	53	0	0
T16	0	1224	0	0
T17	1353	0	0	0
T48	0	53	0	0

g_byte_assert.g_byte_output_masking[5].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	11112707	0	0
T1	9842	53	0	0
T2	2822	28	0	0
T3	9295	66	0	0
T4	66976	908	0	0
T11	87537	0	0	0
T12	72690	360	0	0
T13	87420	958	0	0
T14	23502	506	0	0
T15	3163	53	0	0
T16	0	1224	0	0
T17	1353	0	0	0
T48	0	53	0	0

g_byte_assert.g_byte_output_masking[6].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	11112707	0	0
T1	9842	53	0	0
T2	2822	28	0	0
T3	9295	66	0	0
T4	66976	908	0	0
T11	87537	0	0	0
T12	72690	360	0	0
T13	87420	958	0	0
T14	23502	506	0	0
T15	3163	53	0	0
T16	0	1224	0	0
T17	1353	0	0	0
T48	0	53	0	0

g_byte_assert.g_byte_output_masking[7].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	11112707	0	0
T1	9842	53	0	0
T2	2822	28	0	0
T3	9295	66	0	0
T4	66976	908	0	0
T11	87537	0	0	0
T12	72690	360	0	0
T13	87420	958	0	0
T14	23502	506	0	0
T15	3163	53	0	0
T16	0	1224	0	0
T17	1353	0	0	0
T48	0	53	0	0

gen_mask_assert.ContiguousOnesMask_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	528320725	23962941	0	0
T1	9842	106	0	0
T2	2822	55	0	0
T3	9295	131	0	0
T4	66976	1387	0	0
T11	87537	0	0	0
T12	72690	791	0	0
T13	87420	1740	0	0
T14	23502	1149	0	0
T15	3163	130	0	0
T16	0	2759	0	0
T17	1353	0	0	0
T48	0	122	0	0