Delivering error detection capabilities into a field programmable device: the HORUS processor case study | IEEE Conference Publication | IEEE Xplore