Subject: [sv-ac] Straw poll on SV-AC extension proposals
From: Arif Samad (Arif.Samad@synopsys.com)
Date: Mon Nov 10 2003 - 23:58:35 PST
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 : Mon Nov 10 2003 - 23:59:50 PST