PKnownO_A, alert_tx_o)</pre>
<pre style="margin:0; padding:0 "> 197: </pre>
<pre id="id198" style="background-color: #FFB6C1; margin:0; padding:0 "> 198:   if (AsyncOn) begin : gen_async_assert</pre>
<pre style="margin:0; padding:0 "> 199:     // check propagation of sigint issues to output within three cycles</pre>
<pre style="margin:0; padding:0 "> 200:     `ASSERT(SigIntPing_A, alert_rx_i.ping_p == alert_rx_i.ping_n [*2] |-></pre>
<pre style="margin:0; padding:0 "> 201:         ##3 alert_tx_o.alert_p == 