HLshield: a reliability enhancement framework for high-level synthesis.