Phone Conference P1450.1 Working Doc Subgroup Thurs Apr 25, 10:00 am PDT --------------------------------------------- Attendees: ---------- David Kellerman Greg Maston Peter Wohl Jason Doege Tony Taylor Jim Teisher Documents --------- p1450.1 D13 draft March 21. D13 review-resolution document Apr 23. Clause 1 in pdf from Tony. Agenda ------ Review clause 1; discussed briefly in last meeting but deferred full discusion until this meeting. Continue following the current process to review issues identified in the resolution doc that was updated by Tony. Issues ------ Dot0 clarification is still open; have not received any additional feedback from Doug and Doug's not on the call to discuss. So this continues to be pending. Clause 1: Discussed the current proposal from Tony and the intention of this section. Concern that this section will not be sufficient to address confusion about sufficient justification of specific constructs. In particular this started up a discussion about Fail Feedback. Discussed concern on Fail Feedback. Issues were raised about the usability of the X statement; After some discussion about the usability of the current proposal, [AI1] Jason will follow-up with discussions about standard labels as discussed in the CTL context, along with Rohit and others. Started discussing current issues with several new topics identified by DM. DM-5: Scoping and activity of If and While constructs. If and While ARE run-time evaluated; the SCOPE of any statements contained in that block is the same as if the IF wasn't present. [AI2] Tony will add words to section 16.1 to clarify the operation of these statements. NOTE: the original issue here cited section 12.4, but the example contains a reference to a Fixed statement contained therein which is a Pattern If construct and not an If in the PatternBurst construct. DM-4: use of ScanStructures statement in the Pattern statements. Intent of this statement is that the ScanStructures is a shortcut for the ScanChain references. Confusion about whether this is a problem with ScanStructures in particular or also the ScanChain reference defined in dot-zero. [AI3] Peter will discuss this with Denis directly. DM-3: Wait and Extend. Annex K has more elaboration and is requested to be moved up into the main body. Also the example in Annex K, or the syntax definition in section 12, needs to be brought into alignment. This issue will be continued after Jason adds some more material for discussion [AI4]. DM-2: remove the \j. Concern from Peter about removing this construct because the resolution operation becomes implicit with the presence of a WFCMap. If implicit resolution then you may start mapping through the WFCMap unintentionally when patterns are edited or changed. Resolution: leave current definitions in place in order to minimize potential for unintentional mapping behaviors. DM-1: three questions tied to \m. (1) - Working Group resolves that the space immediately following the \m is optional. (2): what terminates the \m? Greg *thinks* it is a space after the first set of arguments and not the ';', to be consistent with other flags. Greg took [AI5] to determine if there was any reason to define this differently. (3) - support for multiple arguments (\j \m) IS allowed but we need to identify any sequences that are not supported ... \j \m is allowed but \m \j is not allowed. Tony took [AI6] to cross-reference Annex material to clause 1 sections, because most of the elaborations of specific constructs are covered in these Annexes. Greg got [AI7] to elaborate on \e. Next Meeting ------------ same time, in two weeks; May 9, 2002. Meeting was ajourned at 11:30 PDT. AIs --- [AI1]: Jason to orchestrate discussions for standard label definitions and application of fail feedback in this context, correlated with CTL. [AI2]: Tony add words to 16.1 to identify If and While as run-time evaluated constructs. Also to 12.4. [AI3]: Peter to discuss with Denis about use of ScanStructures as a pattern statement. [AI4]: Jason to distribute some more concepts on tiling support. [AI5]: Greg to clarify the termination of \m. [AI6]: Tony to cross-reference Annexes into Clause 1. [AI7]: Greg to elaborate on application of \e.