[sv-ac] ballot on 1648

Hi Folks:

Our emergency ballot on 1648 passed.  There were several
friendly amendments.  All but the last two sent by Bassam
have, in my opinion, been either resolved in
default_disable_1648.070830_dk.pdf or convincingly rebutted.

For the last two sent by Bassam, there are some coloring 
corrections needed in the new syntax box in 16.15, but 
see my comments.  I do not think that Bassam's suggestion
is correct.  The extra horizontal lines in the box seem to
be coming from the conversion from .doc to .pdf.  If someone
knows how to get rid of them, please tell us.

See the results below.

J.H.

--------------------------------------------------------------------------------

Ballot on Mantis 1648

- Called on 2007-08-29, final ballots due by 23:59 PDT on 2007-08-31.

yv[xxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[-----x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
yv[xxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
yv[xxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
 v[xx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 n[-------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[-----x--xxx.....................] Joseph Lu (Altera)
yv[xx..............................] Johan Martensson (Jasper)
 n[----------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
yv[xxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[xxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
yv[xxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |-------------------------------- attendance on 2007-08-28
 |---------------------------------- 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)
		n = not valid voter
                t = chair eligible to vote only to make or break a tie


FRIENDLY AMENDMENTS:

1. [LP] The proposal says default disable iff applies to assert
   property, cover property, and assume property.

     It provides a default disable condition to the assert, assume,
     and cover property statements in the scope of the default disable
     declaration.

   With 1768, we proposed adding "cover sequence" as you know, and we
   want this to apply. I therefore recommend changing this to say "all
   concurrent assertions" instead of what is currently says to avoid
   the dependencies.

   - [JH] Implemented in default_disable_1648.070830_dk.pdf.

2. [LP] such form is as indicated in the comment above a8.

   - [JH] Implemented in default_disable_1648.070830_dk.pdf (the change
     was to add the word "the").

3. [LP] We state that this can appear in a module, interface, or
   program block and we re-define the syntax for
   module_or_generate_item_declaration but we do not re-define
   non_port_program_item. I would think there would exist a similar
   declaration for an interface though I did not see it on a quick
   glance.

   - [DK] [This] is automatically covered by the proposal since
     module_or_generate_item_declaration is one of the special cases of a
     non_port_program_item.

   - [JH] The following productions convince me that the syntax in 
     default_disable_1648.070830_dk.pdf allows declaration of default disable
     as intended in a module, interface, or program.

        interface_item
          ::= non_port_interface_item
          ::= interface_or_generate_item
          ::= module_common_item
          ::= module_or_generate_item_declaration

        program_item
          ::= non_port_program_item
          ::= module_or_generate_item_declaration

4. [BT] I see now we need a VPI section very much similar to 1681 for the
   vpiDefaultDisable.

   - [JH] Implemented in default_disable_1648.070830_dk.pdf.

5. [BT] Another friendly amendment is to fix 16.15 syntax table: 

   - color of "module_or_generate....." should be black 

     . [JH] This is an entirely new section.  This is not a change of
       an existing syntax box.  Therefore, black coloring should not
       be used.  However, according to what I have heard from Brad and
       Shalom about the rules of coloring, the "default clocking" and
       "default disable" should be in red, and the semicolons should
       both be bold and in red.

   - the box seems perturbed with the extra horizontal lines within ...

     . [JH] NOT implemented in default_disable_1648.070830_dk.pdf.
       The extra horizontal lines seem to be a byproduct of the .pdf
       generation.  The box looks fine in the .doc source.  It will be
       useful if someone can offer technical advice on how to get the 
       .pdf to look more like the .doc.

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