Partners
    of the ODETTE-Project

---

IBM Objectives for Odette


Who are we

• Verification technologies department in IBM research
• Expertise in verification methodologies and technologies
• Background in modeling activities
• Internal IBM high-level modeling activities
• Modeling for verification purposes

Our motivation

• Increasing design complexity
• Shorter time to market
• Current abstraction level is lower than location of complexities
• Registers and signals instead of algorithms and protocols
• design organizations are often conservative
• Need to push changes from the outside

Our Vision on Design Flow

• A design methodology, implemented by architects/designers
• Early formal specification and microarchitecture
• Models providing for early reasoning and tradeoff study
• Executable
• Desirable: Be usable as a verification reference-model
• Restricting current view to:
• Logic design and above
• Manual, informal refinement methodology
• Reduce restrictions on usable subset of modeling language
• Synthesis comes later in the design process

Odette's Benefits to IBM

• Long term framework for research and development in high-level modeling and design
• Cooperation with other research and development organization for creation of an object-oriented design methodology
• Opportunity to influence the evolvement of a new methodology, language, and tool-set.
• Exposure to design methodology outside of IBM

Our Contribution to Odette

• Experience in modeling
• Knowledge and experience in object-oriented analysis and design
• Experience in abstractions and specification languages
• Formal specs and models of architectures for test generation
• High-level modeling experience
• Internal activities in IBM
• Genevieve


• Verification point of view for the design process
• Bug analysis to identify trouble areas
• Formal methods to identify correct levels of abstractions
• Needs for simulation / test generation for high-level model

<< back