Re: [sv-ac] Semantics of "calling subroutines on match of a seque nce" is not well defined.

Bassam,


> Ed: I would not want us to get distracted by terms, of course they are
> separate threads that's not the point, if easier my use of "join" here
> means a *flow join* i.e. there is a flow point where things are agreed
> upon -- I say this *particularly* because I am viewing the $display
> issue in light of local var flow, that's the key point, and it makes no
> difference when it comes to visibility inside whether I am doing a
> disjunctive or a conjunctive join.
>
> Doron: I think the $display in the rest of the sequence should not "see"
> the inside. You know a simple argument for this can be made if you add
> distinct vars along the branches, the $display outside should not have
> access to the individual vars (they get killed at the flow join). If you
> agree then that's it, that's the general rule. If you want to see the
> values inside, add a $display within.
>
The LRM specifically defines which local variables flow out of 2 "ORed"
sub-sequences. The local variables that flow out of (s1 or s2)  is 
exactly the
intersection of the local variables flowing out of s1 and the local 
variables
flowing out of s2 (Section E.3.4 in the LRM).

Thanks

Doron