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