tyle="margin:0; padding:0 "> 275:   `ASSERT_KNOWN(ReqOutKnown_A,   req_o,   clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 276:   `ASSERT_KNOWN(WeOutKnown_A,    we_o,    clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 277:   `ASSERT_KNOWN(AddrOutKnown_A,  addr_o,  clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 278:   `ASSERT_KNOWN(WdataOutKnown_A, wdata_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 279:   `ASSERT_KNOWN(WmaskOutKnown_A, wmask_o, clk_i, !rst_ni)</pre