Subject: RE: [sv-cc] Updated LRM
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Tue Mar 18 2003 - 08:50:28 PST
Doug,
Whatever the problem was, I'll fix it by Wednesday evening.
Many apologies,
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: owner-sv-cc@eda.org [mailto:owner-sv-cc@eda.org]On Behalf Of
Warmke, Doug
Sent: Tuesday, March 18, 2003 11:34 AM
To: 'Joao.Geada@synopsys.COM'
Cc: sv-cc
Subject: RE: [sv-cc] Updated LRM
Joao,
Andrzej had requested that someone else handle inserting context
related text into the LRM. I took that action at our weekly
meeting two weeks ago. Last weekend I worked 20 hours to make
LRM edits, with change bars and the customary text highlighting.
It was a lot of work and I feel like I made a lot of improvements.
I sent all the changes to Andrzej in Frame format and I sent the
PDF to committee members in time for our meeting last week.
At least three SV-CC members reviewed my "rev2" edits I
made and had constructive comments. I'm not really sure how
you could have missed all that(?)
Please make sure to work with Andrzej and Phil to get those
edits into the formal LRM. Actually I took the exact thing
you sent out on the reflector yesterday (rev1) and only added
to it. More work is needed based on discussion since then.
I think you can use my versions of the Frame as a starting
point, since the only things I deleted/inserted were agreed
upon and requested by committee members. As I said, more
work is needed. But the rev2 versions are a lot closer to
the final product than the rev1 versions you published
yesterday.
Regards,
Doug
> -----Original Message-----
> From: Joao Geada [mailto:Joao.Geada@synopsys.com]
> Sent: Tuesday, March 18, 2003 8:21 AM
> To: Warmke, Doug
> Cc: sv-cc
> Subject: RE: [sv-cc] Updated LRM
>
>
> 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:51:39 PST