RE: [sv-ac] RE: call to vote on 2250

I vote yes on 2250

Doron

>>-----Original Message-----
>>From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
On
>>Behalf Of Korchemny, Dmitry
>>Sent: Wednesday, January 30, 2008 9:59 AM
>>To: Bassam Tabbara; john.havlicek@freescale.com; sv-ac@server.eda.org
>>Cc: Bustan, Doron; eduard.cerny@synopsys.com;
yaniv.fais@freescale.com;
>>Manisha_Kulshrestha@mentor.com; johan.martensson@jasper-da.com;
>>piper@cadence.com; Seligman, Erik; thomas.thatcher@sun.com
>>Subject: [sv-ac] RE: call to vote on 2250
>>
>>Sorry, Bassam,
>>
>>I updated the proposal as soon as you sent me your comments, but
Mantis
>>was then inaccessible, and I forgot to upload the new version
>>afterwards. Now it is there.
>>
>>Dmitry
>>
>>-----Original Message-----
>>From: Bassam Tabbara [mailto:Bassam.Tabbara@synopsys.com]
>>Sent: Wednesday, January 30, 2008 9:01 AM
>>To: john.havlicek@freescale.com; sv-ac@eda.org
>>Cc: Bustan, Doron; eduard.cerny@synopsys.COM;
yaniv.fais@freescale.com;
>>Korchemny, Dmitry; Manisha_Kulshrestha@mentor.com;
>>johan.martensson@jasper-da.com; piper@cadence.com; Seligman, Erik;
>>thomas.thatcher@sun.com
>>Subject: RE: call to vote on 2250
>>
>>I vote yes, the fixes I suggested yesterday are not posted on mantis
yet
>>it seems:
>>
>>==
>>** Some fixup to notes (see above)
>>"- vpiNextOp: Arguments shall be: property, constant. constant shall
>>only be given if different from 1.
>>- vpiAlwaysOp and vpiEventuallyOp: Arguments shall be: property, left
>>range, right range.
>>
>>3) vpiOpStrong is valid only for operations vpiNextOp, vpiAlwaysOp,
>>vpiEventuallyOp, vpiUntilOp, vpiUntilWithOp and for sequence
expression.
>>vpiOpStrong shall return TRUE to indicate the strong version of the
>>corresponding operator."
>>
>>** Another edit is "operation" should NOT be bold (seems to be in pdf
in
>>before/after diagrams albeit it's a font issue in pdf (not in blue)
...)
>>
>>** Another needed edit to ADD to 36.50 is: Add "property inst" at
bottom
>>of RHS under "sequence inst". This is a bug it should've always been
>>there, I just noticed it.
>>
>>** Another suggested edit is to remove "#=#" notation from comment in
>>case we come up with better notation in 1932, decouple the two:
>>#define vpiNonOverlapFollowedByOp editor to fill /* overlapped
>>followed_by operator */
>>
>>
>>Thx.
>>-Bassam.
>>
>>-----Original Message-----
>>From: John Havlicek [mailto:john.havlicek@freescale.com]
>>Sent: Tuesday, January 29, 2008 7:29 PM
>>To: sv-ac@eda.org
>>Cc: doron.bustan@intel.com; eduard.cerny@synopsys.COM;
>>yaniv.fais@freescale.com; john.havlicek@freescale.com;
>>dmitry.korchemny@intel.com; Manisha_Kulshrestha@mentor.com;
>>johan.martensson@jasper-da.com; piper@cadence.com;
>>erik.seligman@intel.com; bassam.tabbara@synopsys.COM;
>>thomas.thatcher@sun.com
>>Subject: call to vote on 2250
>>
>>Hi Folks:
>>
>>This is the call to vote on the proposal for Mantis 2250.
>>
>>The document on Mantis is
>>
>>   2250_LTL_VPI_080127dk.pdf
>>
>>Please vote if you are eligible.  See details below.
>>
>>J.H.
>>
>>----------------------------------------------------------------------
--
>>----------
>>Ballot on Mantis 2250
>>
>>- Called on 2008-01-29, final ballots due by 2008-02-04 T 23:59-08:00.
>>
>> v[xxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
>>(Intel)
>> v[xxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
>>(Synopsys)
>> n[------------------------x-xxx---------x-x-xxx-x---x] Surrendra
Dudani
>>(Synopsys)  v[-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------]
Yaniv
>>Fais (Freescale)
t[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
>>John Havlicek (Freescale - Chair)
>>v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
Korchemny
>>(Intel - Co-Chair)
>>v[xxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
>>Kulshrestha (Mentor Graphics)
>>n[-x-------------------------------------------------] Ah-Lam Lee
>>(Qualcomm)  n[--------------------------------xxxxx-------x-xx-x-]
Jiang
>>Long (Mentor Graphics)
>>n[-----------x------------x--xxx.....................] Joseph Lu
>>(Altera)  n[--xxxxxxxxxxxxxxxxxxx..............................] Johan
>>Martensson (Jasper)
>>n[-----------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
>>(Freescale)  v[xxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx]
Lisa
>>Piper (Cadence)
v[xxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................]
>>Erik Seligman (Intel)
>>n[---------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh
(Mentor
>>Graphics)  v[x-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx]
Bassam
>>Tabbara (Synopsys)
>>v[xxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher
(Sun
>>Microsystems)
>>   |--------------------------------------------------- attendance on
>>2008-01-29
>> |----------------------------------------------------- voting
>>eligibility for this ballot
>>|------------------------------------------------------ e-mail votes
>>|received
>>
>>        Legend:
>>                x = attended
>>                - = missed
>>                r = represented
>>                . = not yet a member
>>                v = valid voter (2 out of last 3 or 3/4 overall)
>>                n = not a valid voter
>>                t = chair eligible to vote only to make or break a tie
>>---------------------------------------------------------------------
>>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.
>>

---------------------------------------------------------------------
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.