A first address compare circuit compares {HEAD ~ a received address} for {TAIL ~ the first memory} with the first redundant address 
for
A first address compare circuit compares { HEAD ~ a received address } for { TAIL ~ the first memory } with the first redundant address
OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH