HLshield: a reliability enhancement framework for high-level synthesis | IEEE Conference Publication | IEEE Xplore