Re: [sv-ac] call to vote on 1533

Hi Dmitry:

This is what I wrote to Manisha:

   In 1667, we now have:
   
      The data type of an assertion variable declaration shall be
      specified explicitly. The data type shall be one of the types
      allowed within assertions as defined in Subclause 16.5.1.
   
   Does this resolve 1533?  

16.5.1 specifically disallows class types.

J.H.


> X-ExtLoop1: 1
> X-IronPort-AV: E=Sophos;i="4.21,409,1188802800"; 
>    d="scan'208";a="202562176"
> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Tue, 13 Nov 2007 10:29:52 +0200
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: [sv-ac] call to vote on 1533
> Thread-Index: AcghRzPdNpgwOnEHTiyL4all4webnwEh5IYw
> From: "Korchemny, Dmitry" <dmitry.korchemny@intel.com>
> X-OriginalArrivalTime: 13 Nov 2007 08:30:03.0490 (UTC) FILETIME=[6352FC20:01C825CF]
> 
> Hi John,
> 
> Where does 1667 specify whether local variables may be class instances?
> 
> Thanks,
> Dmitry
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
> Behalf Of John Havlicek
> Sent: Wednesday, November 07, 2007 4:04 PM
> To: sv-ac@server.eda.org
> Subject: [sv-ac] call to vote on 1533
> 
> Hi Folks:
> 
> This is the call to vote on the state change to "resolved,duplicate"
> for Mantis 1533.
> 
> The rationale is that 1667 has clarified the types that may be
> declared for local variables, and so the issue raised in 1533 has
> already been solved.
> 
> Please vote if you are eligible.  See the details below.
> 
> J=2EH.
> 
> ------------------------------------------------------------------------
> ----------
> Ballot on Mantis 1533
> 
> - Called on 2007-11-07, final ballots due by 2007-11-14 T 23:59-08:00.
> 
>  v[xxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)
> 
>  n[--------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
> (Synopsys)
>  v[-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale -
> Chair)
>  v[xxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel -
> Co-Chair)
>  v[xxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha
> (Mentor Graphics)
>  n[----------------------xxxxx-------x-xx-x-] Jiang Long (Mentor
> Graphics)
>  n[-x------------x--xxx.....................] Joseph Lu (Altera)
>  v[xxxxxxxxxxx..............................] Johan Martensson (Jasper)
>  n[-------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
>  v[xx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
>  n[-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
>  n[-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
> Graphics)
>  v[-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
>  v[x-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
> Microsystems)
>    |----------------------------------------- attendance on 2007-11-06
>  |------------------------------------------- voting eligibility for
> this ballot
> |-------------------------------------------- email ballots received
> 
>         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 a 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.
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
> 
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.

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