RE: [sv-ac] reflector unreliable -- call to vote on 2182

Hi Tom,

I fixed the typo (1) and uploaded the updated version. The rest of your
comments were addressed by Bassam and Lisa in this mail thread.

Thanks,
Dmitry

-----Original Message-----
From: Thomas.Thatcher@Sun.COM [mailto:Thomas.Thatcher@Sun.COM] 
Sent: Tuesday, February 12, 2008 1:09 AM
To: john.havlicek@freescale.com
Cc: Bustan, Doron; eduard.cerny@synopsys.com; yaniv.fais@freescale.com;
Korchemny, Dmitry; Manisha_Kulshrestha@mentor.com;
johan.martensson@jasper-da.com; piper@cadence.com; Seligman, Erik;
bassam.tabbara@synopsys.com; sv-ac@eda.org; support@eda.org
Subject: Re: [sv-ac] reflector unreliable -- call to vote on 2182

I vote yes on 2182, with the following Friendly amendments:

1.  "36.4 Interface"  Shouldn't it be "36.5 Interface"?


I have a question that may turn into a friendly amendment:
The current diagrams for module and interface are being changed to add 
checkers.  However, these diagrams don't show assertions, properties or 
sequences.  Is there a reason for that?  Is that because assertions are
"Instance items"?

2.  The diagram for module shows a relationship between instance array 
and module array with module.  Likewise the diagram for Interface shows 
a relationship between instance array and interface array with 
interface.  (like this:)

	Instance array <-------->> module
	                   |
	module array <------

However, the new checker diagram shows only a relationship between 
instance array and checker

	instance array <----------->> checker

Shouldn't there be an arc for checker array as well?

	instance array <----------->> checker
	                       |
	checker array  <--------

3.  In the checkers diagram, there is an arc from checker to prop formal

decl.  Is "prop formal decl" the formal definition of a property?  Does 
this arc also belong in the diagrams for module and interface as well?

Thanks,

Tom

John Havlicek wrote:
> Hi Folks:
> 
> The reflector is unreliable.
> 
> The message below was sent Wed Feb  6 14:53:20 -0600 2008.
> 
> J.H.
> 
>
========================================================================
==========
> 
> Hi Folks:
> 
> This is the call to vote on the revised proposal for 2182.
> 
> The document on Mantis is
> 
>    2182checkersVPI_080122dk.pdf
> 
> Please vote if you are eligible.  See details below.
> 
> J.H.
> 
>
------------------------------------------------------------------------
----------
> Ballot on Mantis 2182
> 
> - Called on 2008-02-06, final ballots due by 2008-02-11 T 23:59-08:00.
> 
>  v[xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
>  v[xxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
>  n[-------------------------x-xxx---------x-x-xxx-x---x] Surrendra
Dudani (Synopsys)
>  v[x-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
>  t[xxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
Korchemny (Intel - Co-Chair)
>  v[xxxxxxxx-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)
>  n[x--xxxxxxxxxxxxxxxxxxx..............................] Johan
Martensson (Jasper)
>  n[------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
>  v[xxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
>  v[xxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
>  n[----------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh
(Mentor Graphics)
>  v[xx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam
Tabbara (Synopsys)
>  v[xxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher
(Sun Microsystems)
>    |---------------------------------------------------- attendance on
2008-02-05
>  |------------------------------------------------------ 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
> 
> 
---------------------------------------------------------------------
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.