Assertion: microprocessor's address | /r/HasProperty | available in time for tag compare
Facets:
value: for tag compare
type: PURPOSE
Source sentences:
text: If the TLB lookup can finish before the cache RAM lookup, then the physical address is available in time for tag compare, and there is no need for virtual tagging.