[sv-ac] 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

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