On-line detection of control-flow errors in SoCs by means of an infrastructure IP core | IEEE Conference Publication | IEEE Xplore