Assertion: microprocessor's address | /r/HasProperty | no need
Facets:
value: for virtual tagging
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.