Assertion: multiplexer's output | /r/HasProperty | assigned to either a/b/c/d
Facets:
value: always
type: DEGREE
value: based on value in sel
type: OTHER
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 ;