Minutes of IEEE P1800 SV-AC meeting #2007-53
Written by: Dmitry Korchemny

Date:  2008-05-12
Time:  16:00 UTC (9:00 PDT) 

Dial-in information:
--------------------

Toll number:   +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Bridge: 2, Passcode: 8903006


Attendance Record:
------------------
        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

New PAR, attendance re-initialized on 2006-08-22:

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

Agenda:
-------

- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt

- Draft5 review

YF: 16.14.7 - "iff" was replaced with "if" , should be "if and only if"

YF: In the following paragraph (16.9 , page 336) the editor replaced "must" with "shall"
like in many other places , I'm not sure this is correct in this case since "must" here
was not used to define a requirement of tool implementation or from the user but a fact
which is resulting from the previous sentences , John has suggested rewriting the last
 sentence as: "Such a variable is dynamically created when needed":

"Such a variable [must] ->shall thus be dynamically created when needed within an instance
of a sequence and removed when the end of the sequence is reached.

DK: "shall thus be dynamically created" -> "will thus be dynamically created". Passed 8y/0n/0a. 

DK: Annex F has several coloring issues: most of them are caused by coloring problems of
special symbols as explaned by Stu. Other comments:


Page 1064: In the green section at the bottom the bullet sign before “For U = Q” is in blue.

Page 1065: F.4.3.2 Weak and strong satisfaction by finite words.

"-" in "|=-" and |/=-" is written in green while it should be black (see Mantis 2252).

Page 1068: The bullets in “F.4.6.1 Neutral satisfaction” have different colors: green, black and blue. Should be all green.

Page 1071: Last bullet on the page should be green.

Page 1072: This page is blank.


Addressing SB comments:

Subclause 16.4:

1. The first reference to a clocking block variable is to an input variable
Should that include inouts? 

* JH to open a Mantis item for clarification, addressing comments 1 - 3 (done).

2. The following references to clocking block variables do not specify 'input'.
Is that to be understood?

3. The last sentence references Clause 4. I don't understand what is intended.
Clause 4 does not mention assertions or clocking blocks.

* It should be Clause 14, and not Clause 4. 

4. The term "simulation tick" is used in the LRM only with respect to Figure 16-1
and 16-3 and is thus undefined. It would be better to use a term consistent with
the rest to the LRM. I think "time step" is the LRM term for "tick".

* Replace "simulation tick" with "simulation time step", change the caption of
Figure 16-1 to "Sampling a variable in a simulation time step".

EC: Move.
JH: Second.
Motion passed with 8y/0n/0a

Another SB comment:

In the description of the assertion function syntaxes ($past, etc.) at the beginning
of 16.18.3 and in 19.12, I think the parentheses and commas should be bold red.

JH (Move): Ask the editor to render sampled value function syntax at 16.8.3, and
in 19.12 using the font and the coloring conventions of 19.15.
Second: EC.
Motion passed with 8y/0n/0a

JH: The same situation happens with 16.11. DK will open a Mantis ticket about it.

TT: DK to forward SB mails to the cinnittee (done).

Opens.

Next meeting will be Monday, May 26.