AutoESL 2011.3 - A user guide is provided with the tool installation.
AutoESL 2011.4 - A user guide is provided with the tool installation.
AutoESL 2011.4.2 - A user guide is provided with the tool installation.
AutoESL 2012.1 - A user guide, Coreand Operator Guide, Tutorial: Introduction, Tutorial: Integrating with EDK, and Coding Style Guide are provided with the tool installation.
Vivado HLS - Documentation is available online and can be accessed through the Xilinx Documentation Navigator application, or go to: www.xilinx.com -> Documentation (at the top of the page) -> click the Design Tools tab -> Vivado Design Suite section.