An automated SAT-based method for the design of on-chip bit-flip detectors | IEEE Conference Publication | IEEE Xplore