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

Hi Tom,

I updated the checker proposal to be consistent with 2091 (Where
concurrent assertions may be placed), but I haven't added a reference to
16.4 in the checker proposal, though. The reason is that the information
about the checker instantiation is more complete than the information
about assertion placement in 16.4. 2091 adds clarifications where
assertion placement is illegal, but the legal placement of assertions is
described only in the BNF.

Also, I noticed in 2091 the sentence saying that "Class methods (see
Clause 8) are only active for the lifetime of the call and therefore
shall not contain concurrent assertions ...", but since an assertion
cannot appear in functions and tasks, it automatically cannot appear in
class methods. Why is this limitation listed separately for class
methods, and is not listed for functions and tasks?

I think that the reference 16.4 should be made only when the assertion
placement is explained in more detail.

I will upload the updated version when I implement other comments I
received.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Thomas Thatcher
Sent: Friday, February 22, 2008 4:12 AM
To: john.havlicek@freescale.com
Cc: sv-ac@server.eda.org
Subject: Re: [sv-ac] call to vote on 1900

I vote yes on 1900, but with a new friendly amendment.

In the section which talks about where a checker may be instantiated,
There should be a sentence that says that the same placement 
restrictions for concurrent assertions also apply to checkers.  And put 
a reference to 16.4.

Tom

John Havlicek wrote:
> Hi Folks:
> 
> This is the call to vote on the revised proposal for 1900.
> This version makes changes that address some of Brad Pierce's
> comments.  The document on Mantis is 
> 
>    checkers_080220_dk.pdf
> 
> See details below.
> 
> J.H.
> 
>
------------------------------------------------------------------------
----------
> Ballot on Mantis 1900
> 
> - Called on 2008-02-21, final ballots due by 2008-02-24 T 23:59-08:00.
> - Please ensure that John Havlicek 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-19
>  |-------------------------------------------------------- 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.