Assertion: microprocessor's address | /r/HasProperty | calculated with adder
Facets:
Source sentences:
text: The virtual address is calculated with an adder, the relevant portion of the address extracted and used to index an SRAM, which returns the loaded data.