In reply to vishnu_intel:
The general coding guideline in SVA is to use ##N delay when using $rose/$fell/$stable/$past etc. In your example do:
a_check_stable:assert property (@(posedge clk)
##1 $stable(d)) ;
Are you checking for a stuck-at-1/0 value on d here?
Regards
Srini
www.verifworks.com