New rule - use simple assertion expressions

[saanvipradhan]

From: https://www.linkedin.com/posts/abdullahrabbani_axi-protocols-activity-7260988942068391936-pGyi?utm_source=share&utm_medium=member_desktop

property r_ch;
 disable iff (!rstn) 
 @(posedge clk) $rose(RVALID) |-> ( $stable(RID) 
 && $stable(RDATA)
 && $stable(RRESP)
 && $stable(RLAST)) throughout RREADY[->1];
 endproperty

 assert property (r_ch); 

Use multiple , smalelr assertions than a complex consequent. e.g.
$rose(ARVALID) |-> ( $stable(ARID) ;
$rose(ARVALID) |-> $stable(ARADDR); etc.

This would help you debug using simple log file when only one of those READ channel signals is unstable (in case of your combined AND-ed expression you would need to dump, rerun etc.)