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

SystemVerilog
,
4

In reply to Srini @ CVCblr.com:

Hi Srini Sir,

I have used the property you have suggested but there also only first time the error is getting printed.

Thanks & regards,
sanjoy