formula

${\rm d}v &=& ae^{at}u {\rm d}t + e^{at}{\rm d}u\\ &=& ae^{at}u {\rm d}t + e^{at}(-au{\rm d}t - \sigma{\rm d}W_t)\\ &=& -\sigma e^{at}{\rm d}W_t$