The ‘format’ that covers all bases is HDCAM SR, and none of the cameras you listed have codecs that pass broadcast grade (of the networks you mentioned), without the use of an external recorder (F3, EX3 only).
Of these two, the EX3 fails due to small sensor size. The only broadcast capable camera is the F3, with an external recorder. Take a look at the PMW-200. It might be within budget. Also, the Nikon D4/1DX/1DC (if you need DSLRs).
All said and done, broadcasters often ignore their own specifications, but it would be a mistake for an ‘outsider’ to assume it might benefit them somehow. Get your gear ‘cleared’ before you start.
Get the Free Comprehensive Guide to Rigging ANY Camera – one guide to rig them all – DSLRs to Reds to the Arri Alexa.