O artigo propõe uma metodologia automatizada para acelerar a injeção de falhas SEU em circuitos digitais, baseada na correlação entre os efeitos do modelo de falhas SEU e o modelo Stuck-At. A abordagem sugere que se um circuito é insensível a falhas Stuck-At em um flip-flop, ele também será insensível a falhas SEU no mesmo flip-flop, reduzindo o número de falhas a serem injetadas. Experimentos com cinco circuitos mostraram que a metodologia pode acelerar a injeção de