The same aclk that is connected to the AXI Master and AXI Slave should also
be connected to the AXI Protocol Checker.
The aclk input is also used by the optional AXI4-Lite
control register slave interface. By connecting to the control interface through an AXI
Interconnect IP, the Interconnect IP automatically converts from the clock domain of the
AXI4-Lite network, if different.