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/lowrisc/opentitan/scratch/earlgrey_1_0_0_2024_08_20_RC0/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
1	0	1	Covered	T2,T6,T7
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,T2,T3
1	0	Covered	T8,T9

---

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	T10,T11,T12	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,T13
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	T14,T15,T16
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	T12,T17,T18
Pause0->Pause1	191	Covered	T1,T2,T3
Pause1->Idle	192	Covered	T1,T2,T3
Pause1->InitReq	234	Covered	T19,T20,T21

---

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	147264	110709	0	154
AlertKnownO_A	147921	112308	0	0
InBandInitRequest_A	147921	4046	0	0
InBandInitSequence_A	147921	425	0	0
InitReq_A	147921	745	0	0
IntegFailKnownO_A	147921	112308	0	0
NoSpuriousAlertsDuringInit_A	147921	15422	0	0
NoSpuriousPingOksDuringInit_A	147921	15031	0	0
PingDiffOk_A	147087	111474	0	0
PingOkBypassDuringInit_A	147921	41	0	40
PingOkKnownO_A	147921	112308	0	0
PingPKnownO_A	147921	112308	0	0
PingPending_A	147921	806	0	117
PingRequest0_A	147921	0	0	0
PingResponse0_A	147921	747	0	0
gen_async_assert.Alert_A	73956	1197	0	0
gen_async_assert.PingResponse1_A	73956	309	0	0
gen_async_assert.SigInt_A	73956	216	0	86
gen_sync_assert.Alert_A	73965	3095	0	0
gen_sync_assert.PingResponse1_A	73965	352	0	0
gen_sync_assert.SigInt_A	73965	40	0	0

AckDiffOk_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147264	110709	0	154
T1	1091	1010	0	2
T2	1111	1037	0	2
T3	1009	956	0	2
T6	1108	1022	0	2
T7	1029	964	0	2
T10	1182	1045	0	2
T13	1093	995	0	2
T19	1185	1097	0	2
T22	1107	1028	0	2
T23	1086	995	0	2

AlertKnownO_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	112308	0	0
T1	1105	1026	0	0
T2	1125	1053	0	0
T3	1024	973	0	0
T6	1122	1038	0	0
T7	1042	979	0	0
T10	1197	1064	0	0
T13	1108	1012	0	0
T19	1200	1114	0	0
T22	1122	1045	0	0
T23	1101	1012	0	0

InBandInitRequest_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	4046	0	0
T1	1105	57	0	0
T2	1125	60	0	0
T3	1024	25	0	0
T6	1122	58	0	0
T7	1042	53	0	0
T10	1197	54	0	0
T13	1108	52	0	0
T19	1200	99	0	0
T22	1122	61	0	0
T23	1101	25	0	0

InBandInitSequence_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	425	0	0
T1	1105	3	0	0
T2	1125	4	0	0
T3	1024	1	0	0
T6	1122	2	0	0
T7	1042	1	0	0
T10	1197	3	0	0
T13	1108	1	0	0
T19	1200	7	0	0
T22	1122	2	0	0
T23	1101	0	0	0
T24	0	2	0	0

InitReq_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	745	0	0
T1	1105	8	0	0
T2	1125	10	0	0
T3	1024	5	0	0
T6	1122	10	0	0
T7	1042	10	0	0
T10	1197	8	0	0
T13	1108	9	0	0
T19	1200	15	0	0
T22	1122	10	0	0
T23	1101	7	0	0

IntegFailKnownO_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	112308	0	0
T1	1105	1026	0	0
T2	1125	1053	0	0
T3	1024	973	0	0
T6	1122	1038	0	0
T7	1042	979	0	0
T10	1197	1064	0	0
T13	1108	1012	0	0
T19	1200	1114	0	0
T22	1122	1045	0	0
T23	1101	1012	0	0

NoSpuriousAlertsDuringInit_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	15422	0	0
T1	1105	162	0	0
T2	1125	197	0	0
T3	1024	106	0	0
T6	1122	198	0	0
T7	1042	196	0	0
T10	1197	178	0	0
T13	1108	184	0	0
T19	1200	289	0	0
T22	1122	199	0	0
T23	1101	141	0	0

NoSpuriousPingOksDuringInit_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	15031	0	0
T1	1105	152	0	0
T2	1125	184	0	0
T3	1024	91	0	0
T6	1122	196	0	0
T7	1042	192	0	0
T10	1197	178	0	0
T13	1108	179	0	0
T19	1200	283	0	0
T22	1122	199	0	0
T23	1101	141	0	0

