Attendees:
Mark Hahn, Cadence (Chair)
Jin-sheng Shyr, Toshiba (Co-Chair)
Enrico Malavasi, Cadence
Steve Grout, Sematech
Next Meeting:
The next meeting will be a teleconference on Wednesday, 5/13/98,
from 9-11 PDT. This overlaps with CICC, which affects Enrico but
not the others in the group.
Action Items:
Who When What
---------- -------------- --------
1. Jin 5/12 Send an updated version of the
charter/scope document to the reflector
2. Steve 5/12 Send pointers to documentation on EXPRESS
to the reflector.
3. Mark 5/12 Contact Greg to get an update on the
Ambit donation
4. Mark 5/12 Send e-mail about possible alternate
meeting times
Details:
1. Charter/scope discussion
- Finalize position on deliverables
- Update on other groups (SLDL, IEEE P1500)
We talked about the set of deliverables, and there was
general agreement on the proposal to include
- A presentation on the conceptual model, combining
ideas from the different point of views.
- A constraint dictionary
- A constraint command language
Jin will write up an updated version of the charter/scope document.
We talked about EXPRESS and EXPRESS/G. Steve volunteered
to work on an EXPRESS model, which would be useful in checking
consistency as we define the command language. We stopped short
of including the EXPRESS model as a deliverable.
3. Constraint dictionary discussion
We agreed that it would be useful to add a column on the
verification strategy for each constraint (a short description
of how the design should be checked to see if the constraint is
satisfied or not). For example, an area constraint can be checked
to see whether the estimated/actual area lies within the min/max
range of values defined by the constraint.
The constraint dictionary will be used as the basis for refining
the conceptual model. We will use concrete examples of the
constraints described in the dictionary to evaluate what kinds of
common verification procedures and consistency checking would be
possible and useful, as well as looking at other issues such as
constraint transformations and logical/physical hierarchy.
4. Status update on Ambit constraint language
donation
No status.
Thanks,
Mark
-- Mark Hahn phone: (408) 428-5399 Architect, Deep Submicron Business Unit fax: (408) 428-5959 Cadence Design Systems email: mhahn@cadence.com