Each die has an independent voltage controller and 12V input, so you can run whatever power supply configuration you want. Even if you have a server power supply with a higher 13V input voltage and an ATX one with a 12V output, you could run them together without contention.