can hdmi be driven with an 8bit mcu at 1.3Ghz ?

a mate told me that there is some variant of PIC16 that is somehow clockable at 1.3Ghz ... can you drive HDMI with that ? (not that you have nearly the bear minimum enough memory anyway , but just to draw a test screen)