Electron is right, some satellite receivers include an ATSC (OTA DTV) tuner.
If yours does not, there are products such as the
Channel Master CM7400 as well as the
CM7001 which would provide HDMI interface to your AV receiver.
Centronix also has a stand alone tuner with HDMI output.
Home Theater PC technology is also an option with a much wider array of ATSC tuners to choose from.