Assertion list for term "controlled by the interleave state signal".
Results from Ascent++: 1
multiplexer → ReceivesAction → controlled by the interleave state signal 0.25