This 5 V x 8 A power supply was found in Siliconix documentation. The unit operates with a 24 to 32 V input and its switching frequency is 150 kHz.