high voltage direct current subgroup of direct current, 1 assertions