Unified Coverage Report :: Module :: prim_alert_receiver

Module : prim_alert_receiver

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.18	100.00	100.00	100.00	80.00	95.83	95.24

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_09_23/prim_alert-sim-vcs/default/sim-vcs/../src/lowrisc_prim_alert_0/rtl/prim_alert_receiver.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
prim_alert_tb.i_alert_receiver	95.18	100.00	100.00	100.00	80.00	95.83	95.24

---

Module Instance : prim_alert_tb.i_alert_receiver

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.18	100.00	100.00	100.00	80.00	95.83	95.24

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.18	100.00	100.00	100.00	80.00	95.83	95.24

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
							prim_alert_tb

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_alert_receiver

	Line No.	Total	Covered	Percent
TOTAL		60	60	100.00
CONT_ASSIGN	105	1	1	100.00
CONT_ASSIGN	106	1	1	100.00
CONT_ASSIGN	107	1	1	100.00
CONT_ASSIGN	111	1	1	100.00
CONT_ASSIGN	112	1	1	100.00
CONT_ASSIGN	144	1	1	100.00
CONT_ASSIGN	147	1	1	100.00
CONT_ASSIGN	148	1	1	100.00
CONT_ASSIGN	150	1	1	100.00
CONT_ASSIGN	151	1	1	100.00
ALWAYS	159	43	43	100.00
ALWAYS	253	7	7	100.00

104                       // signalling is performed by a level change event on the diff output
105        1/1            assign ping_req_d  = ping_req_i;
           Tests:       T1 T2 T3 
106        1/1            assign ping_rise   = ping_req_d && !ping_req_q;
           Tests:       T1 T2 T3 
107        1/1            assign ping_tog_pd = (send_init) ? 1'b0         :
           Tests:       T1 T2 T3 
108                                            (send_ping) ? ~ping_tog_pq : ping_tog_pq;
109                     
110                       // in-band reset is performed by sending out an integrity error on purpose.
111        1/1            assign ack_dn      = (send_init) ? ack_pd : ~ack_pd;
           Tests:       T1 T2 T3 
112        1/1            assign ping_tog_dn = ~ping_tog_pd;
           Tests:       T1 T2 T3 
113                     
114                       // This prevents further tool optimizations of the differential signal.
115                       prim_sec_anchor_flop #(
116                         .Width     (2),
117                         .ResetValue(2'b10)
118                       ) u_prim_generic_flop_ack (
119                         .clk_i,
120                         .rst_ni,
121                         .d_i({ack_dn,
122                               ack_pd}),
123                         .q_o({ack_nq,
124                               ack_pq})
125                       );
126                     
127                       prim_sec_anchor_flop #(
128                         .Width     (2),
129                         .ResetValue(2'b10)
130                       ) u_prim_generic_flop_ping (
131                         .clk_i,
132                         .rst_ni,
133                         .d_i({ping_tog_dn,
134                               ping_tog_pd}),
135                         .q_o({ping_tog_nq,
136                               ping_tog_pq})
137                       );
138                     
139                       // the ping pending signal is used in the FSM to distinguish whether the
140                       // incoming handshake shall be treated as an alert or a ping response.
141                       // it is important that this is only set on a rising ping_en level change, since
142                       // otherwise the ping enable signal could be abused to "mask" all native alerts
143                       // as ping responses by constantly tying it to 1.
144        1/1            assign ping_pending_d = ping_rise | ((~ping_ok_o) & ping_req_i & ping_pending_q);
           Tests:       T1 T2 T3 
145                     
146                       // diff pair outputs
147        1/1            assign alert_rx_o.ack_p = ack_pq;
           Tests:       T1 T2 T3 
148        1/1            assign alert_rx_o.ack_n = ack_nq;
           Tests:       T1 T2 T3 
149                     
150        1/1            assign alert_rx_o.ping_p = ping_tog_pq;
           Tests:       T1 T2 T3 
151        1/1            assign alert_rx_o.ping_n = ping_tog_nq;
           Tests:       T1 T2 T3 
152                     
153                       // this FSM receives the four phase handshakes from the alert receiver
154                       // note that the latency of the alert_p/n input diff pair is at least one
155                       // cycle until it enters the receiver FSM. the same holds for the ack_* diff
156                       // pair outputs.
157                       always_comb begin : p_fsm
158                         // default
159        1/1              state_d      = state_q;
           Tests:       T1 T2 T3 
