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

Though it is too late, but I would like to add a friendly amendment:

Instead of

"If the concurrent assertion statement appears in an always *or
always_ff* procedure, the property is always monitored. If the statement
appears in an initial procedure, then the monitoring is performed only
on the first clock tick."

should be:

"If the concurrent assertion statement appears in an always procedure,
the property is always monitored. If the statement appears in an initial
procedure, then the monitoring is performed only on the first clock
tick."

since the assertion is always monitored even if it is in always_comb or
in always_latch. Are there limitations preventing writing a concurrent
assertion in always_comb/latch? Also, as Lisa mentioned, if the font is
bold courier, then the procedure is the specific one, and if it is
italicized then it refers to all the types, so that always and initial
should be italicized.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Korchemny, Dmitry
Sent: Thursday, February 21, 2008 2:28 PM
To: john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 1698

I vote yes on 1698.

Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Wednesday, February 20, 2008 6:06 PM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 1698

Hi Folks:

This is the call to vote on the updated proposal for 1698.

The document on Mantis is

   1698_sampled_value_functions_2008_02_20_jh.pdf

Please vote if you are eligible.  See the details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 1698

- Called on 2008-02-20, final ballots due by 2008-02-25 T 23:59-08:00.
- Please ensure that Dmitry Korchemny receives your ballot.

 v[x-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[---------------------------x-xxx---------x-x-xxx-x---x] Surrendra
Dudani (Synopsys)
 v[xxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
 t[xxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
Korchemny (Intel - Co-Chair)
 v[-xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
Kulshrestha (Mentor Graphics)
 n[--x-x-------------------------------------------------] Ah-Lam Lee
(Qualcomm)
 n[-----------------------------------xxxxx-------x-xx-x-] Jiang Long
(Mentor Graphics)
 n[--------------x------------x--xxx.....................] Joseph Lu
(Altera)
 v[x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan
Martensson (Jasper)
 n[--------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
 v[xxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
 v[-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
 n[------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh
(Mentor Graphics)
 v[-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam
Tabbara (Synopsys)
 v[xxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher
(Sun Microsystems)
   |------------------------------------------------------ attendance on
2008-02-12
 |-------------------------------------------------------- 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.

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