Assertion list
input (aspect of multiplexer ) → HasProperty
Results from Ascent++: 5
input → HasProperty → high 0.68
input → HasProperty → true 0.41
input → HasProperty → active 0.33
input → HasProperty → low 0.33
input → HasProperty → zero 0.25