Subject: RE: [sv-cc] Updated LRM
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Tue Mar 18 2003 - 08:21:20 PST
Doug,
I apologize if I missed something. Which edits to which sections ?
I explicitly excluded any changes to the SV side of DPI as I have to work with
Phil to merge in several sets of changes (extern/export syntax, updates to
context semantics and usage and ensuring that SV and C sides are in agreement.
As the extern stuff was agreed on so late, I made the decision to just leave
that chapter untouched)
Specifically the working process is that Andrzej and I receive all the proposed
changes (preferably as "change this paragraph on this section on this page to
read as follows: ..."); if the change is straightforward, we pass it to Phil.
If the change reveals a difference in understanding, we bring it up to sv-cc
(mailing list or meeting) to review.
Any changes Phil makes on any chapter will be highlighted with change bars, so
that we can all see where the changes were made (and where they were missed).
Change bars will be cleared after each PDF file is sent out, so that we can
all track the changes between the revisions.
PS: I am copying sv-cc as I think we all could do with visibility into the process.
Joao
==============================================================================
Joao Geada, PhD Principal Engineer Verif Tech Group
Synopsys, Inc TEL: (508) 263-8083
344 Simarano Drive, Suite 300, FAX: (508) 263-8069
Marlboro, MA 01752, USA
==============================================================================
-----Original Message-----
From: Warmke, Doug [mailto:doug_warmke@mentorg.com]
Sent: Monday, March 17, 2003 11:58 PM
To: 'Joao.Geada@synopsys.com'
Subject: RE: [sv-cc] Updated LRM
Joao,
Thanks for sending out this draft of the LRM.
It seems that all the edits I did last weekend are not included.
Can you please explain the process here for my understanding?
Somehow I'm not comfortable that all the work I did might
not see the light of day.
Regards,
Doug
> -----Original Message-----
> From: Joao Geada [mailto:Joao.Geada@synopsys.com]
> Sent: Monday, March 17, 2003 11:18 AM
> To: sv-cc
> Subject: [sv-cc] Updated LRM
>
>
> Hi all,
>
> attached is an updated sv-cc draft LRM. The following changes are in:
> - update to assertion API (as per Bassam & Surrendra's update
> from sv-ac)
> - update to the DirectC C-layer section (includes context
> funcs + all of
> Andrzej's et all corrections and enhancements)
>
> Note that the extern/export syntax has *NOT* been put into
> the revision
> (as the final accept only happened Thursday there was not
> time to fold it into
> the lrm).
>
> Joao
>
This archive was generated by hypermail 2b28 : Tue Mar 18 2003 - 08:22:38 PST