These referenced documents are available in the help system of S32 Design Studio 3.3:
[1] S32 Design Studio User Guide, the PDF version is available in <S32DS_install_path>/S32DS/help/pdf.
[2] S32 Configuration Tool Getting Started
The S32 SDK for S32S247TV documentation can be found in <S32DS_install_path>/S32DS/software/S32SDK_S32S_EAR_0.8.0/doc.