Assertion list
pin diode (subgroup of diode ) → AtLocation
Results from Ascent++: 1
pin diode → AtLocation → off state 0.68