publication venue for An Automated SAT-based Method for the Design of On-Chip Bit-flip Detectors 2017
