Assertion list
output (aspect of amplifier ) → HasProperty
Results from Ascent++: 11
output → HasProperty → high 0.82
output → HasProperty → low 0.74
output → HasProperty → positive 0.47
output → HasProperty → zero 0.45
output → HasProperty → negative 0.42
output → HasProperty → equal 0.41
output → HasProperty → identical 0.33
output → HasProperty → clean 0.29
output → HasProperty → higher 0.29
output → HasProperty → linear 0.29
output → HasProperty → small 0.25