Exploration of kc-cycle transient fault-secured datapath and loop unrolling factor for control data flow graphs during high-level synthesis

Simultaneous design space exploration (DSE) of k_c-cycle transient fault-secured datapath and loop unrolling factor (UF) for control data flow graphs (CDFGs) during high-level synthesis is an unsolved problem in the literature. The aforementioned problems are solved with the following specific contributions: (i) a novel DSE methodology that explores an optimal combination of transient fault-secured datapath configuration and loop UF using particle swarm optimisation for CDFG, and (ii) the novel k_c-cycle fault secured algorithm. Finally, the proposed approach when tested on standard benchmarks yielded an optimal solution which minimises the fitness function and satisfies user constraints, as well as achieving significantly reduced cost of the final solution when compared with a recent fault-secured approach.