Assertion list for term "correspond to failed memory cell".

Results from Ascent++: 1
address CapableOfcorrespond to failed memory cell 0.31