Automated detection and verification of parity-protected memory elementsEli ArbelShlomit Koyfmanet al.2014ICCAD 2014