Detection of fault in processor