Unified Coverage Report :: Module :: prim_packer

Module : prim_packer

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.08	100.00	100.00			92.31	100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_10_14/kmac_masked-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	98.08	100.00	100.00			92.31	100.00

---

Module Instance : tb.dut.u_msgfifo.u_packer

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.08	100.00	100.00			92.31	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.41	100.00	100.00	89.74		92.31	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
98.21	100.00			100.00	92.86	100.00	u_msgfifo

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
g_pos_dupcnt.u_pos	89.74			89.74

---

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		62	62	100.00
ALWAYS	65	3	3	100.00
CONT_ASSIGN	72	1	1	100.00
CONT_ASSIGN	110	1	1	100.00
CONT_ASSIGN	111	1	1	100.00
CONT_ASSIGN	112	1	1	100.00
CONT_ASSIGN	115	1	1	100.00
ALWAYS	120	3	3	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                            pos_d = pos_q;
79                      
80                            unique case ({ack_in, ack_out})
81                              2'b00: pos_d = pos_q;
82                              2'b01: pos_d = (int'(pos_q) <= OutW) ? '0 : pos_q - PtrW'(OutW);
83                              2'b10: pos_d = pos_with_input;
84                              2'b11: pos_d = (int'(pos_with_input) <= OutW) ? '0 : pos_with_input - PtrW'(OutW);
85                              default: pos_d = pos_q;
86                            endcase
87                          end
88                      
89                          always_ff @(posedge clk_i or negedge rst_ni) begin
90                            if (!rst_ni) begin
91                              pos_q <= '0;
92                            end else if (flush_done) begin
93                              pos_q <= '0;
94                            end else begin
95                              pos_q <= pos_d;
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        1/1              assign cnt_incr_en =  ack_in && !ack_out;
           Tests:       T1 T2 T3 
111        1/1              assign cnt_decr_en = !ack_in &&  ack_out;
           Tests:       T1 T2 T3 
112        1/1              assign cnt_set_en  =  ack_in &&  ack_out;
           Tests:       T1 T2 T3 
113                     
114                         // counter has underflow protection.
115        1/1              assign cnt_step = (cnt_incr_en) ? PtrW'(inmask_ones) : PtrW'(OutW);
           Tests:       T1 T2 T3 
116                     
117                         always_comb begin : cnt_set_logic
118                     
119                           // default, consuming all data
120        1/1                cnt_set = '0;
           Tests:       T1 T2 T3 
121                     
122        1/1                if (pos_with_input > PtrW'(OutW)) begin
           Tests:       T1 T2 T3 
123                             // pos_q + inmask_ones is bigger than Output width. Still data remained.
124        1/1                  cnt_set = pos_with_input - PtrW'(OutW);
           Tests:       T1 T2 T11 
125                           end
                        MISSING_ELSE
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 T11 
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 T11 
193        1/1                  stored_mask_next = {{OutW{1'b0}}, stored_mask[Width-1:OutW]};
           Tests:       T1 T2 T11 
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 T11 
198        1/1                  stored_mask_next = concat_mask[0+:Width];
           Tests:       T1 T2 T11 
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:       T1 T9 T7 
203        1/1                  stored_mask_next = concat_mask[ConcatW-1:OutW];
           Tests:       T1 T9 T7 
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 T11 
219        1/1                stored_mask <= '0;
           Tests:       T1 T2 T11 
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 T11 
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 T11 
259        1/1                    flush_st_next = FlushIdle;
           Tests:       T1 T2 T11 
260                     
261        1/1                    flush_valid = 1'b 0;
           Tests:       T1 T2 T11 
262        1/1                    flush_done  = 1'b 1;
           Tests:       T1 T2 T11 
263                             end else begin
264        1/1                    flush_st_next = FlushSend;
           Tests:       T1 T2 T11 
265                     
266        1/1                    flush_valid = 1'b 1;
           Tests:       T1 T2 T11 
267        1/1                    flush_done  = 1'b 0;
           Tests:       T1 T2 T11 
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	25	25	100.00
Logical	25	25	100.00
Non-Logical	0	0
Event	0	0

 LINE       110
 EXPRESSION (ack_in && ((!ack_out)))
             ---1--    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T9,T7
1	1	Covered	T1,T2,T11

 LINE       111
 EXPRESSION (((!ack_in)) && ack_out)
             -----1-----    ---2---

-1-	-2-	Status	Tests
0	1	Covered	T1,T9,T7
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T11

 LINE       112
 EXPRESSION (ack_in && ack_out)
             ---1--    ---2---

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T11
1	0	Covered	T1,T2,T11
1	1	Covered	T1,T9,T7

 LINE       115
 EXPRESSION (g_pos_dupcnt.cnt_incr_en ? (8'(inmask_ones)) : (8'(OutW)))
             ------------1-----------

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

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

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

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Unreachable	T9,T13,T14
1	1	Covered	T1,T2,T11

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T9,T13,T79
1	1	Covered	T1,T2,T11

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

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

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

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

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

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

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

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

---

Branch Coverage for Module : prim_packer

	Line No.	Total	Covered	Percent
Branches		26	24	92.31
TERNARY	170	2	2	100.00
TERNARY	171	2	2	100.00
TERNARY	283	1	1	100.00
TERNARY	115	2	2	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
IF	122	2	2	100.00

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T11
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,T11
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,T11
0	Covered	T1,T2,T3

115            assign cnt_step = (cnt_incr_en) ? PtrW'(inmask_ones) : PtrW'(OutW);
                                               -1-  
                                               ==>  
                                               ==>  

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T11
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,T11
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,T11
2'b10	Covered	T1,T2,T11
2'b11	Covered	T1,T9,T7
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,T11
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,T11
FlushIdle	0	-	Covered	T1,T2,T3
FlushSend	-	1	Covered	T1,T2,T11
FlushSend	-	0	Covered	T1,T2,T11
default	-	-	Not Covered

122              if (pos_with_input > PtrW'(OutW)) begin
                 -1-  
123                // pos_q + inmask_ones is bigger than Output width. Still data remained.
124                cnt_set = pos_with_input - PtrW'(OutW);
                   ==>
125              end
                 MISSING_ELSE
                 ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T11
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	600494255	451930	0	719
DataOStableWhenPending_A	600494255	698399	0	719
ExFlushValid_M	600494255	59003	0	0
ExcessiveDataStored_A	600494255	50238	0	0
ExcessiveMaskStored_A	600494255	50238	0	0
FlushFollowedByDone_A	600494255	59003	0	719
ValidIDeassertedOnFlush_M	600494255	116155	0	0
ValidOAssertedForStoredDataGTEOutW_A	600494255	12000660	0	0
ValidOPairedWidthReadyI_A	600494255	698399	0	0
g_byte_assert.InputDividedBy8_A	719	719	0	0
g_byte_assert.OutputDividedBy8_A	719	719	0	0
g_byte_assert.g_byte_input_masking[0].InputMaskContiguous_A	600494255	25200612	0	0
g_byte_assert.g_byte_input_masking[1].InputMaskContiguous_A	600494255	25200612	0	0
g_byte_assert.g_byte_input_masking[2].InputMaskContiguous_A	600494255	25200612	0	0
g_byte_assert.g_byte_input_masking[3].InputMaskContiguous_A	600494255	25200612	0	0
g_byte_assert.g_byte_input_masking[4].InputMaskContiguous_A	600494255	25200612	0	0
g_byte_assert.g_byte_input_masking[5].InputMaskContiguous_A	600494255	25200612	0	0
g_byte_assert.g_byte_input_masking[6].InputMaskContiguous_A	600494255	25200612	0	0
g_byte_assert.g_byte_input_masking[7].InputMaskContiguous_A	600494255	25200612	0	0
g_byte_assert.g_byte_output_masking[0].OutputMaskContiguous_A	600494255	12049598	0	0
g_byte_assert.g_byte_output_masking[1].OutputMaskContiguous_A	600494255	12049598	0	0
g_byte_assert.g_byte_output_masking[2].OutputMaskContiguous_A	600494255	12049598	0	0
g_byte_assert.g_byte_output_masking[3].OutputMaskContiguous_A	600494255	12049598	0	0
g_byte_assert.g_byte_output_masking[4].OutputMaskContiguous_A	600494255	12049598	0	0
g_byte_assert.g_byte_output_masking[5].OutputMaskContiguous_A	600494255	12049598	0	0
g_byte_assert.g_byte_output_masking[6].OutputMaskContiguous_A	600494255	12049598	0	0
g_byte_assert.g_byte_output_masking[7].OutputMaskContiguous_A	600494255	12049598	0	0
gen_mask_assert.ContiguousOnesMask_M	600494255	25200612	0	0

DataIStable_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	451930	0	719
T4	165802	0	0	1
T6	0	11970	0	0
T7	23351	0	0	1
T8	138958	0	0	1
T9	3561	72	0	1
T13	0	6090	0	0
T14	0	9	0	0
T15	0	5	0	0
T16	62829	0	0	1
T35	0	7993	0	0
T36	0	4190	0	0
T37	0	8511	0	0
T50	162207	0	0	1
T51	134001	0	0	1
T53	1740	0	0	1
T54	9438	0	0	1
T55	3517	0	0	1
T79	0	66	0	0
T119	0	6377	0	0

DataOStableWhenPending_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	698399	0	719
T4	165802	0	0	1
T6	0	12369	0	0
T7	23351	0	0	1
T8	138958	0	0	1
T9	3561	2317	0	1
T13	0	6286	0	0
T16	62829	0	0	1
T35	0	8188	0	0
T36	0	4190	0	0
T37	0	7791	0	0
T50	162207	0	0	1
T51	134001	0	0	1
T53	1740	0	0	1
T54	9438	0	0	1
T55	3517	0	0	1
T79	0	67	0	0
T119	0	6573	0	0
T120	0	1762	0	0
T121	0	3862	0	0

ExFlushValid_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	59003	0	0
T1	7856	7	0	0
T2	6537	3	0	0
T3	1894	0	0	0
T4	165802	27	0	0
T7	23351	15	0	0
T8	138958	16	0	0
T9	3561	0	0	0
T11	4529	3	0	0
T16	0	28	0	0
T50	0	89	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	3	0	0
T55	0	3	0	0

ExcessiveDataStored_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	50238	0	0
T1	7856	6	0	0
T2	6537	0	0	0
T3	1894	0	0	0
T4	165802	0	0	0
T6	0	2007	0	0
T7	23351	8	0	0
T8	138958	0	0	0
T9	3561	10	0	0
T11	4529	0	0	0
T12	0	1	0	0
T13	0	861	0	0
T15	0	2	0	0
T22	0	3	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T69	0	1	0	0
T79	0	11	0	0

ExcessiveMaskStored_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	50238	0	0
T1	7856	6	0	0
T2	6537	0	0	0
T3	1894	0	0	0
T4	165802	0	0	0
T6	0	2007	0	0
T7	23351	8	0	0
T8	138958	0	0	0
T9	3561	10	0	0
T11	4529	0	0	0
T12	0	1	0	0
T13	0	861	0	0
T15	0	2	0	0
T22	0	3	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T69	0	1	0	0
T79	0	11	0	0

FlushFollowedByDone_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	59003	0	719
T1	7856	7	0	1
T2	6537	3	0	1
T3	1894	0	0	1
T4	165802	27	0	1
T7	23351	15	0	1
T8	138958	16	0	1
T9	3561	0	0	1
T11	4529	3	0	1
T16	0	28	0	0
T50	0	89	0	0
T52	3684	0	0	1
T53	1740	0	0	1
T54	0	3	0	0
T55	0	3	0	0

ValidIDeassertedOnFlush_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	116155	0	0
T1	7856	13	0	0
T2	6537	6	0	0
T3	1894	0	0	0
T4	165802	27	0	0
T7	23351	23	0	0
T8	138958	16	0	0
T9	3561	0	0	0
T11	4529	6	0	0
T16	0	52	0	0
T50	0	167	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	6	0	0
T55	0	6	0	0

ValidOAssertedForStoredDataGTEOutW_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	12000660	0	0
T1	7856	12	0	0
T2	6537	25	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	15	0	0
T8	138958	0	0	0
T9	3561	2328	0	0
T11	4529	50	0	0
T16	0	42	0	0
T50	0	146	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	25	0	0
T55	0	25	0	0

ValidOPairedWidthReadyI_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	698399	0	0
T4	165802	0	0	0
T6	0	12369	0	0
T7	23351	0	0	0
T8	138958	0	0	0
T9	3561	2317	0	0
T13	0	6286	0	0
T16	62829	0	0	0
T35	0	8188	0	0
T36	0	4190	0	0
T37	0	7791	0	0
T50	162207	0	0	0
T51	134001	0	0	0
T53	1740	0	0	0
T54	9438	0	0	0
T55	3517	0	0	0
T79	0	67	0	0
T119	0	6573	0	0
T120	0	1762	0	0
T121	0	3862	0	0

g_byte_assert.InputDividedBy8_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	719	719	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T11	1	1	0	0
T52	1	1	0	0
T53	1	1	0	0

g_byte_assert.OutputDividedBy8_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	719	719	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T11	1	1	0	0
T52	1	1	0	0
T53	1	1	0	0

g_byte_assert.g_byte_input_masking[0].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	25200612	0	0
T1	7856	18	0	0
T2	6537	75	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	85	0	0
T11	4529	107	0	0
T16	0	142	0	0
T50	0	537	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	55	0	0
T55	0	71	0	0

g_byte_assert.g_byte_input_masking[1].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	25200612	0	0
T1	7856	18	0	0
T2	6537	75	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	85	0	0
T11	4529	107	0	0
T16	0	142	0	0
T50	0	537	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	55	0	0
T55	0	71	0	0

g_byte_assert.g_byte_input_masking[2].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	25200612	0	0
T1	7856	18	0	0
T2	6537	75	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	85	0	0
T11	4529	107	0	0
T16	0	142	0	0
T50	0	537	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	55	0	0
T55	0	71	0	0

g_byte_assert.g_byte_input_masking[3].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	25200612	0	0
T1	7856	18	0	0
T2	6537	75	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	85	0	0
T11	4529	107	0	0
T16	0	142	0	0
T50	0	537	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	55	0	0
T55	0	71	0	0

g_byte_assert.g_byte_input_masking[4].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	25200612	0	0
T1	7856	18	0	0
T2	6537	75	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	85	0	0
T11	4529	107	0	0
T16	0	142	0	0
T50	0	537	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	55	0	0
T55	0	71	0	0

g_byte_assert.g_byte_input_masking[5].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	25200612	0	0
T1	7856	18	0	0
T2	6537	75	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	85	0	0
T11	4529	107	0	0
T16	0	142	0	0
T50	0	537	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	55	0	0
T55	0	71	0	0

g_byte_assert.g_byte_input_masking[6].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	25200612	0	0
T1	7856	18	0	0
T2	6537	75	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	85	0	0
T11	4529	107	0	0
T16	0	142	0	0
T50	0	537	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	55	0	0
T55	0	71	0	0

g_byte_assert.g_byte_input_masking[7].InputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	25200612	0	0
T1	7856	18	0	0
T2	6537	75	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	85	0	0
T11	4529	107	0	0
T16	0	142	0	0
T50	0	537	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	55	0	0
T55	0	71	0	0

g_byte_assert.g_byte_output_masking[0].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	12049598	0	0
T1	7856	18	0	0
T2	6537	28	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	2328	0	0
T11	4529	53	0	0
T16	0	66	0	0
T50	0	224	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	28	0	0
T55	0	28	0	0

g_byte_assert.g_byte_output_masking[1].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	12049598	0	0
T1	7856	18	0	0
T2	6537	28	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	2328	0	0
T11	4529	53	0	0
T16	0	66	0	0
T50	0	224	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	28	0	0
T55	0	28	0	0

g_byte_assert.g_byte_output_masking[2].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	12049598	0	0
T1	7856	18	0	0
T2	6537	28	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	2328	0	0
T11	4529	53	0	0
T16	0	66	0	0
T50	0	224	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	28	0	0
T55	0	28	0	0

g_byte_assert.g_byte_output_masking[3].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	12049598	0	0
T1	7856	18	0	0
T2	6537	28	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	2328	0	0
T11	4529	53	0	0
T16	0	66	0	0
T50	0	224	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	28	0	0
T55	0	28	0	0

g_byte_assert.g_byte_output_masking[4].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	12049598	0	0
T1	7856	18	0	0
T2	6537	28	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	2328	0	0
T11	4529	53	0	0
T16	0	66	0	0
T50	0	224	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	28	0	0
T55	0	28	0	0

g_byte_assert.g_byte_output_masking[5].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	12049598	0	0
T1	7856	18	0	0
T2	6537	28	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	2328	0	0
T11	4529	53	0	0
T16	0	66	0	0
T50	0	224	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	28	0	0
T55	0	28	0	0

g_byte_assert.g_byte_output_masking[6].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	12049598	0	0
T1	7856	18	0	0
T2	6537	28	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	2328	0	0
T11	4529	53	0	0
T16	0	66	0	0
T50	0	224	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	28	0	0
T55	0	28	0	0

g_byte_assert.g_byte_output_masking[7].OutputMaskContiguous_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	12049598	0	0
T1	7856	18	0	0
T2	6537	28	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	2328	0	0
T11	4529	53	0	0
T16	0	66	0	0
T50	0	224	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	28	0	0
T55	0	28	0	0

gen_mask_assert.ContiguousOnesMask_M

Name	Attempts	Real Successes	Failures	Incomplete
Total	600494255	25200612	0	0
T1	7856	18	0	0
T2	6537	75	0	0
T3	1894	0	0	0
T4	165802	1656	0	0
T7	23351	23	0	0
T8	138958	0	0	0
T9	3561	85	0	0
T11	4529	107	0	0
T16	0	142	0	0
T50	0	537	0	0
T52	3684	0	0	0
T53	1740	0	0	0
T54	0	55	0	0
T55	0	71	0	0