voltage aspect of diode, 80 assertions