The code reflects the definition, assuming that rstx are intended to have priority (I would also assume this). I wonder however, if the latching operation is actually intended. Also , if a transition from addr = "01" to addr ="10" occurs, the addr = "00" action may be also triggered (and latched until reset) as well due to glitches. At least this behaviour seems to be unwanted and makes me doubt the logic definition.