Constrained binding and scheduling of triplicated algorithm for fault tolerant datapath synthesis. - Mineo Kaneko; Yutaka Tsuboishi (ISCAS, 2014)