Subject: Re: DirectC: external modules vs. external/exported tasks
From: Stickley, John (john_stickley@mentorg.com)
Date: Wed Nov 06 2002 - 18:08:51 PST
Andrezej,
Andrzej Litwiniuk wrote:
>It's easy to observe that if C may call SV task and SV may call C task
>(i.e. a function that may block/wait/pass time), then the whole synchronization
>can be expressed in SV.
>Simple SV tasks may be defined in with wait, delay, etc.
>Such tasks can be then used on C side as synchronization primitives.
>So, C function would delay or wait by calling primitive SV task which contains
>the needed delay or wait.
>
This is an intriguing idea. In fact, this is a nice solution for
handling raw C environments
where underlying kernel to kernel synchronization is not automatically
handled or
where the C environment does not even have a "kernel" per se.
Each of these time advance primitives could essentially be task calls
from C to SV
and, voila ! You (as a user) have instantly created a time advance
facility for C
from scatch by just defining some simple SV primitive tasks. Nice idea.
Alternatively in more sophisticated cases such as where you have say a
SystemC
kernel that is automatically synchronized with the SV kernel in the
vendor supplied
infrastructure, you would not need to use these primitives. You could
then just
have your "C task" use the native SystemC mechanisms for time advance.
Either way the API itself does not get involved with time advance semantics.
And, with this "C task" solution, we probably eliminate the need for
c-modules
altogether.
-- johnS
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 \ /
Phone: (201)818-2585 \ /
---------
This archive was generated by hypermail 2b28 : Wed Nov 06 2002 - 18:12:05 PST