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

Hi John,

I have the following questions/comments:

1. in the illegal examples, you mention that event is a type disallowed
in 16.5.1. Unfortunately, we defined an "event" type in 1549. It may not
be exactly the same as that defined in 16.5.1, but I think that is
confusing.

2. "It shall be an error if there exists a match of the named sequence
for which an inout or output local variable formal argument is
unassigned at the completion of the match."   Does this make sense for
an inout? I thought an inout would have a default initial value, so what
does "unassigned" really mean?

3. "If a local variable formal argument has direction input, then a
default actual argument may be specified for that argument in the
optional declaration assignment in the port item, subject to the rules
for default actual arguments described in 16.7."   I am confused between
"default actual argument" and "initialization value".  How do I
distinguish?  Also, it seems inconsistent to state that "It shall be
illegal to specify a default actual argument for a local variable
argument of direction inout or output." And "The directions input and
inout indicate the instantiation context is expected to provide an
initial value for the local variable argument." Which is stated in the
"goal of this proposal" but not in the proposal.

4. In the example sub_seq2, the value of v1 is assigned the value of
"lv" which is data_in, right?  Is it true that it is only assigned to
the output at the sequence match and not earlier? 

Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Tuesday, January 08, 2008 1:39 PM
To: sv-ac@eda.org
Subject: [sv-ac] call to vote on 1667

Hi Folks:

This is the call to vote on 1667.  I think it is better to
review the capability now before the VPI stuff is added in
case there are issues.

The proposal on Mantis is in two parts:

  1667_part_1_2008-01-07_jhec.pdf
  1667_part_2_2008-01-07_jh.pdf


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

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 1667

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

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