If you hire a skilled engineer who knows how to do the simulations those  numbers should be acurate enough. At least you could  see how many cores fit into  this or that fpga  etc. BTW its very unlikely that your  hwdeveloper has not some hardware  to test the design. 'Exact' numbers would also depend on the schematic for the power supply which may be different from the one used on the development board.

I wonder the NDA allows you to disclose  you have to pay 80 BTC, as  prices are usually also subject to NDAs.