Assertion list for term "selected by byte_sel".
Results from Ascent++: 2
bit (aspect of byte) → ReceivesAction → selected by byte_sel 0.27
bit → ReceivesAction → selected by byte_sel 0.27