[sv-ec] Email vote 5


Subject: [sv-ec] Email vote 5
From: Jay Lawrence (lawrence@cadence.com)
Date: Thu Mar 13 2003 - 05:22:37 PST


The following are the list of changes that need approval. Please consider each and vote on them.
 
__yes _X_no 1. Approve CH-111 (Action items and clean-up from Draft 3)

I must have missed the meeting where we discussed this one.
Either we should require the data type kind ('enum', 'class', ...) or not. Allowing both this form and the form without the data type kind is not very helpful for anyone.
Why are we allowing the 'struct' version it is not useful without dynamic structs?

_X_yes __no 2. Approve CH-113 (All of these were handled in 10 March meeting or are result of action items from that meeting)

_X_yes __no 3. Approve CH-114 (Resolve all editor's notes except for 5 in AI-73 and AI-84)

_X_yes __no 4. Approve CH-115 (Annex D rework for class header and rename to Annex C)

__yes _X_no 5. Approve CH-116 (All of these were handled in 10 March meeting or are result of action items from that meeting)

I believe there is a conflict between sections 16.6.7 (unidirectional implication on sequences) and section 20.9 (bidirectional implication on constraints). The same operator is used for these 2 concepts with a different meaning. This will be extremely confusing.

===================================
Jay Lawrence
Architect - Functional Verification
Cadence Design Systems, Inc.
(978) 262-6294
lawrence@cadence.com
===================================



This archive was generated by hypermail 2b28 : Thu Mar 13 2003 - 05:23:24 PST