160        1/1              ack_pd       = 1'b0;
           Tests:       T1 T2 T3 
161        1/1              ping_ok_o    = 1'b0;
           Tests:       T1 T2 T3 
162        1/1              integ_fail_o = 1'b0;
           Tests:       T1 T2 T3 
163        1/1              alert_o      = 1'b0;
           Tests:       T1 T2 T3 
164        1/1              send_init    = 1'b0;
           Tests:       T1 T2 T3 
165                         // by default, a ping request leads to a toogle on the differential ping pair
166        1/1              send_ping    = ping_rise;
           Tests:       T1 T2 T3 
167                     
168        1/1              unique case (state_q)
           Tests:       T1 T2 T3 
169                           Idle: begin
170                             // wait for handshake to be initiated
171        1/1                  if (alert_level) begin
           Tests:       T1 T2 T3 
172        1/1                    state_d = HsAckWait;
           Tests:       T1 T2 T3 
173        1/1                    ack_pd  = 1'b1;
           Tests:       T1 T2 T3 
174                               // signal either an alert or ping received on the output
175        1/1                    if (ping_pending_q) begin
           Tests:       T1 T2 T3 
176        1/1                      ping_ok_o = 1'b1;
           Tests:       T1 T2 T3 
177                               end else begin
178        1/1                      alert_o   = 1'b1;
           Tests:       T1 T2 T3 
179                               end
180                             end
                        MISSING_ELSE
181                           end
182                           // waiting for deassertion of alert to complete HS
183                           HsAckWait: begin
184        1/1                  if (!alert_level) begin
           Tests:       T1 T2 T3 
185        1/1                    state_d  = Pause0;
           Tests:       T1 T2 T3 
186                             end else begin
187        1/1                    ack_pd = 1'b1;
           Tests:       T1 T2 T3 
188                             end
189                           end
190                           // pause cycles between back-to-back handshakes
191        1/1                Pause0: state_d = Pause1;
           Tests:       T1 T2 T3 
192        1/1                Pause1: state_d = Idle;
           Tests:       T1 T2 T3 
193                           // this state is only reached if an in-band reset is
194                           // requested via the low-power logic.
195                           InitReq: begin
196                             // we deliberately place a sigint error on the ack and ping lines in this case.
197        1/1                  send_init = 1'b1;
           Tests:       T1 T2 T3 
198                             // suppress any toggles on the ping line while we are in the init phase.
199        1/1                  send_ping = 1'b0;
           Tests:       T1 T2 T3 
200                             // As long as init req is asserted, we remain in this state and acknowledge all incoming
201                             // ping requests. As soon as the init request is dropped however, ping requests are not
202                             // acked anymore such that the ping mechanism can also flag alert channels that got stuck
203                             // in the initialization sequence.
204        1/1                  if (mubi4_test_true_strict(init_trig_i)) begin
           Tests:       T1 T2 T3 
205        1/1                    ping_ok_o = ping_pending_q;
           Tests:       T1 T2 T3 
206                             // the sender will respond to the sigint error above with a sigint error on the alert lines.
207                             // hence we treat the alert_sigint like an acknowledgement in this case.
208        1/1                  end else if (alert_sigint) begin
           Tests:       T1 T2 T3 
209        1/1                    state_d = InitAckWait;
           Tests:       T1 T2 T3 
210                             end
                        MISSING_ELSE
211                           end
212                           // We get here if the sender has responded with alert_sigint, and init_trig_i==lc_ctrl_pkg::On
213                           // has been deasserted. At this point, we need to wait for the alert_sigint to drop again
214                           // before resuming normal operation.
215                           InitAckWait: begin
216                             // suppress any toggles on the ping line while we are in the init phase.
217        1/1                  send_ping = 1'b0;
           Tests:       T1 T2 T3 
218        1/1                  if (!alert_sigint) begin
           Tests:       T1 T2 T3 
219        1/1                    state_d = Pause0;
           Tests:       T1 T2 T3 
220                               // If we get a ping request in this cycle, or if we realize that there is an unhandled
221                               // ping request that came in during initialization (but after init_trig_i has been
222                               // deasserted), we signal this to the alert sender by toggling the request line.
223        1/1                    send_ping = ping_rise || ping_pending_q;
           Tests:       T1 T2 T3 
