Analysis of SEU effects in a pipelined processor