ISAC: Minutes of ISAC meeting held on 16 November 2006

From: Chuck Swart <cswart_at_.....>
Date: Thu Nov 16 2006 - 23:23:36 PST
These are also available online

Minutes of ISAC meeting held via telecom on 16 November 2006

Present: Peter Ashenden, Jim Lewis, Larry Soule, Chuck Swart, Lance
Thompson, Ajay Verikat

Absent: None

Next Meeting: Thursday, December 7, 2006, 6 pm Pacific Time
              (Friday, December 8, 2006, 2 am GMT )

TOPIC: IR 2103 Dynamic/run-time creation and destruction of components
and connectivity

This IR is clearly an enhancement request. 

ACTION: Chuck to forward to VASG chair.

TOPIC: IR 2104 Using a configuration to leave a design unbound

Peter's analysis is accepted. The IR is ISAC-Approved.

Action: Chuck to forward to VASG chair for VASG approval.

TOPIC: IR 2099 Alias declarations introduce homographs

We are exploring the solution of revising the LRM so that analias
declaration with the same designator as the named entity is not a
homograph of the named entity, and two alias declarations with the
same designator that denote the same named entity are not homographs.

Several LRM changes would be needed, including changes to 10.5 to
relax the restriction that exactly one interpretation is visible, but
to allow multiple equivalent interpretations. In analyzing the various
cases it became clear that the name of a declaration is not the same
as the type it designates. Peter again pointed out that the various
examples need to be rewritten so that the aliases in question are in
the same declarative region as the aliased objects. It appears that
this interpretation covers the desired cases adequately.

ACTION: Chuck to continue analysis.

TOPIC: IR 2101 Type conversion - implicit refers to section 8.1.2
which doesn't exist

The analysis is accepted. The IR is ISAC-Approved

ACTION: Chuck to forward to VASG chair for VASG approval.

TOPIC: IR 1012 It is unclear how Physical Literals of type TIME should
be treated when checking for conformance.

Larry has begun analysis. Time literals are globally static, but the
expectation is that conformance checking, which is primarily lexical,
must be done during analysis. A reasonable solution is to exclude
literals of type time from the allowed variations in clause 2.7.

ACTION: Larry to continue analysis

TOPIC: Review of IRs incorporated into D3.0 LRM:

IR      LCS      reviewer
2008    005      Larry Incorporated 
2020    036      Larry Incorporated 
2029    008      Larry Incorporated
2036    010      Ajay  Incorporated
2037    011      Ajay  Index issues remain
2038    012      Chuck Incorporated into D3.0
2039    013      Ajay  Index issues remain
2040    014      Chuck Incorporated
2042    002      Chuck Incorporated

Assigned IRs:

2043    015      1 page Larry
2044    016      1      Ajay
2045    017      2      Chuck
2047    018      1      Jim

TOPIC: Review of pre-2002 IRs

1000 Peter    Ongoing
1010 Chuck    Open Issues
1011 Ajay     Open Issues
1012 Larry    Analyzing (see above)

New assignments:

1015    Chuck
1016    Larry
1018    Ajay
1020    Chuck
1021    Lance
Received on Thu Nov 16 23:23:39 2006

This archive was generated by hypermail 2.1.8 : Thu Nov 16 2006 - 23:23:40 PST