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