Assertion list for term "protected in hardware".

Results from Ascent++: 1
key ReceivesActionprotected in hardware 0.32