Re: [sv-ac] AC 196:

Well said Adam!
Ben Cohen

---
In a message dated 11/18/2004 11:29:48 AM Eastern Standard Time, Adam Krolnik <krolnik@lsil.com> writes:
>
>
>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"
>
>
>
>
-- 
--