Assertion list for term "single memory device".

Results from Ascent++: 1
memory IsAsingle memory device 0.31