Timing Fault Detection in FPGA-Based Circuits