We have tested the cameras using this device and while the HDMI input does not work, the SDI input works very well. 

You have to be sure to download the BMD desktop utility which will allow you to adjust which input on the Mini Recorder you wish to use, SDI or HDMI.