FPGA Based Control Flow Checking