On-Line Instruction-checking in Pipelined Microprocessors