Re: [sv-ac] AC 196:

Hello John, Hillel;

John wrote:

"Do you think that the inconvenience of specifying reference
arguments explicitly outweighs the convenience of being
able to have value arguments?"

I do believe this.

Pass by reference must be the default (as it is when no types are provided.) Since we
already have the ability to obtain pass by value through the use of local variables, I
see no necessity to add this highly complicating feature to typed formal arguments.

It will be a serious detraction to convincing engineers to use assertions because of
the ease of creating the wrong semantics.

      Adam Krolnik
      Verification Mgr.
      LSI Logic Corp.
      Plano TX. 75074
      Co-author "Assertion-Based Design"
Received on Thu Nov 18 08:30:01 2004