The AXI4-Lite signals (s_axi_*) are described in the Vivado Design Suite: AXI Reference Guide (UG1037).