Hybrid Error-Detection Technique Using Assertions

Hybrid Error-Detection Technique Using Assertions... 

Hybrid Error-detection Technique using Assertions (HETA) is the third and final hybrid technique presented in this book. It was initially based in the CEDA software-based technique and its abiUty to efiSciently detect control flow errors between different BBs, and PODER and its ability to detect control flow errors inside the same BB. HETA is aimed at both FPGAs and ASICs, since it implements a non-intrasive hardware module combined with transformation rules on the program code. 

AZAMBUJA, J. ALTIERI, M. BECKER, J. KASTENSMIDT, F. HETA hybrid error-detection technique using assertions. IEEE Transactions On Nuclear Science, Los Alamitos, USA IEEE Computer Society, 2013. 

---