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