Liberty/ALF harmonization meeting, Nov 19, 2003 at Magma, Santa Clara Participants ------------ Greg Hackney, Mentor John Williams, Markanix wolfgang Roethig, NEC Matt Liberty, Cadence (phone) Fereshteh Kianersi , Synopsys Alex Zamfirescu, ASC Andrea Cosmin, Artisan Robert Jones, Magma Dave Allen, Sequence (phone) Albert Ting, Artisan (phone) Action item status ------------------ Write a draft for a DoD (Design Objective Document) by next meeeting Owner: Wolfgang Roethig Expected completion: by next meeting DONE Write a proposal for ontology, suitable as a chapter in DoD Owner: Alex Zamfirescu Expected completion: TBD by Alex WIP Give a pointer to the relevant liberty information for this project Owner: Kevin Kranen Expected completion: per email, earliest convenience DONE Give pointer to ISO xpress tutorial on ontology/dictionary Owner: Alex Zamfirescu Expected completion: per email, earliest convenience DONE - Alex gave CD to Wolfgang Review the workdoc and give feedback, especially on ranking. Point out missing or misrepresented topics, if any Owner: all Expected completion time: per email before next meeting TO BE CONTINUED Find out if Magma can host next meeting, if yes, prepare logistics Owner: Robert Jones Expected completion time: 2 weeks before next meeting DONE - Motion to thank Robert - unanimously approved DoD discussion -------------- John Williams: Is translation from lib to ALF within scope? Wolfgang: Eventually, but not in the first phase. Library contents requirements and semantic are more important. Formal liberty/ALF xref would be pre-requistite for a translator. Allen: Sequence has a translator, but it is not meant to be for general purpose. Only reliable translation is for power. Fereshteh: Synopsys will put together a doc of liberty items not in ALF, maybe Wolfgang will put together a doc of ALF items not in liberty. Wolfgang: Want to focus on the items listed in DoD, hopefully ALF and liberty cover those. Exhaustive mapping of all possible liberty and ALF features is out of scope. Alex: Power section should mention "energy" John: stored energy should independent variable for characterization e.g. robustness of a memory cell against radiation depends on the energy stored in the memory cell. Alex: Technology-independent library descriptions are not there. Wolfgang: Generic libraries are conceivably within scope, if they relate to technology somehow (i.e. template or spec for technology library rather than fully characterized technology library). Not sure whether that would be a high priority. Matt: Section 2.4 mentions items for noise modeling for which ALF and liberty maight not be ready yet. It seems to be very important, but is this out of scope? Wolfgang: The scope is driven by requirements for library contents, not by availablity of liberty or ALF spec. Need to identify items where liberty and/or ALF are not ready and implement enhancements, based on the importance of those items. Alex: Rules for libray data usage model by application are not mentioned. This is a critisism voiced by the OLA work group. The group furthermore identified the following items to be included in the DoD: * extensibility * calculation methods * Interoperability with SDF as separate item Action items for Alex, John, Fereshteh, Dave, Matt, Greg as a consequence of this discussion are listed on the bottom. Timing ------ We briefly reviewed a new doc from Wolfgang that has not been distributed yet. Then we reviewed in more detail the docs provided by Greg. STAMP mapping - obsolete Existence/value cond - AI for Wolfgang (see below) Mapping of SDF_COND etc to ALF - AI for Wolfgang (see below) Incompatibility between timing type and actual timing data - AI for Greg and Andrea (see below) Threshold mapping - Done in Wolfgang's new doc Capacitance semantics - AI for Greg (see below) Conditional timing arcs - AI for Wolfgang (see below) Conclusion ---------- Meeting adjourned at 12:20PM. Next meeting: Dec. 15, 10AM to 1PM, tentatively hosted by Sequence New action items ---------------- Write short proposal for generic libraries Owner: Alex Zamfirescu Expected completion: before next meeting Write short proposal for energy as independent characterization dimension Owner: John Williams Expected completion: before next meeting Make list of liberty items for which ALF representation is unknown Owner: Fereshteh Expected completion: before next meeting Write short elaboration on requirements noise items (see DoD section 2.4) Owner: Matt Liberty Expected completion: before next meeting Find out whether Sequence can give permission to use lib2alf as experimental testcase generator and distribute results to group Owner: Dave Allen Expected completion: before next meeting Write paragraph about rules for libray data usage model by application for possible inclusion in scope Owner: Alex Expected completion: before next meeting Write paragraph in DoD scope section saying what to do with necessary items for which liberty and/or ALF may not be ready yet. Owner: Wolfgang Expected completion: before next meeting Add following bullet items in DoD section 2.7 - Extensibility - Calculation methods Owner: Wolfgang Expected completion: before next meeting List interoperability with SDF as separate item in 2.2 (preliminary ranking = 1.5) Owner: Wolfgang Expected completion: before next meeting Distribute new doc on timing Owner: Wolfgang Expected completion: as early as possible Describe existence condition and value condition in ALF Owner: Wolfgang Expected completion: before next meeting Elaborate on SDF interoperability with liberty and ALF (e.g. mapping of SDF_COND etc to ALF) Owner: Wolfgang Expected completion: before next meeting Resolve possible incompatibility between timing type and actual timing data encountered in Artisan library Owner: Greg, Andrea Expected completion: before next meeting Find out whether semantics for net_capacitance, pin_capacitance etc. are documented in latest version of liberty user guide Owner: Greg Expected completion: before next meeting Translate Greg's example with conditional timing arcs to ALF Use two methods: by hand and using lib2alf translator Owner: Wolfgang Expected completion: before next meeting Prepare logistics for next ALF meeting on Dec. 15 Owner: Dave Allen Expected completion: December 8