Verification of soft error detection mechanism through fault injection on hardware emulation platform | IEEE Conference Publication | IEEE Xplore