A partial redundant fault-secure high-level synthesis algorithm for RDR architectures | IEEE Conference Publication | IEEE Xplore