Assertion list for term "remain in the high impedance state".

Results from Ascent++: 1
output CapableOfremain in the high impedance state 0.34