Not according to [techtoys], who has created an Arduino shield that creates an HDMI output from an SPI control input. This is a project that seems to have been around for a couple of years ...
If you are running video around your home theater, you probably use HDMI. If you are running it ... and shows a cheap SDI signal generator for an Arduino. On the face of it, SDI isn’t that ...