Minutes of IEEE P1800 SV-AC meeting #10: 04/07/2005
Written by: Ed Cerny

Code for the conference call:

        Domestic: 888-635-9997
        International: 763-315-6815
        Participant: 2638198

Attendance Record
	Legend:
		x = attended
		- = missed
		r = represented
		. = not yet a member
		v = valid voter (3 out of last 4 or 75% overall)
		n = not valid voter

n[--xxxx---xx] Faisal Haque (Cisco, Chairman)
v[xx-x-xxxxx-] Arif Samad (Synopsys - Co-chair)	
v[xx-xxxx-xxx] Surrendra Dudani (Synopsys)
v[xxxxxxxxxx-] John Havlicek (Freescale)
v[xxxx-xx--xx] Joseph Lu (NVIDIA)
v[x----------] Rishiyur Nikhil (Blue Spec)
v[-----xx----] Don Baltus (BlueSpec)
v[xxxxxxxxxxx] Bassam Tabbara (Novas)
v[-xxxxxxxxxx] Manisha Kulshrestha (Mentor Graphics)
v[-x--xxxx---] Hillel Miller (Freescale)
v[---xxxxxxxx] Doron Bustan (Freescale)
v[xxxxxxxx-xx] Eduard Cerny (Synopsys)
============|---------------------------- 04/07/05

Agenda:
-------

- Review IEEE working group rules
- Election of Co-chair
- Review Ballot issues

Minutes:
--------

1) Faisal recalled IEEE rules of conduct. All were aware of them and
agreed to proceed.
 
2) Election of a co-chair to replace Arif Samad: the only nominee is
Ed Cerny. Proposal by Faisal, seconded by Surrendra, to elect
Ed. Unanimously carried.

3) Review of issues. First high priority disproved items, then
high-priority approved items, finally the rest.

#241: Discussion about resampling by assertions of values obtained by
sampling in a clocking block. The problem is that defining how the
resampling should proceed may have impact in may areas and there is
not enough time to study this issue. Proposed correction is to change
the statement in Ch. 14 to indicate that assertions may take the
clocking event from a clocking block, but not the sampled
values. Ch. 18 should make reference to that statement.  Manisha will
prepare a proposal.

#266: Review of "notes" deferred to the next meeting when we should
have indication on how to proceed. We may have to review every note in
Ch. 8 and make a decision.

#STU2: There should be a statement added to the LRM that the
declaration of variables before their use in assertions / properties /
sequences is not required. Proposal to be prepared by ???

#20: On pp 239, the meaning of true and false is defined. The meaning
of true/false is missing in Section 24.5. Add the same sentence to the
definition of $isunbounded as to the other system functions as shown
on pp24.5.

#92: Karen should provide clarification of the issue because the
spreadsheet does not say much.

#209: This change should be made, change assert to assert
property. Surrendra will introduce the proposal.

#217: There is no issue. The semantics are clear.

#218: There is no issue, because the language allows an explicit way
to state whether an assertion should start at all clock ticks or only
once: Globally: Either by default, or by using always @(clk) a: assert
property(...); Once: initial @(clk) a: assert property(...);

#220: The user has the option to define p_imply(p1, p2) as (not p1) or
p2, and use that as a primitive. Since it is an enhancement, it may be
considered in the future.

#221: To refer to the context clock can be achieved by passing the
external clock name as the actual argument to a property
instance. This enhancement is not needed.

#222: tf_port_list definition (pp490, A.2.7) already covers it. No
issue.

#284: It is specified on top of pp 224, Section 18.7.3. No issue.

#128: Editorial correction in H.4.1, to remove the tight satisfaction
symbol from the first occurrence of satisfaction symbols (the first
one with the triple -.)

#210: Already corrected in D4.

#211: Already corrected in D4.

#212: Already corrected in D4.

#213: Replace "pass_stat" and "fail_stat" by "$display("pass");" and
"$display("fail");", respectively. Surrendra will introduce the
proposal.

#214: This correction should be done. Surrendra will introduce the
proposal.

#219: This is a language extension. Since a work around exists, this
may be considered in the next version of SV.

4) All items should be resolved by email, possibly voted on by
email. Remaining items must be resolved during the next meeting.

5) Next meeting will be on Thursday, April 14, 2005, at 9am PT (12pm
ET, 6pm Europe, 7pm Israël). All issue must be voted on at that time.