High-level synthesis of error detecting cores through low-cost modulo-3 shadow datapaths. - Keith A. Campbell; Pranay Vissa; David Z. Pan; Deming Chen (DAC, 2015)