uts, except for data as that may be partially X in simulation</pre>
<pre style="margin:0; padding:0 "> 126:   // e.g. when used on a BUS</pre>
<pre style="margin:0; padding:0 "> 127:   `ASSERT_KNOWN(ValidKnown_A, valid_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 128:   `ASSERT_KNOWN(GrantKnown_A, gnt_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 129:   `ASSERT_KNOWN(IdxKnown_A, idx_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 130: </pre>
<pre style="margin:0; pad