Assertion list for term "stored in corresponding registers".
Results from Ascent++: 1
digital signal (subgroup of signal) → ReceivesAction → stored in corresponding registers 0.34