RE: [sv-bc] RE: [sv-ac] call to vote on Mantis 1681

This is Mantis 1846.

I am collecting the potential new keywords there.

Those I know of so far are,

1681, if passed, adds new keyword  'global'.
1728, if passed, adds new keyword  'let'.
1757, if passed, adds new keywords 'accept_on' and 'reject_on'.
1806, if passed, adds new keyword  'restrict'. 
1900, if passed, adds new keywords 'checker' and 'endchecker'.
1932, if passed, adds new keywords 'eventually', 'next', 'strong', and
'until'. 

Shalom


> -----Original Message-----
> From: owner-sv-bc@server.eda.org 
> [mailto:owner-sv-bc@server.eda.org] On Behalf Of Brad Pierce
> Sent: Wednesday, July 25, 2007 9:44 PM
> To: sv-ac@server.eda-stds.org; sv-bc@server.eda.org
> Subject: RE: [sv-bc] RE: [sv-ac] call to vote on Mantis 1681
> 
> >I also agree with Shalom that this didn't belong buried within this
> mantis item.
> 
> OK, but it must get done somehow by somebody if a new keyword 
> is to be added.
> 
> For some history, see
> 
>    http://www.eda-stds.org/sv-ac/hm/4016.html
> 
> -- Brad 
> 
> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On 
> Behalf Of Neil Korpusik
> Sent: Wednesday, July 25, 2007 11:15 AM
> To: john.havlicek@freescale.com
> Cc: dmitry.korchemny@intel.com; shalom.bresticker@intel.com; 
> Bassam.Tabbara@synopsys.COM; sv-ac@eda-stds.org; sv-bc@eda.org
> Subject: Re: [sv-bc] RE: [sv-ac] call to vote on Mantis 1681
> 
> Hi John,
> 
> I also agree with Shalom that this didn't belong buried 
> within this mantis item.
> 
> Neil
> 
> 
> 
> John Havlicek wrote On 07/25/07 04:29,:
> > Hi Dmitry:
> > 
> > I like Shalom's suggestion.
> > 
> > It seems that there are too many cooks in the kitchen.
> > 
> > If someone else has responsibility for updating the 
> `begin_keywords, 
> > let's leave it to them to take care of.
> > 
> > J.H.
> > 
> > 
> >>X-ExtLoop1: 1
> >>X-IronPort-AV: E=Sophos;i="4.16,577,1175497200"; 
> >>   d="scan'208";a="109680524"
> >>X-MimeOLE: Produced By Microsoft Exchange V6.5
> >>Content-class: urn:content-classes:message
> >>Date: Wed, 25 Jul 2007 11:14:43 +0300
> >>X-MS-Has-Attach: 
> >>X-MS-TNEF-Correlator: 
> >>Thread-Topic: [sv-bc] RE: [sv-ac] call to vote on Mantis 1681
> >>Thread-Index: AcfOJC6xSjKG3iwLR6a/4onP9mw6yAACOX4AABgqQLAAAYN6cA==
> >>From: "Korchemny, Dmitry" <dmitry.korchemny@intel.com>
> >>Cc: <sv-bc@eda.org>
> >>X-OriginalArrivalTime: 25 Jul 2007 08:15:13.0279 (UTC) 
> >>FILETIME=[ECDD50F0:01C7CE93]
> >>
> >>Hi John,
> >>
> >>What is your opinion?
> >>
> >>Thanks,
> >>Dmitry
> >>
> >>-----Original Message-----
> >>From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org]
> >>On Behalf Of Bresticker, Shalom
> >>Sent: Wednesday, July 25, 2007 10:42 AM
> >>To: Bassam Tabbara; john.havlicek@freescale.com; 
> >>sv-ac@server.eda-stds.org
> >>Cc: sv-bc@server.eda.org
> >>Subject: [sv-bc] RE: [sv-ac] call to vote on Mantis 1681
> >>
> >>I don't think that modifying the `begin_keywords section should be 
> >>within the scope of this Mantis or at all within the scope of SV-AC.
> >>
> >>Otherwise, any other proposal from this committee or any other 
> >>committee that adds a keyword will have to include those same 
> >>modifications, because any of those proposals may not pass. 
> That will 
> >>be unhealthy duplication, and in any case, not in the scope 
> of SV-AC.
> >>
> >>I think the proposal should only modify Annex B, the list 
> of current 
> >>keywords, with a note to SV-BC about it, and a note in Mantis 1846, 
> >>the issue for updating the keyword lists, as I have just done.
> >>
> >>Thanks,
> >>Shalom=20
> >>
> >>
> >>>-----Original Message-----
> >>>From: owner-sv-ac@server.eda.org=20
> >>>[mailto:owner-sv-ac@server.eda.org] On Behalf Of Bassam Tabbara
> >>>Sent: Tuesday, July 24, 2007 11:00 PM
> >>>To: john.havlicek@freescale.com; sv-ac@server.eda-stds.org
> >>>Subject: RE: [sv-ac] call to vote on Mantis 1681 =20 I vote yes. 
> >>>*VERY MINOR* friendly amendment:
> >>>=20
> >>>version_specifier ::=3D
> >>>1800-2008
> >>>1800-2005                       <<<<<<<<<< Add "|"
> >>>| 1364-2005
> >>>| 1364-2001
> >>>| 1364-2001-noconfig
> >>>| 1364-1995
> >>>=20
> >>>=20
> >>>Thx.
> >>>-Bassam.
> >>>=20
> >>>-----Original Message-----
> >>>From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] 
> On=20 Behalf 
> >>>Of John Havlicek
> >>>Sent: Tuesday, July 24, 2007 11:55 AM
> >>>To: sv-ac@eda-stds.org
> >>>Subject: [sv-ac] call to vote on Mantis 1681 =20
> >>>All:
> >>>=20
> >>>This is the call to vote on the proposal for Mantis 1681.
> >>>=20
> >>>Please vote if you are eligible.  See the details below.
> >>>=20
> >>>J.H.
> >>>=20
> >>>--------------------------------------------------------------
> >>>----------
> >>>=20
> >>>Ballot on Mantis 1681
> >>>=20
> >>>- Called on 2007-07-24, final ballots due by 23:59 PDT on 
> 2007-07-31.
> >>>=20
> >>> v[x-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) 
> >>>v[xxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)=09 
> >>>n[--x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) 
> >>>v[xxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) 
> >>>t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) 
> >>>v[xxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - 
> Co-Chair) 
> >>>n[x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor
> >>>Graphics) n[----------xxxxx-------x-xx-x-] Jiang Long (Mentor
> >>>Graphics) n[--x--xxx.....................] Joseph Lu (Altera) 
> >>>n[-------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) 
> >>>v[xxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) 
> >>>v[x-x-xxxxx-x..................] Erik Seligman (Intel) 
> >>>n[---xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) 
> >>>v[xxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) 
> >>>v[xxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
> >>>   |----------------------------- attendance on 2007-07-24
> >>> |------------------------------- voting eligibility for 
> this ballot
> >>>|-------------------------------- email ballots received
> >>>=20
> >>>=20
> >>>	Legend:
> >>>		x =3D attended
> >>>		- =3D missed
> >>>		r =3D represented
> >>>		. =3D not yet a member
> >>>		v =3D valid voter (2 out of last 3 or 3/4 overall)
> >>>		n =3D not valid voter
> >>>                t =3D chair eligible to vote only to make 
> or break a 
> >>>=
> >>
> >>tie
> >>
> >>>=20
> >>>--
> >>>This message has been scanned for viruses and dangerous content by 
> >>>MailScanner, and is believed to be clean.
> >>>=20
> >>>=20
> >>>--=20
> >>>This message has been scanned for viruses and dangerous content by 
> >>>MailScanner, and is believed to be clean.
> >>>=20
> >>
> >>--=20
> >>This message has been scanned for viruses and dangerous content by 
> >>MailScanner, and is believed to be clean.
> > 
> > 
> 
> 
> 
> --
> This message has been scanned for viruses and dangerous 
> content by MailScanner, and is believed to be clean.
> 
> 
> --
> This message has been scanned for viruses and dangerous 
> content by MailScanner, and is believed to be clean.
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.