breakdown voltage aspect of diode, 1 assertions