[sv-bc] Query regading randsequence

Hello,
Which production_identifiers are visible in code block within the 
randsequence ?
For a given testcases-
randsequence()
                   Start   :  opr1 opr2 { mul_out2 = mul; };  // Is it 
valid to use mul here?
                                                 
                   bit [7 : 0] opr1    :  add|sub{sub_out3=opr1; } ; 
//Is it valid to use opr1 here?
                   bit [7 : 0] add :  {
                                         return (in1+in2);
                                      };
                   bit [7 : 0] sub :  {
                                         return (in1-in2);
                                      };
                   logic [7 : 0] mul :  {
                                         return (in1 * in2);
                                      };
                   bit [7:0] opr2     :  mul|add{sub_out3=opr1;}; //Is 
it valid to use opr1 here?

              endsequence

LRM is not clear for this case and behaviors of all standard simulators 
are very confusing.

Thanks and regards,
Moumita



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.