Delivering error detection capabilities into a field programmable device: the HORUS processor case study | Publicación