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

Hi Manisha,

Thank you for your review. I updated the proposal according to your
notes and uploaded it into Mantis (checkers_080121dk.pdf).

Please, see my comments below.

Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Kulshrestha, Manisha
Sent: Monday, January 21, 2008 12:14 PM
To: john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 1900

HI Dimitry,

Here are few more things I noticed while reviewing the latest version:

1. The checkers allow default clocking declarations in them but default
clocking section (14.12 Default clocking) does not mention checkers as
one of the places where default clocking can be specified.

[Korchemny, Dmitry] Modified the subclause 14.12.

I think explanation is needed about how checkers inside checkers or
checkers in modules etc. will inherit default clocking declaration. I
think same
will apply to default disable iff also.

[Korchemny, Dmitry] Such an explanation already exists. See the end of
the subclause 16.18.2.

[Korchemny, Dmitry] I noticed that some examples were lacking the
trailing endclocking and added them.

2. On page 9, "Default clocking and disable declarations." should be
"Default clocking and disable iff declarations."

[Korchemny, Dmitry] Fixed. Also "Clock and disable context" -> "Clock
and disable iff context"
	
3. Now after passing of 1667, the property_port_list will have:

property_port_item ::=
{ attribute_instance } [ local [ property_lvar_port_direction ] ]
property_formal_type port_identifier
{variable_dimension} [ = property_actual_arg ]

Since checkers port list just refers to property port list, should it
say that this new syntax for local vars is not valid for checkers ?

[Korchemny, Dmitry] I updated the definition in case when 1667 is
approved.

4. On page 10, it says "Checkers may be instantiated inside modules,
programs, interfaces, and other checkers, but modules,
interfaces and programs.". This sentence does not look complete.

[Korchemny, Dmitry] Fixed: " but modules, interfaces and programs shall
not be instantiated inside checkers"

Thanks.
Manisha

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

Hi Folks:

This is the call to vote on the revised version of 1900 that addresses
the friendly amendment from Manisha and other comments that were made 
during the last balloting period.

The document on Mantis is 

   checkers_080115dk.pdf

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

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 1900

- Called on 2008-01-16, final ballots due by 2008-01-21 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[----------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)
 v[xxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
 t[xxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)
 v[xxxxx-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[xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)
 n[---------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
 v[xxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
 v[xxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
 n[-------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)
 v[xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)
 v[xxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |------------------------------------------------- attendance on
2008-01-15
 |--------------------------------------------------- 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.


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



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