Verification of soft error detection mechanism through fault injection on hardware emulation platform. - Oscar Bailan; Umberto Rossi; Anne Wantens; Jean-Marc Daveau; Salvatore Nappi; Philippe Roche (DSN Workshops, 2010)