That document is specifying the requirements for the SoC at the heart of the HiFive1 board. For the board all you need is 5v applied to the micro-USB port. You can power it standalone by using something like a phone charger, or when you plug it into your computer to program that USB connection will supply the requisite power.
You can also power it via the barrel connector for driving higher current loads but USB power is more ubiquitous.
External Power Supply
While the USB A to Micro-B cable is necessary for programming and communicating with the
HiFive1, the board can run off of an external 7-12V DC supply as well, or a USB power supply or
battery pack