Subject: Re: [sv-ac] Straw poll on SV-AC extension proposals
From: John Havlicek (john.havlicek@motorola.com)
Date: Wed Nov 12 2003 - 19:50:10 PST
All:
One of my action items from the 10-NOV-2003 meeting was to
collect together the dependencies between my various proposals.
Here are the only absolute dependencies I see:
1. If you vote for property if-else, then you must vote for
property conjunction and generalized implication.
2. If you vote for recursion, then you must vote for
property instantiation and generalized implication
Here are recommendations that I made in the proposals because
I think the features are awkward or limited if certain combinations
are not available together.
4. If you vote for property negation and property conjunction,
then you should vote for property disjuntion.
5. If you vote for property negation and property disjunction,
then you should vote for property conjunction.
6. If you vote for any of property conjunction, disjunction,
if-else, or negation, then you should vote for generalized
implication.
7. If you vote for generalized implication, then you should
vote for at least one of property conjunction, disjunction,
if-else.
8. If you vote for generalized implication, especially together
with property instantiation, and if you want to avoid
complications regarding where the negation operator can appear,
then you should vote for property negation.
Best regards,
John H.
> X-Sender: arif@pophost.synopsys.com
> Date: Mon, 10 Nov 2003 23:58:35 -0800
> From: Arif Samad<Arif.Samad@synopsys.com>
> Sender: owner-sv-ac@eda.org
> Precedence: bulk
>
> In today's SV-AC meeting we agreed to hold a "straw poll" to
> gather information about which extension proposals have widespread
> support so that they can be refined for inclusion in the LRM.
>
> The results of the straw poll are purely informational - the
> refined proposals will have to be voted on by SV-AC in
> the normal way. Moreover, the author of an extension can
> choose to refine it and bring it up for an actual vote by
> SVAC regardless of the results of the straw poll.
>
> The votes for the straw poll will be due by Sunday 11/16.
> We will discuss the results at the SVAC meeting 11/17.
>
> Please use the extension numbers on the web site to vote on
> proposals. Since, John has restructured his proposals and these
> are not yet posted on the web please vote yes on his proposals
> (from his e-mails of 11/3) by placing an x next to them below:
>
> [] accessing local variables
> [] sampling local variables
> [] clock flow
> [] generalized implication
> [] property conjunction
> [] property disjunction
> [] property if else
> [] property instances
> [] property negation
>
> Since this is a non-binding straw poll, all members who are listed
> on the minutes are free to send in their votes regardless of their current
> voting status.
>
> Regards,
>
> Arif
> ------------
This archive was generated by hypermail 2b28 : Wed Nov 12 2003 - 19:50:44 PST