Hi All,
Could you please let me know can we rewrite the above property with goto repetation also as below.If not let me know.
assert property (sop |-> read [->2] intersect write [->3] intersect eop [-> 1]);
It would be a great help if someone elaborate how the multiple intersect will work with both → and = Non consecutive operator.
Thanks in advance