Känner dessvärre ej till något sådant med just HDMI, men får man börja med att vara nyfiken varför just HDMI och inte de standarder som finns? SDI tex? Finns kamerorna redan? Ett alternativt, dock kostsamt vore ju att köra med HDMI->SDI konverter för att sedan mata in i Anycast eller valfri mixer.
Är ett av kraven att det ska vara HD, och just därför tex HDMI?
Ett program som korsat min väg inom andra användnngsområden men som påstår sig klara just det du efterfrågar, mixa kameror och spela in till disk är Wirecast från Telestream. Känns inte som en optimal lösning, men kanske kan vara värt att kika på. Tanken är i vilket fall att man kopplar in varje kamera med Firewire till datorn, dvs man behöver ganska snabbt ett separat Firewirekort med flera ingångar. Sedan använder man programvaran för att klippa mellan de olika ingångarna. Programmet klarar dessutom av att simultant spara ner till disk samt komprimera och skicka signal till streamingserver. Programmet i sig har stöd för HDV, dock har jag ingen uppfattning om hur många källor den klarar av, känns som att det blir tungt för såväl dator som programvara att hantera 3 simultana HDV-källor.