>
<pre style="margin:0; padding:0 "> 189: </pre>
<pre style="margin:0; padding:0 "> 190: </pre>
<pre style="margin:0; padding:0 "> 191:   ////////////////</pre>
<pre style="margin:0; padding:0 "> 192:   // assertions //</pre>
<pre style="margin:0; padding:0 "> 193:   ////////////////</pre>
<pre style="margin:0; padding:0 "> 194: </pre>
<pre style="margin:0; padding:0 "> 195:   // check whether all outputs have a good known state after reset</pre>
<pre style="margin:0; padding:0 "> 196:   `ASSERT_KNOWN(Alert