Attendees :
Ghassan
Joao
Ralph
Michael
Doug
Andrzej
Avinash
Last meetings minutes acceptance
Proposal : Joao
Second : Ghassan
Ghassan : By this friday (04/16) all Errata should be closed as per
Swapnajit's email.
Joao : Errata :
1) Diag. 31.14 instance Arrays ---- relationship from instance
array to range should be a one-to-many relationship.
2) Representation of references in expressions. Permit the
expression to be a reference. References are only addressed in
declaration not in usage.
Also 2 Errata propsed by Francoise.
Ghassan : Can we discuss the Errata on references? Any feedback from anyone?
Doug : No feedback right now.
... clarification of where to find information in email ...
Michael : Good to know while looking at an object if it is a reference
or the object itself. How do you distinguish between references?
Joao : All references to the same object have to be the same.
Michael : Proposal makes sense.
Joao : We need to add a simple expression diagram to achieve this.
Ghassan : Could we go over Francoise's Errata today since we are
approaching the deadline.
Joao : Francoise's Errata
1) Note 1 of typespec diagram is not correct. Intent of note
is correct but wording is wrong. Joao has no objections to this correction
Michael : Using strong comparision operator on types, eg compare int
with some defined type foo (which is an int.), will it fail or succeed?
Joao : According to the discussion with SV-EC this should succeed due to
type equivalence.
Ghassan : Any further comments on this?
.... None ......
Joao :
2) Type aliasing Errata. Everything other than the source and
dest. of alias everything should be the same in handles. Joao thinks
this is legitimate. Comment about type being builtin or user defined,
Joao doesnot see the significance of this but doesnot have any objection
to this.
Michael : Can we identify the base type of an alias via VPI?
Joao : Since these are builtin types of the language there is no further
information required. We probably need to get back to Francoise about
this and ask for the motivation of this.
Doug : checking out ...
Michael : Agree with Joao to ask Francoise about the motivation and
application of this.
Ghassan : Joao to email Francoise about this.
Joao : Any issues with the DPI spec?
Ralph : Need to make sure that the last clarification made it into the spec.
Andrzej : Maybe good to specify in the LRM if 1 bit vector is equivalent
to a scalar. Relavent to the VPI due to memory representation.
Joao : Andrzej , please check with Dave Rich on this issue.
Ghassan : Attendence
Received on Wed Apr 14 09:40:56 2004
This archive was generated by hypermail 2.1.8 : Wed Apr 14 2004 - 09:40:59 PDT