Additionally, temperature-aware testing techniques have been developed to address worst-case delay faults under high-temperature conditions. A bounded model checking (BMC)-based approach has been ...