224                             end
                        MISSING_ELSE
225                           end
226                           default: state_d = Idle;
227                         endcase
228                     
229                         // once the initialization sequence has been triggered,
230                         // overrides are not allowed anymore until the initialization has been completed.
231        1/1              if (!(state_q inside {InitReq, InitAckWait})) begin
           Tests:       T1 T2 T3 
232                           // in this case, abort and jump into the initialization sequence
233        1/1                if (mubi4_test_true_strict(init_trig_i)) begin
           Tests:       T1 T2 T3 
234        1/1                  state_d      = InitReq;
           Tests:       T1 T2 T3 
235        1/1                  ack_pd       = 1'b0;
           Tests:       T1 T2 T3 
236        1/1                  ping_ok_o    = 1'b0;
           Tests:       T1 T2 T3 
237        1/1                  integ_fail_o = 1'b0;
           Tests:       T1 T2 T3 
238        1/1                  alert_o      = 1'b0;
           Tests:       T1 T2 T3 
239        1/1                  send_init    = 1'b1;
           Tests:       T1 T2 T3 
240                           // if we're not busy with an init request, we clamp down all outputs
241                           // and indicate an integrity failure.
242        1/1                end else if (alert_sigint) begin
           Tests:       T1 T2 T3 
243        1/1                  state_d      = Idle;
           Tests:       T1 T2 T3 
244        1/1                  ack_pd       = 1'b0;
           Tests:       T1 T2 T3 
245        1/1                  ping_ok_o    = 1'b0;
           Tests:       T1 T2 T3 
246        1/1                  integ_fail_o = 1'b1;
           Tests:       T1 T2 T3 
247        1/1                  alert_o      = 1'b0;
           Tests:       T1 T2 T3 
248                           end
                        MISSING_ELSE
249                         end
                        MISSING_ELSE
250                       end
251                     
252                       always_ff @(posedge clk_i or negedge rst_ni) begin : p_reg
253        1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
254                           // Reset into the init request so that an alert handler reset implicitly
255                           // triggers an in-band reset of all alert channels.
256        1/1                state_q        <= InitReq;
           Tests:       T1 T2 T3 
257        1/1                ping_req_q     <= 1'b0;
           Tests:       T1 T2 T3 
258        1/1                ping_pending_q <= 1'b0;
           Tests:       T1 T2 T3 
259                         end else begin
260        1/1                state_q        <= state_d;
           Tests:       T1 T2 T3 
261        1/1                ping_req_q     <= ping_req_d;
           Tests:       T1 T2 T3 
262        1/1                ping_pending_q <= ping_pending_d;
           Tests:       T1 T2 T3 

---

