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

Hi Doron,

Please, see my comments below. I will publish the new version when I
address Manisha's comments.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Bustan, Doron
Sent: Tuesday, December 18, 2007 9:27 AM
To: john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 1900

My comments:

1. At 16.18.2 I think that the "checker_item at the syntax box should be

   "checker_or_generate_item".

[Korchemny, Dmitry] Fixed.

2. At 16.18.4
  The sentence 

   "The always_check and initial_check procedures impose the restriction

   that they contain one and only one event control and no blocking
timing 
   controls."

   Should be rewritten - "exactly one clocking event?"

[Korchemny, Dmitry] There may be several clocking events in these
procedures, e.g., always_check(@clk1 or @clk2).

The suggested definition is consistent with the definition of always_ff
(Subclause 9.2.2.4): " The always_ff procedure imposes the restriction
that it contains one and only one event control and no blocking timing
controls."

3. At 16.18.5 replace
 
   "In the latter case they are called free variables" 

    With

   "In this case they are called free variables"

[Korchemny, Dmitry] Done.

4. At 16.18.5

   Replace

   "m3: assume property (!$rising_gclk(flag) |-> valid);"

   With

   "m3: assume property ($rising_gclk(flag) |-> valid);"

[Korchemny, Dmitry] Fixed.


>>-----Original Message-----
>>From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
On
>>Behalf Of John Havlicek
>>Sent: Thursday, December 13, 2007 2:49 AM
>>To: sv-ac@server.eda.org
>>Subject: [sv-ac] call to vote on 1900
>>
>>Hi Folks:
>>
>>This is the call to vote on the proposal for Mantis 1900.
>>
>>This ballot will close on 2007-12-17 as we discussed in our
>>meeting on 2007-12-11.
>>
>>The document on Mantis is
>>
>>   checkers_071209dk.pdf
>>
>>Please vote if you are eligible.  See the details below.
>>
>>J.H.
>>
>>----------------------------------------------------------------------
----
>>--------
>>Ballot on Mantis 1900
>>
>>- Called on 2007-12-12, final ballots due by 2007-12-17 T 23:59-08:00.
>>
>> v[xxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
>> v[xx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)
>> n[-------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
>>(Synopsys)
>> v[xxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
>> t[x--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
>>(Freescale - Chair)
>> v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel
>>- Co-Chair)
>> v[xx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha
>>(Mentor Graphics)
>> n[---------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor
>>Graphics)
>> n[------x------------x--xxx.....................] Joseph Lu (Altera)
>> v[xxxxxxxxxxxxxxxx..............................] Johan Martensson
>>(Jasper)
>> n[------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
>>(Freescale)
>> v[xx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
>> v[xxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
>> n[----x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
>>Graphics)
>> v[xxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
>>(Synopsys)
>> v[xxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
>>Microsystems)
>>   |--------------------------------------------- attendance on
2007-12-11
>> |----------------------------------------------- voting eligibility
for
>>this ballot
>>|------------------------------------------------ email ballots
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.