SVA for AHB protocol violations - Read bus should not get data when write transaction is going on

In reply to sanjay864u:

Yes, for the address phase my above code should do the job for you. For extended data phases (waits, splits etc.) you will need some custom logic to indicate pending wait_xfer and use that signal in a similar property.

HTH
Srini
www.verifworks.com