Approximate TMR for selective error mitigation in FPGAs based on testability analysis | Publicación