related documents An Automated SAT-based Method for the Design of On-Chip Bit-flip Detectors Conferences