Phone Conference P1450.1 Working Doc Subgroup
Thurs, July 29, 2004, 10:00 am PDT
Attendees:
Tony Taylor (chair, & scribe)
Bruce Kaufmann
John Cosley
Documents
http://grouper.ieee.org/groups/1450/private/P1450.1-D19.pdf (June
17, 2004)
Expression code example (see below)
Agenda
Meeting discussion
IEEE meeting clearances
Nothing under discussion or presentation for this meeting
was identified as being proprietary or restricted.
Expressions:
We discussed the new syntax example (below). Several correction were made
(and are included in the doc below).
In off-line discussions with Greg and as discussed on this conf call, there is general agreement on the syntax for expressions by the members of the wg. The main issue is getting the rules clearly defined in clause 6.
Greg met with Denis (one of the NO voters on expressions) this week and has his agreement to current expression syntax. The other two NO-voters have not been contacted yet. At this time, we believe that it is best to finish up clause 6 and then discusses the final definitions with each of them prior to starting the re-ballot.
Greg and Tony have the AI to create a new clause 6 for review by the wg.
Re-ballot plans:
Many changes have been made to the D19 draft in addressing the 282 issues fixed to date. The more contentious ones have already been discussed in these conf calls. However, many have been done without review. It was agreed (AI-tony) to freeze D19 and create D20 with clear change bars. It is requested that all wg members start reviewing D20 in preparation for re-ballot.
The goal is to be ready to
begin re-ballot by around end of Aug.
Meeting ended at 10:45
Next meeting
Thursday, Aug 12, 2004, 10:00 to 11:30AM, PDT
AIs
Greg, Tony - Review and improve clause-6 - expression syntax; get NO-voters buy in
Peter - DM-5 "What is the nature of STATE_ELEMENT?"
Tony - Create D20 and post on the web
New code example to illustrate allowed expression syntax:
Timing
{
WaveformTable WFT {
Waveforms {
SIS { 01 { 2ns D/U; }
SIS { AB { 'KI*1ns' D/U; }
SIS { CD { 2ns*KI D/U; }
// SIS { EF { 'KI'ns D/U; } // error - units should be inside the
expression
}}}
Pattern
PAT {
C { BUSSES+SIS=\r40 0; }
V { BUS1 = ZZZ \WSI1 ZZ; }
V { BUS3 = \rKIZ Z; }
V { BUS3 = ZZZ \rKI-5 Z ZZZ; }
C { VI := 5; }
C { VI := 5; }
C { VI := KI+5; }
C { VI := KI+5'; }
C { VI := KI*(VI+1); }
C ( VI := KI*(VI+1); }
Loop 50 { }
Loop 50 { }
Loop KI { }
Loop KI { }
Loop KI+1 { }
Loop KI+1 { }
While (1) { }
While (1) { }
While (VI) { }
While (VI) { }
While (VI-1) { }
While (VI-1) { }
While (VI :== VI-1) { }
If (VI > 1) { }
If (VI > 1) { }
If (VI > KI) { }
If (VI > KI) { }
If (VI > KI+1) { }
If (VI > KI+1) { }
If (VI :== VI-1) { }
If (\WSI1 == Z) { }
If (\WSI1 == \WKW) { }
If (\WSI1 == \WSI2) { }
// If (\WSI1+SI2 == ZZ) { } // error - can't reference a
group-on-the-fly
If {\WBUS1 == ZZZZZZ) { }
}