@(posedge aclk) disable iff (!reset) $rose(WLAST) |->##[1:$]BVALID
Is the above property sufficient to check write response channel dependency on write address and write data channel ? Do we need to write multiple separate assertions for to check response channel dependency on write address and write data channel ?