related documents An automated SAT-based method for the design of on-chip bit-flip detectors Conferences