PingDiffOk_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147087	111474	0	0
T1	1088	1009	0	0
T2	1108	1036	0	0
T3	1011	960	0	0
T6	1107	1023	0	0
T7	1029	966	0	0
T10	1182	1049	0	0
T13	1091	995	0	0
T19	1186	1100	0	0
T22	1109	1032	0	0
T23	1084	995	0	0

PingOkBypassDuringInit_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	41	0	40
T6	1122	0	0	0
T7	1042	3	0	0
T10	1197	0	0	0
T11	1128	1	0	0
T12	0	1	0	0
T13	1108	1	0	0
T14	0	1	0	0
T18	0	0	0	1
T19	1200	2	0	0
T20	1082	1	0	0
T22	1122	0	0	0
T23	1101	0	0	0
T24	1061	0	0	0
T25	0	1	0	0
T26	0	1	0	0
T27	0	1	0	0
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	147921	112308	0	0
T1	1105	1026	0	0
T2	1125	1053	0	0
T3	1024	973	0	0
T6	1122	1038	0	0
T7	1042	979	0	0
T10	1197	1064	0	0
T13	1108	1012	0	0
T19	1200	1114	0	0
T22	1122	1045	0	0
T23	1101	1012	0	0

PingPKnownO_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	112308	0	0
T1	1105	1026	0	0
T2	1125	1053	0	0
T3	1024	973	0	0
T6	1122	1038	0	0
T7	1042	979	0	0
T10	1197	1064	0	0
T13	1108	1012	0	0
T19	1200	1114	0	0
T22	1122	1045	0	0
T23	1101	1012	0	0

PingPending_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	806	0	117
T1	1105	11	0	1
T2	1125	11	0	1
T3	1024	11	0	1
T6	1122	11	0	1
T7	1042	11	0	1
T10	1197	11	0	1
T13	1108	11	0	1
T19	1200	11	0	1
T22	1122	11	0	1
T23	1101	11	0	1

PingRequest0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	0	0	0

PingResponse0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	147921	747	0	0
T1	1105	10	0	0
T2	1125	9	0	0
T3	1024	10	0	0
T6	1122	9	0	0
T7	1042	9	0	0
T10	1197	10	0	0
T13	1108	10	0	0
T19	1200	10	0	0
T22	1122	10	0	0
T23	1101	10	0	0

gen_async_assert.Alert_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	73956	1197	0	0
T1	1105	8	0	0
T2	1125	5	0	0
T3	1024	11	0	0
T6	1122	8	0	0
T7	1042	6	0	0
T10	1197	7	0	0
T13	1108	8	0	0
T19	1200	5	0	0
T22	1122	5	0	0
T23	1101	7	0	0

gen_async_assert.PingResponse1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	73956	309	0	0
T1	1105	10	0	0
T2	1125	9	0	0
T3	1024	9	0	0
T6	1122	9	0	0
T7	1042	6	0	0
T10	1197	10	0	0
T13	1108	7	0	0
T19	1200	6	0	0
T22	1122	10	0	0
T23	1101	10	0	0

gen_async_assert.SigInt_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	73956	216	0	86
T1	1105	6	0	2
T2	1125	5	0	3
T3	1024	5	0	3
T6	1122	6	0	2
T7	1042	5	0	2
T10	1197	5	0	3
T13	1108	5	0	3
T19	1200	5	0	3
T22	1122	6	0	2
T23	1101	7	0	3

gen_sync_assert.Alert_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	73965	3095	0	0
T18	1034	9	0	0
T28	919	8	0	0
T29	977	10	0	0
T30	875	9	0	0
T31	1093	11	0	0
T32	870	9	0	0
T37	856	11	0	0
T38	995	10	0	0
T39	814	10	0	0
T40	898	12	0	0

gen_sync_assert.PingResponse1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	73965	352	0	0
T18	1034	9	0	0
T28	919	9	0	0
T29	977	7	0	0
T30	875	6	0	0
T31	1093	9	0	0
T32	870	9	0	0
T37	856	8	0	0
T38	995	8	0	0
T39	814	10	0	0
T40	898	10	0	0

gen_sync_assert.SigInt_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	73965	40	0	0
T18	1034	1	0	0
T28	919	1	0	0
T29	977	1	0	0
T30	875	1	0	0
T31	1093	1	0	0
T32	870	1	0	0
T37	856	1	0	0
T38	995	1	0	0
T39	814	1	0	0
T40	898	1	0	0