[sv-ac] ballot result for 2182

Passed, Friendly amendments.

----------------------------------------------------------------------------------
Ballot on Mantis 2182

- Called on 2008-02-06, final ballots due by 2008-02-11 T 23:59-08:00.

yv[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)
yv[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)
yv[xxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[----------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[xx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
yv[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

----------------------------------------------------------------------------------
Friendly Amendments

[BT]

In 36.8 Replace diagram should show *program*.

[TT]

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?

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