What are the common coverage points for AXI verification? How do you model interleaved transactions in testbenches? How can you connect multiple masters and slaves in an AXI interconnect? Explain how read and write transactions are independent in AXI. Describe the sequence of signals in a write transaction.