I don't mean to sound snobbish, but I think you may be asking the wrong question. What you really mean to ask is how many foot-candles you'll need. For that, use the formula fc=25*stop*stop/(ISO*shutter time). This provides an good approximation.
Assuming you have a nearly 360 degree shutter angle at 1000fps your requirement equates to =25*4/(640/1000) = 156FC for standard exposure. Double this number if you use a 180-degree shutter angle. Use the photometric charts from the lighting vendors to determine what fixtures you need and at what distance. If you use diffusion then you have to take that into account as well.
In this calculation I also assumed you're using a lens measured in T-stops. If you're using a lens measured in f/stops then you need to compensate for optical losses in the lens, which may or may not be significant. I also don't know how accurate the ISO sensitivity is on the Miro since I've never used it. I've had varying degrees of ISO accuracy with different cameras. You should test that ahead of time and apply any necessary compensation.
Also, you describe this as "white limbo" which may mean you need to overexpose the background and/or character. You'll have to look at the Miro exposure range in highlights to determine how much is enough for that camera. My guess is that you'll need to overexpose the background a stop or two at the very least.
Edited by Stuart Allman, 09 January 2017 - 01:53 PM.