High-level synthesis for multi-cycle transient fault tolerant datapaths. - Tomoo Inoue; Hayato Henmi; Yuki Yoshikawa; Hideyuki Ichihara (IOLTS, 2011)