Doy por supuesto que pones puerto de video HDMI y en Video Outpout mode escoges por encima de 720. Si escoges menos resolución, el TVIX reconvierte a PAL o NTSC. No recomiendo poner auto, ya que si no, no forzamos el reescalado en material de SD.
Como son varios los parametros que pueden ser la causa, cuantos mas datos deis, mas factible puede resultar dar una solución. Adivinos, todavia no somos.
En principio, con esos ajustes deberia ir bien. Posibles problemas, que sea un codec todavia que le resulte problematico al TVIX, todavia hay judder con ciertos MKV de alta definición, porque no trabaja bien con ellos a 24.