data = master.rdata;
<em class="lineno">6: </em>        state              = if slave.ready ? State::AMOStoreValid : State::AMOStoreReady;
<em class="lineno">7: </em>    }
<em class="lineno">8: </em>    State::AMOStoreReady: if master.ready {
<em class="lineno">9: </em>        state = State::AMOStoreValid;
<em class="lineno">10: </em>    }
<em class="lineno">11: </em>    State::AMOStoreValid: if master.rvalid {
<em class="lineno">12: </em>        accept_request_ff();
<em class="lineno">13: </em>    }
</pre>