Energy efficient active cooling of integrated circuits using embedded thermoelectric devices