Minutes of ISAC meeting held via telecom on 01 December 2005

Present: Larry Soule, Chuck Swart, Ajay Verikat

Absent: Peter Ashenden, Jim Lewis, Deepak Pant

Next Meeting: Thursday January 12, 2006, 6 pm Pacific Standard Time
              (Friday January 13, 2006, 2 am GMT)

TOPIC: IR 2077 Incorrect wording on some language constructs

This IR reflects issues raised by Alex Zamfirescu in his recent vote
on some ISAC IRs.

ACTION: Larry to analyze

TOPIC: IR 2078 Allow attribute declaration/specification in package body

This request seems reasonable.

ACTION: Chuck to analyze, then submit for a vote.

TOPIC: IR 2079 Is TIME a locally static type?

It was agreed that TIME'Value cannot be locally static, because of
resolution limits. It was not agreed whether TIME'POS is locally
static, and whether it returns a number of femtoseconds or returns a
number of time units (adjusted by the resolution limit).

It was also agreed that, for the most part, simulators "do the right
thing" in this area.

ACTION: Chuck to analyze.

TOPIC: IR 2038 Minor semantic errors

No progress.

ACTION: Ajay to analyze.

TOPIC: IR 2054 Individual assoc. rules for array formal are not valid

James Unterburger supplied an analysis which pointed out flaws in the
first part of the proposed solution, since, if all the formal names
are indexed names instead of slice names, then there is no direction
to use.

ACTION: Larry to incorporate this into his analysis.

TOPIC: IR 2070 Support for floating point denormal numbers

The analysis was given to Dave Bishop. Here are his comments:

"I see your point here, that we are implementation dependent.
However, functionally, Floating point 754 is a standard.  The LRM
either sticks to it, or doesn't.  The implementation doesn't have to
be the same as 754 as long as it is functionally the same.

After working with the problem, I can live with it either way."

ACTION: All to vote on this IR.

TOPIC: IR 2072 Allow static operations on "ranges"

Some questions were sent to the submitter but he has not replied.

ACTION: Chuck to forward as an enhancement request.

TOPIC: IR 2073 Index constraints and discrete range conversions from
universal_integer

ACTION: All to vote on this IR.

TOPIC: IR 2074 Problem with direct/select visibility in formal part

ACTION: All to vote on this IR.

TOPIC: IR 2075 Arrays with numeric and enumeration index types are not
closely related

Technical problems remain in the unconstrained case when the types are
not closely related. One possibility is to prohibit type conversions
in this case.

ACTION: Ajay to finish analysis.