Assertion list
output (aspect of amplifier ) → HasA
Results from Ascent++: 2
output → HasA → a dc bias of vcc/2 0.33
output → HasA → a duty cycle 0.25