Thermal verification on FPGAs | Publicación