Assertion list for term "a multiplexor circuit".

Results from Ascent++: 1
interface IsAa multiplexor circuit 0.25