A Markovian Approach for Detecting Failures in the Xilinx SEM core | IEEE Conference Publication | IEEE Xplore