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

Agenda

 

1. Status:
    DONE+UNCH = 282   (94%)
    ASSIGN+TBD+REVIEW = 18  (6%) - only expression issues remaining
 
2. strategy for completing the remaining few expression related issues and for getting buy-in from the three ballotters who voted NO because of expression syntax.
 
3. plans for preparation of re-ballot

 


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

  1. Greg, Tony - Review and improve clause-6 - expression syntax; get NO-voters buy in

  2. Peter - DM-5 "What is the nature of STATE_ELEMENT?"

  3. Tony - Create D20 and post on the web


New code example to illustrate allowed expression syntax:

 

STIL 1.0 { Design D19; }
 
Variables }
   Integer VI { InitialValue 100; }
   IntegerConstant KI := 10; }
   WFCConstant KW = Z;
   WFCConstant KWL = ZZZZZ;
}
 
Signals {
   BUS1[5..10] In;
   BUS2[’5’..’10’] In;
   BUS3[KI..KI+10} In;
   BUS4[’KI’..’KI+10’} In;
   SI1 In { ScanIn 10; }
   SI2 In { ScanIn ’10’; }
   SI3 In { ScanIn KI; }
   SI4 In { ScanIn ’KI’; }
   SI5 In { ScanIn KI+1; }
   SI6 In { ScanIn ’KI+1’; }
   SE In; SE2 In;
}
 
SignalGroups {
   BUSSES = ’BUS1+BUS2+BUS3+BUS4’;
   SIS = ’SI1+SI2+SI3+SI4+SI5+SI6’;
}
 
ScanStructures STR {
   ScanChain CH1 { ScanEnable SE; }
   ScanChain CH2 { ScanEnable ’SE’; }
   ScanChain CH3 { ScanEnable SE&SE2; }
   ScanChain CH4 { ScanEnable ’SE&SE2’; }
}
 

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 = \r’KI’Z Z; }
   V { BUS3 = ZZZ \r’KI-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 (\W’SI1+SI2’ == ZZ) { }   // error - can't reference a group-on-the-fly
   If {\WBUS1 == ZZZZZZ) { }
}