Assertion list for term "damage the output transistors".

Results from Ascent++: 1
short circuit CapableOfdamage the output transistors 0.29