Lo mas parecido a lo que tú dices es: O bien un receptor TDT que tenga salida HDMI y que permiten escalar la imagen, o bien un dvd grabador con TDT que también escale por HDMI. Si buscas en el google encontrarás tanto uno como lo otro y además, en este mismo foro, tienes un apartado que habla de los grabadores donde también tendrás información.