Assertion list for term "a random-access semiconductor memory".

Results from Ascent++: 1
main memory (subgroup of memory) IsAa random-access semiconductor memory 0.25