Assertion list
schottky diode (subgroup of diode ) → HasProperty

Results from Ascent++: 1
schottky diodeHasProperty low 0.68