a PWM waveform is some % (duty cycle) at some constant frequency.
PWM will not generate a single pulse. it might be easier to simply set a pin HIGH and then LOW after a 25 msec delay, delay(25)
the output is typically to the Vcc of the chip, 5V, but a pulse between 5 and 15V requires an external circuit