Looking for solution to record the HDMI output from an Android Set Top Box. A HDMI to composite RCA convertor into a HDD recorder works but the quality is noticeably compromised.

Some TV's with recording function can record live channels but can they record from HDMI input ?
Are there any HDD recorders with HDMI input ?

Any advice input appreciated.