Library harmonization meeting May 3 2004 from 9:30AM to 1:30PM at Synopsys, Sunnyvale Attendees --------- John Williams, Markanix Andrea Cosmin, Artisan (phone) Neeraj Dogra, Artisan Koorosh Nazifi, Cadence (phone) Mark Tillinghast, NTS (phone) Alex Zamfirescu, ASC Kevin Kranen, Synopsys Maddu Karunaratne, V-cube Wolfgang Roethig, NEC Next meeting ------------ Wednesday June 16 Action item and update ---------------------- Write a proposal for ontology, suitable as a chapter in DoD Owner: Alex Zamfirescu DONE - Alex sent email with powerpoint presentation Write short proposal for generic libraries Owner: Alex Zamfirescu WIP - will send by begin of June Make list of liberty items for which ALF representation is unknown Owner: Fereshteh/Kevin WIP Main areas: power, flow-specific representation Kevin: Rajesh has a partial list, Kevin will send it out by May 7. Kevin reminded Rajesh, please send as early as possible. Write short elaboration on requirements noise items (see DoD section 2.4) Owner: Matt Liberty WIP - Cadence discussions ongoing Reassigned to Bhuwnesh/Koorosh, Koorosh will give update by May 7. Write paragraph about rules for libray data usage model by application for possible inclusion in scope Owner: Alex Zamfirescu WIP - will prepare discussion material for next meeting in June Corrections to liberty doc: Figure 10-17 in liberty doc missing and others Owner: Kevin WIP - will be in next release (April). Kevin to confirm availability of new release. Show a timing model involving a bus in liberty Owner: Hemant DONE Example shows: 1 bit to many bits: clk to Q 1 bit to 1 bit: TQ to Q many bits to many bits: need maybe multiple times 1 bit to many bits? Hemant sent follow up example Show a timing model involving a bus in ALF Owner: Wolfgang DONE Wolfgang will combine his example with Hemant's example. Experiment with library compiler how to describe constraints between async. preset and clear Owner: Hemant DONE use non-Sequential setup & hold for asynchronous pins Investigate propagation delay concept (rise_transition, fall_transition). Give example in ALF. Owner: Wolfgang OPEN Look for rise_propagation, fall_propagation keywords in liberty spec Wolfgang looked for semantic description or example in liberty doc 2003.10, but could not find. Kevin sent a doc with description to Wolfgang. New action items ---------------- Is state-independent leakage power value the default, if no state matches? Owner: Kevin DONE Answer is "yes" Follow-up on missing documentation on table/polynomial modeling style for leakage power Owner: Kevin Table not supported, polynomial supported with voltage and temperature as dimensions. WIP - Kevin will send example Call for vote on thermal analysis Owner: Wolfgang Wolfgang explained basic requirement: need thermal conductivity as a library parameter. Voted on priority and domain for thermal analysis. prio domain Maddu 2.5 reliability Neeraj 3 other JMW 2.5 reliability Kevin 3 other Alex 2 reliability Andrea 3 reliability Wolfg. 2.5 other Decision: 2.5 reliability Capitalize "Liberty" in doc, add "TM" at first occurence. Owner: Wolfgang WIP - capitalized in spec, "TM" will be in introduction which is not yet written Update power doc as per discussion Owner: Wolfgang DONE Update timing doc as per discussion Owner: Wolfgang DONE Is the functional equivalence in the equal_or_opposite_output rule enforced, or can the model with 2 output capacitances also be used for any cell with 2 outputs ,given an arc-specific condition? What about applicability for timing? Example: cells with functionally correlated outputs, but not strictly equivalent or complementary. Owner: Kevin OPEN Need clarification on rising|falling|switching_together semantics. See Liberty doc, page 9-40 This also leads to an abstraction methodology. Owner: Kevin OPEN Kevin will find some example Find out whether more than 2 voltages are supported: voltage2, voltage3 etc. Owner: Kevin DONE The schema is voltage, voltage1, voltage2 .. voltageN (N is 6) Prepare kick-off material about switching activity, causality for power eval Owner: Alex WIP - discussing in the meeting Test which modeling style works for bus pins: When is it necessary to define scalar pins within bus? Is name match between bus and scalar pin within bus mandatory? If scalar pin not declared, can still refer to bits of bus individually? Owner: Hemant NEW Clarify usage model of bundle and bus: Only supported in power or also in timing? Are all the power relationships with bus/bundle etc. supported in timing? Is the "related_bus_pins" keyword supported or timing? Owner: Kevin NEW Update DoD: correct "electromigration" to "reliability", put thermal analysis Owner: Wolfgang NEW Find the chapter in IEEE 1497 about the semantics of LABEL Possible the name of the timing group gets translated into an SDF label? Still open, need SDF 1497 doc to find the LABEL semantics in SDF. Owner: Alex NEW Investigate the best editor for ontology to be used by this group. Come up with basic ontology encompassing cell, pin and timing arc Owner: John, Alex NEW Find out Artisan's definition of static power versus leakage power Owner: Andrea NEW Update power modeling doc according to today's discussion Owner: Wolfgang NEW Update DoD according to today's discussion Owner: Wolfgang NEW Technical discussion -------------------- Ontology - Alex --------------- Vocabulary, i.e. set of words Relationship between said words Axioms or constraints involving said words Alex proposes to use free ontology editor from Stanford: http://protege.stanford.edu/index.html John: security concern using Java Power spec review ----------------- 1.0 change "is measured as energy" into "is accounted for as energy" change "static phenomen" into "voltage and current are constant" 1.4 Fix typo "timing" instead of "power" 1.5 put reference to figure 14 JMW whitepaper review --------------------- Cell level characterization (refers to IEEE 1603, figure 1) Extend to macro level characterization (see IEEE 1603, figure 3) Energy in relation to noise characterization (see Liberty, hyperbolic noise model) Conclusion: If energy is pertinent variable, the noise rejection curve is not very sensitive to noise waveform shape, rectangle is conservative.