Cond Coverage for Module : prim_alert_receiver

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

 LINE       106
 EXPRESSION (ping_req_d && ((!ping_req_q)))
             -----1----    -------2-------

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

 LINE       107
 EXPRESSION (send_init ? 1'b0 : (send_ping ? ((~ping_tog_pq)) : ping_tog_pq))
             ----1----

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

 LINE       107
 SUB-EXPRESSION (send_ping ? ((~ping_tog_pq)) : ping_tog_pq)
                 ----1----

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

 LINE       111
 EXPRESSION (send_init ? ack_pd : ((~ack_pd)))
             ----1----

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

 LINE       144
 EXPRESSION (ping_rise | (((~ping_ok_o)) & ping_req_i & ping_pending_q))
             ----1----   -----------------------2----------------------

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

 LINE       144
 SUB-EXPRESSION (((~ping_ok_o)) & ping_req_i & ping_pending_q)
                 -------1------   -----2----   -------3------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T4,T5,T6
1	0	1	Covered	T3,T7,T8
1	1	0	Covered	T1,T2,T3
1	1	1	Covered	T1,T2,T3

 LINE       223
 EXPRESSION (ping_rise || ping_pending_q)
             ----1----    -------2------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T8,T9
1	0	Covered	T10,T6

---

Toggle Coverage for Module : prim_alert_receiver

	Total	Covered	Percent
Totals	13	13	100.00
Total Bits	32	32	100.00
Total Bits 0->1	16	16	100.00
Total Bits 1->0	16	16	100.00

Ports	13	13	100.00
Port Bits	32	32	100.00
Port Bits 0->1	16	16	100.00
Port Bits 1->0	16	16	100.00

Port Details

Name	Toggle	Toggle 1->0	Tests	Toggle 0->1	Tests	Direction
clk_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
rst_ni	Yes	Yes	T1,T3,T9	Yes	T1,T2,T3	INPUT
init_trig_i[3:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
ping_req_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
ping_ok_o	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
integ_fail_o	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
alert_o	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
alert_rx_o.ack_n	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
alert_rx_o.ack_p	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
alert_rx_o.ping_n	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
alert_rx_o.ping_p	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT
alert_tx_i.alert_n	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
alert_tx_i.alert_p	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT

---

FSM Coverage for Module : prim_alert_receiver

Summary for FSM :: state_q

	Total	Covered	Percent
States	6	6	100.00	(Not included in score)
Transitions	15	12	80.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
HsAckWait	172	Covered	T1,T2,T3
Idle	192	Covered	T1,T2,T3
InitAckWait	209	Covered	T1,T2,T3
InitReq	234	Covered	T1,T2,T3
Pause0	185	Covered	T1,T2,T3
Pause1	191	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
HsAckWait->Idle	243	Covered	T1,T2,T3
HsAckWait->InitReq	234	Covered	T1,T3,T7
HsAckWait->Pause0	185	Covered	T1,T2,T3
Idle->HsAckWait	172	Covered	T1,T2,T3
Idle->InitReq	234	Covered	T1,T2,T3
InitAckWait->Idle	243	Not Covered
InitAckWait->InitReq	234	Covered	T3,T11,T12
InitAckWait->Pause0	219	Covered	T1,T2,T3
InitReq->Idle	243	Not Covered
InitReq->InitAckWait	209	Covered	T1,T2,T3
Pause0->Idle	243	Not Covered
Pause0->InitReq	234	Covered	T13,T14,T15
Pause0->Pause1	191	Covered	T1,T2,T3
Pause1->Idle	192	Covered	T1,T2,T3
Pause1->InitReq	234	Covered	T3,T8,T16

---

Branch Coverage for Module : prim_alert_receiver

	Line No.	Total	Covered	Percent
Branches		24	23	95.83
TERNARY	107	3	3	100.00
TERNARY	111	2	2	100.00
CASE	168	13	12	92.31
IF	231	4	4	100.00
IF	253	2	2	100.00

107          assign ping_tog_pd = (send_init) ? 1'b0         :
                                              -1-  
                                              ==>  
108                               (send_ping) ? ~ping_tog_pq : ping_tog_pq;
                                              -2-  
                                              ==>  
                                              ==>  

Branches:

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

111          assign ack_dn      = (send_init) ? ack_pd : ~ack_pd;
                                              -1-  
                                              ==>  
                                              ==>  

Branches:

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

168            unique case (state_q)
                      -1-  
169              Idle: begin
170                // wait for handshake to be initiated
171                if (alert_level) begin
                   -2-  
172                  state_d = HsAckWait;
173                  ack_pd  = 1'b1;
174                  // signal either an alert or ping received on the output
175                  if (ping_pending_q) begin
                     -3-  
176                    ping_ok_o = 1'b1;
                       ==>
177                  end else begin
178                    alert_o   = 1'b1;
                       ==>
179                  end
180                end
                   MISSING_ELSE
                   ==>
181              end
182              // waiting for deassertion of alert to complete HS
183              HsAckWait: begin
184                if (!alert_level) begin
                   -4-  
185                  state_d  = Pause0;
                     ==>
186                end else begin
187                  ack_pd = 1'b1;
                     ==>
188                end
189              end
190              // pause cycles between back-to-back handshakes
191              Pause0: state_d = Pause1;
                 ==>
192              Pause1: state_d = Idle;
                 ==>
193              // this state is only reached if an in-band reset is
194              // requested via the low-power logic.
195              InitReq: begin
196                // we deliberately place a sigint error on the ack and ping lines in this case.
197                send_init = 1'b1;
198                // suppress any toggles on the ping line while we are in the init phase.
199                send_ping = 1'b0;
200                // As long as init req is asserted, we remain in this state and acknowledge all incoming
201                // ping requests. As soon as the init request is dropped however, ping requests are not
202                // acked anymore such that the ping mechanism can also flag alert channels that got stuck
203                // in the initialization sequence.
204                if (mubi4_test_true_strict(init_trig_i)) begin
                   -5-  
205                  ping_ok_o = ping_pending_q;
                     ==>
206                // the sender will respond to the sigint error above with a sigint error on the alert lines.
207                // hence we treat the alert_sigint like an acknowledgement in this case.
208                end else if (alert_sigint) begin
                            -6-  
209                  state_d = InitAckWait;
                     ==>
210                end
                   MISSING_ELSE
                   ==>
211              end
212              // We get here if the sender has responded with alert_sigint, and init_trig_i==lc_ctrl_pkg::On
213              // has been deasserted. At this point, we need to wait for the alert_sigint to drop again
214              // before resuming normal operation.
215              InitAckWait: begin
216                // suppress any toggles on the ping line while we are in the init phase.
217                send_ping = 1'b0;
218                if (!alert_sigint) begin
                   -7-  
219                  state_d = Pause0;
                     ==>
220                  // If we get a ping request in this cycle, or if we realize that there is an unhandled
221                  // ping request that came in during initialization (but after init_trig_i has been
222                  // deasserted), we signal this to the alert sender by toggling the request line.
223                  send_ping = ping_rise || ping_pending_q;
224                end
                   MISSING_ELSE
                   ==>
225              end
226              default: state_d = Idle;
                 ==>

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	Status	Tests
Idle	1	1	-	-	-	-	Covered	T1,T2,T3
Idle	1	0	-	-	-	-	Covered	T1,T2,T3
Idle	0	-	-	-	-	-	Covered	T1,T2,T3
HsAckWait	-	-	1	-	-	-	Covered	T1,T2,T3
HsAckWait	-	-	0	-	-	-	Covered	T1,T2,T3
Pause0	-	-	-	-	-	-	Covered	T1,T2,T3
Pause1	-	-	-	-	-	-	Covered	T1,T2,T3
InitReq	-	-	-	1	-	-	Covered	T1,T2,T3
InitReq	-	-	-	0	1	-	Covered	T1,T2,T3
InitReq	-	-	-	0	0	-	Covered	T1,T2,T3
InitAckWait	-	-	-	-	-	1	Covered	T1,T2,T3
InitAckWait	-	-	-	-	-	0	Covered	T1,T2,T3
default	-	-	-	-	-	-	Not Covered

231            if (!(state_q inside {InitReq, InitAckWait})) begin
               -1-  
232              // in this case, abort and jump into the initialization sequence
233              if (mubi4_test_true_strict(init_trig_i)) begin
                 -2-  
234                state_d      = InitReq;
                   ==>
235                ack_pd       = 1'b0;
236                ping_ok_o    = 1'b0;
237                integ_fail_o = 1'b0;
238                alert_o      = 1'b0;
239                send_init    = 1'b1;
240              // if we're not busy with an init request, we clamp down all outputs
241              // and indicate an integrity failure.
242              end else if (alert_sigint) begin
                          -3-  
243                state_d      = Idle;
                   ==>
244                ack_pd       = 1'b0;
245                ping_ok_o    = 1'b0;
246                integ_fail_o = 1'b1;
247                alert_o      = 1'b0;
248              end
                 MISSING_ELSE
                 ==>
249            end
               MISSING_ELSE
               ==>

Branches:

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

253            if (!rst_ni) begin
               -1-  
254              // Reset into the init request so that an alert handler reset implicitly
255              // triggers an in-band reset of all alert channels.
256              state_q        <= InitReq;
                 ==>
257              ping_req_q     <= 1'b0;
258              ping_pending_q <= 1'b0;
259            end else begin
260              state_q        <= state_d;
                 ==>

Branches:

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

---

Assert Coverage for Module : prim_alert_receiver

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	21	21	100.00	20	95.24
Cover properties	0	0		0
Cover sequences	0	0		0
Total	21	21	100.00	20	95.24

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
AckDiffOk_A	151993	114859	0	158
AlertKnownO_A	152694	116533	0	0
InBandInitRequest_A	152694	4089	0	0
InBandInitSequence_A	152694	431	0	0
InitReq_A	152694	762	0	0
IntegFailKnownO_A	152694	116533	0	0
NoSpuriousAlertsDuringInit_A	152694	15956	0	0
NoSpuriousPingOksDuringInit_A	152694	15627	0	0
PingDiffOk_A	151796	115635	0	0
PingOkBypassDuringInit_A	152694	49	0	40
PingOkKnownO_A	152694	116533	0	0
PingPKnownO_A	152694	116533	0	0
PingPending_A	152694	828	0	119
PingRequest0_A	152694	0	0	0
PingResponse0_A	152694	768	0	0
gen_async_assert.Alert_A	79229	1342	0	0
gen_async_assert.PingResponse1_A	79229	316	0	0
gen_async_assert.SigInt_A	79229	251	0	92
gen_sync_assert.Alert_A	73465	3172	0	0
gen_sync_assert.PingResponse1_A	73465	346	0	0
gen_sync_assert.SigInt_A	73465	40	0	0

AckDiffOk_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	151993	114859	0	158
T1	1250	1080	0	2
T2	1031	961	0	2
T3	1152	1027	0	2
T7	1052	961	0	2
T8	1061	977	0	2
T9	1180	1023	0	2
T16	1162	1097	0	2
T17	1135	1055	0	2
T18	1089	1004	0	2
T19	1112	1014	0	2

AlertKnownO_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	116533	0	0
T1	1265	1099	0	0
T2	1046	978	0	0
T3	1168	1047	0	0
T7	1067	978	0	0
T8	1075	993	0	0
T9	1193	1039	0	0
T16	1177	1114	0	0
T17	1149	1071	0	0
T18	1104	1021	0	0
T19	1127	1031	0	0

InBandInitRequest_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	4089	0	0
T1	1265	73	0	0
T2	1046	28	0	0
T3	1168	54	0	0
T7	1067	45	0	0
T8	1075	60	0	0
T9	1193	54	0	0
T16	1177	85	0	0
T17	1149	62	0	0
T18	1104	51	0	0
T19	1127	47	0	0

InBandInitSequence_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	431	0	0
T1	1265	5	0	0
T2	1046	2	0	0
T3	1168	2	0	0
T7	1067	1	0	0
T8	1075	2	0	0
T9	1193	1	0	0
T16	1177	4	0	0
T17	1149	2	0	0
T18	1104	2	0	0
T19	1127	2	0	0

InitReq_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	762	0	0
T1	1265	11	0	0
T2	1046	6	0	0
T3	1168	11	0	0
T7	1067	8	0	0
T8	1075	10	0	0
T9	1193	11	0	0
T16	1177	13	0	0
T17	1149	11	0	0
T18	1104	8	0	0
T19	1127	9	0	0

IntegFailKnownO_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	116533	0	0
T1	1265	1099	0	0
T2	1046	978	0	0
T3	1168	1047	0	0
T7	1067	978	0	0
T8	1075	993	0	0
T9	1193	1039	0	0
T16	1177	1114	0	0
T17	1149	1071	0	0
T18	1104	1021	0	0
T19	1127	1031	0	0

NoSpuriousAlertsDuringInit_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	15956	0	0
T1	1265	235	0	0
T2	1046	121	0	0
T3	1168	222	0	0
T7	1067	159	0	0
T8	1075	200	0	0
T9	1193	211	0	0
T16	1177	254	0	0
T17	1149	225	0	0
T18	1104	159	0	0
T19	1127	179	0	0

NoSpuriousPingOksDuringInit_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	15627	0	0
T1	1265	208	0	0
T2	1046	119	0	0
T3	1168	219	0	0
T7	1067	154	0	0
T8	1075	183	0	0
T9	1193	194	0	0
T16	1177	251	0	0
T17	1149	223	0	0
T18	1104	157	0	0
T19	1127	179	0	0

PingDiffOk_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	151796	115635	0	0
T1	1248	1082	0	0
T2	1033	965	0	0
T3	1152	1031	0	0
T7	1051	962	0	0
T8	1057	975	0	0
T9	1179	1025	0	0
T16	1160	1097	0	0
T17	1135	1057	0	0
T18	1086	1003	0	0
T19	1112	1016	0	0

PingOkBypassDuringInit_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	49	0	40
T3	1168	1	0	0
T7	1067	0	0	0
T8	1075	2	0	0
T9	1193	2	0	0
T13	0	1	0	0
T16	1177	1	0	0
T17	1149	0	0	0
T18	1104	0	0	0
T19	1127	0	0	0
T20	0	2	0	0
T21	0	2	0	0
T22	0	4	0	0
T23	0	1	0	0
T24	0	1	0	0
T25	1128	0	0	0
T26	1077	0	0	0
T27	0	0	0	1
T28	0	0	0	1
T29	0	0	0	1
T30	0	0	0	1
T31	0	0	0	1
T32	0	0	0	1
T33	0	0	0	1
T34	0	0	0	1
T35	0	0	0	1
T36	0	0	0	1

PingOkKnownO_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	116533	0	0
T1	1265	1099	0	0
T2	1046	978	0	0
T3	1168	1047	0	0
T7	1067	978	0	0
T8	1075	993	0	0
T9	1193	1039	0	0
T16	1177	1114	0	0
T17	1149	1071	0	0
T18	1104	1021	0	0
T19	1127	1031	0	0

PingPKnownO_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	116533	0	0
T1	1265	1099	0	0
T2	1046	978	0	0
T3	1168	1047	0	0
T7	1067	978	0	0
T8	1075	993	0	0
T9	1193	1039	0	0
T16	1177	1114	0	0
T17	1149	1071	0	0
T18	1104	1021	0	0
T19	1127	1031	0	0

PingPending_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	828	0	119
T1	1265	11	0	1
T2	1046	11	0	1
T3	1168	11	0	1
T7	1067	11	0	1
T8	1075	11	0	1
T9	1193	11	0	1
T16	1177	11	0	1
T17	1149	11	0	1
T18	1104	11	0	1
T19	1127	11	0	1

PingRequest0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	0	0	0

PingResponse0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	152694	768	0	0
T1	1265	10	0	0
T2	1046	10	0	0
T3	1168	9	0	0
T7	1067	9	0	0
T8	1075	9	0	0
T9	1193	10	0	0
T16	1177	10	0	0
T17	1149	10	0	0
T18	1104	10	0	0
T19	1127	10	0	0

gen_async_assert.Alert_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	79229	1342	0	0
T1	1265	8	0	0
T2	1046	8	0	0
T3	1168	6	0	0
T7	1067	9	0	0
T8	1075	8	0	0
T9	1193	6	0	0
T16	1177	5	0	0
T17	1149	5	0	0
T18	1104	7	0	0
T19	1127	7	0	0

gen_async_assert.PingResponse1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	79229	316	0	0
T1	1265	9	0	0
T2	1046	9	0	0
T3	1168	8	0	0
T7	1067	7	0	0
T8	1075	7	0	0
T9	1193	8	0	0
T16	1177	8	0	0
T17	1149	9	0	0
T18	1104	9	0	0
T19	1127	10	0	0

gen_async_assert.SigInt_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	79229	251	0	92
T1	1265	5	0	3
T2	1046	6	0	3
T3	1168	6	0	3
T7	1067	6	0	3
T8	1075	5	0	2
T9	1193	5	0	3
T16	1177	8	0	2
T17	1149	6	0	3
T18	1104	5	0	3
T19	1127	6	0	3

gen_sync_assert.Alert_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	73465	3172	0	0
T27	933	7	0	0
T28	940	11	0	0
T29	974	11	0	0
T30	880	10	0	0
T31	1021	10	0	0
T32	937	10	0	0
T37	998	9	0	0
T38	1015	9	0	0
T39	921	10	0	0
T40	989	10	0	0

gen_sync_assert.PingResponse1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	73465	346	0	0
T27	933	9	0	0
T28	940	8	0	0
T29	974	7	0	0
T30	880	8	0	0
T31	1021	9	0	0
T32	937	9	0	0
T37	998	10	0	0
T38	1015	10	0	0
T39	921	6	0	0
T40	989	10	0	0

gen_sync_assert.SigInt_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	73465	40	0	0
T27	933	1	0	0
T28	940	1	0	0
T29	974	1	0	0
T30	880	1	0	0
T31	1021	1	0	0
T32	937	1	0	0
T37	998	1	0	0
T38	1015	1	0	0
T39	921	1	0	0
T40	989	1	0	0