Assertion: microprocessor's address | /r/HasProperty | translated into physical address
Facets:
value: later on in the pipeline
type: TEMPORAL
value: by the tlb
type: OTHER
Source sentences:
text: Later on in the pipeline, the virtual address is translated into a physical address by the TLB, and the physical tag is read (just one, as the vhint supplies which way of the cache to read).