Assertion: microprocessor's address | /r/HasProperty | generated by the program
Facets:
value: in main memory
type: LOCATION
value: into physical addresses
type: OTHER
Source sentences:
text: Virtual memory requires the processor to translate virtual addresses generated by the program into physical addresses in main memory.