Assertion: multiplexer's output | /r/CapableOf | begin case
Facets:
Source sentences:
text: When that happens, based on value in sel, output is assigned to either a/b/c/d always @ ( a or b or c or d or sel ) begin case ( sel ) 2'b00 : out <= a ;