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

SystemVerilog
,
10

In reply to sanjay864u:

According to AHB specification, value on HRDATA does not matter when WRITE transaction is going on. This assertion might be fine with your design, but it’ll throw unnecessary errors with other AHB compliant designs.