Can you please help me in writing assertions to take care on multiple transfer in APB bus?
The APB protocol does not have any concept of bursts, each transfer is treated as a separate transfer unrelated to previous transfers, and you can only have one active transfer on the APB at any one time, so your assertions should not have to consider "multiple transfers".
What do you mean by "multiple transfer", and what would you want your assertion to test in this respect ?
when first transfer is completed and pready, psel is high and penable is low.
we can send another transfer to same slave. (since psel is already high), it has not reached the IDLE State, it will follow from set-up state.
likewise if i need to send multiple write/read to single slave, how to handle that in assertion?