Assertion list
output (aspect of multiplexer ) → HasA
Results from Ascent++: 2
output → HasA → a feedback loop 0.25
output → HasA → a voltage of 3.4 v 0.25