Assertion based query

SystemVerilog
, , ,
2

In reply to atanubiswas:

save_data() function may be the culprit. Both the property might be sharing the same resource in this function.