Assertion list
multiplexer (primary) → HasA

Results from Ascent++: 8
multiplexerHasA output 0.63
multiplexerHasA input 0.59
multiplexerHasA a plurality of inputs 0.51
multiplexerHasA first input 0.51
multiplexerHasA suitable number of ports 0.48
multiplexerHasA two inputs 0.42
multiplexerHasA first and second positions 0.37
multiplexerHasA first input terminal 0.25