Subject: Re: [sv-ac] final proposals in plain text
From: John Havlicek (john.havlicek@motorola.com)
Date: Tue Dec 09 2003 - 21:54:21 PST
Hi Bassam:
Thanks for your comment. I am just getting out from under a great
pile of email that came in as I was focussed on finishing my proposals.
Right now, I would like to defer editorial issues (of which I think
this is one) just to keep the swirl on the revisions limited as people
look over the proposals and we head into the voting. I will be happy
to work with you and the rest of the committee to make the final editorial
revisions for the LRM changes after we take our vote on the proposals.
If you think this issue impacts the balloting the proposal, please let
me know and we can try to work it out in the next day or two.
Best regards,
John H.
>
> Thanks John.
>
> I was just skimming this, and a quick suggestion to consider in the
> recursion proposal write-up: may be you can rewrite in the informal part
> (e.g. "In the case of mutually recursive properties, all recursive
> instances must occur after positive advances in time...") what you call
> "mutually recursive" to say something like "recurs[ive|ion] chain [of 1
> or more properties]" seems to me that's more common terminology, and
> easier to parse :-)!
>
> -Bassam.
>
> --
> Dr. Bassam Tabbara
> Technical Manager, R&D
> Novas Software, Inc.
>
> http://www.novas.com
> (408) 467-7893
>
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On
> > Behalf Of John Havlicek
> > Sent: Monday, December 08, 2003 9:00 AM
> > To: roy.armoni@intel.com
> > Cc: john.havlicek@motorola.com; sv-ac@eda.org
> > Subject: Re: [sv-ac] final proposals in plain text
> >
> >
> > Roy:
> >
> > I just resent the .tar with "xx" in place of "??".
> >
> > Best regards,
> >
> > John H.
> >
This archive was generated by hypermail 2b28 : Tue Dec 09 2003 - 21:54:55 PST