Assertion list
avalanche diode (subgroup of diode ) → ReceivesAction
Results from Ascent++: 1
avalanche diode → ReceivesAction → designed to break down at well-… 0.68