Assertion list
output impedance (aspect of amplifier ) → HasProperty

Results from Ascent++: 2
output impedanceHasProperty low 0.79
output impedanceHasProperty high 0.67