Implementations of AXI-4S registers