Subject: RE: [sv-cc] Updated LRM
From: Warmke, Doug (doug_warmke@mentorg.com)
Date: Tue Mar 18 2003 - 09:08:20 PST
Thanks Joao!
> -----Original Message-----
> From: Joao Geada [mailto:Joao.Geada@synopsys.com]
> Sent: Tuesday, March 18, 2003 8:50 AM
> To: Warmke, Doug; Joao.Geada@synopsys.COM
> Cc: sv-cc
> Subject: RE: [sv-cc] Updated LRM
>
>
> 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 - 09:09:07 PST