Ascent++
Search
breakdown voltage
aspect of
diode
,
1
assertions
HasProperty
1
equal
0.25