Subject: Re: More on ISSUE 1.7, More on Context Sensitivity Proposals
From: Stickley, John (john_stickley@mentorg.com)
Date: Tue Nov 26 2002 - 08:19:08 PST
Andrzej,
I agree with you for the SV-to-C direction.
But I was making my case only for the C-to-SV direction.
In this case, I think there is always context is the point I was making.
-- johnS
Andrzej Litwiniuk wrote:
Can We Remove the context Keyword ?
One final point for C-to-SV calls is that the context keyword itself
is probably no longer required in the export declaration.
This is because all C-to-SV calls are part of some context.
C-to-SV "free functions" are part of root context. We can
follow the convention that the dSvContext handle for root can
be NULL. Or it can be whatever is explicitly returned from
tf_mipname( "$root" ) (which may be vendor specific).
-- johnS
The keyword "context" is required for the sake of performance.
In order for tf_mipname() function to work, SV-to-C call must be
properly instrumented (the proper context must be set on SV side).
Such instrumentation is unnecessary for calls to simple C functions
that are not going to call SV.
Andrzej
--This email may contain material that is confidential, privileged
and/or attorney work product for the sole use of the intended
recipient. Any review, reliance or distribution by others or
forwarding without express permission is strictly prohibited.
If you are not the intended recipient, please contact the sender
and delete all copies.
__
______ | \
______________________/ \__ / \
\ H Dome ___/ |
John Stickley E | a __ ___/ / \____
Principal Engineer l | l | \ /
Verification Solutions Group | f | \/ ____
Mentor Graphics Corp. - MED C \ -- / /
17 E. Cedar Place a \ __/ / /
Ramsey, NJ 07446 p | / ___/
| / /
mailto:John_Stickley@mentor.com <mailto:John_Stickley@mentor.com> \ /
Phone: (201)818-2585 \ /
---------
This archive was generated by hypermail 2b28 : Tue Nov 26 2002 - 08:23:15 PST