Assertion: microprocessor's address | /r/HasProperty | word-aligned
Facets:
value: else
type: MANNER
Source sentences:
text: The address sourced from the GPR must be word-aligned, else an exception is signaled after the instruction in the branch delay slot is executed.