Assertion list
voltage drop (aspect of diode ) → HasProperty
Results from Ascent++: 1
voltage drop → HasProperty → low 0.25