Assertion list for term "receive enable signal".

Results from Ascent++: 1
gate CapableOfreceive enable signal 0.38