In reply to dave_59:
Hello Sir,
can you please explain to me what is mean by the zero after the same cycle implication “|-> 0” in this property :
$rose(req[0]) ##1 (~gnt[0] throughout (gnt[1])[->1]) |-> 0;
Thank you in advance.
In reply to dave_59:
Hello Sir,
can you please explain to me what is mean by the zero after the same cycle implication “|-> 0” in this property :
$rose(req[0]) ##1 (~gnt[0] throughout (gnt[1])[->1]) |-> 0;
Thank you in advance.