Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments