Re: [sv-bc] Serious issue with default expressions for task and function arguments

>     The default_value is an expression. The expression is evaluated in
>     the scope of the caller each time the subroutine is called. The
>     elements of the expression must be visible at the scope of subroutine

Here's another example:

function f(integer x = p1);
   return x;
endfunction

module m1(...);
    parameter p1 = 1;
    assign q = f();	// q == 1
endmodule

module m1(...);
    parameter p1 = 2;
    assign q = f();	// q == 2
endmodule

In this case there is no p1 visible at the point of compilation
of function f.  Is this legal?  Is SV adopting dynamic scoping? :-)

Paul