We resolved that these Thursday meetings are P1500 WG as a whole but that the business is just review and resolution of issues of chapters 17 and 18. WG members who have not participated and are not up to date on the evolution of the discussions are not invited to interject themselves at this late time. Lee will conduct the meetings
Rohit was the only CDTF member present and for lack of other CDTF attendance we decided to consider Rohit's "Partial Wrappers" email.
Rohit walked us thru the arguments of the email and at least in the view of this scribe he made a pretty good case that CTL may be up to the task of describing the WIR/WSP/WBR interface sufficiently that tools can infer how to complete an incomplete wrapper. We discovered that CTL does not have the notion of capturing two (sequential) values. He stated that his imperative is that standard should recognize ARM cores as unwrapped compliant.
Teresa says the reason that ARM cores don't come with a WIR is that tools don't understand WIRs. She said she always includes a description of how a (partially wrapped) ARM core may be wrapped.
Most agreed that the most important result of the meeting was the following: There should be a rule for unwrapped compliancy that in addition to CTL of the unwrapped core there should also be provided and example CTL of how the core could be wrapped.