1 [email protected]Giving the Gorilla Some Giving the Gorilla Some Brains: Brains: How Can Formal Complement How Can Formal Complement Simulation? Simulation? FMCAD Panel Discussion FMCAD Panel Discussion November 14, 2006 November 14, 2006 Andreas Kuehlmann Andreas Kuehlmann
Giving the Gorilla Some Brains: How Can Formal Complement Simulation? FMCAD Panel Discussion November 14, 2006. Andreas Kuehlmann. “Simulation” vs. “Formal Verification”. Let’s look into terminology!. We as FMCAD community should know what formal means! FMCAD = “Formal Methods on CAD” - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Two Introductory LecturesTwo Introductory Lectures
• Robert Jones Robert Jones
Principal Engineer, Intel Corp. Hillsboro, ORPrincipal Engineer, Intel Corp. Hillsboro, OR
““Life in the Jungle: Simulation vs. Verification”Life in the Jungle: Simulation vs. Verification”
• Wolfgang RoesnerWolfgang Roesner
Distinguished Engineer IBM Server Division, Austin, TXDistinguished Engineer IBM Server Division, Austin, TX
””Ecological Niche or Survival Gear? - Improving an Industrial Ecological Niche or Survival Gear? - Improving an Industrial Simulation Methodology with Formal Methods”Simulation Methodology with Formal Methods”
How can Formal Complement How can Formal Complement SimulationSimulation• Technology:Technology:
– Are there methods from the formal world that are usable in a Are there methods from the formal world that are usable in a simulation based flow?simulation based flow?
• Methodologies:Methodologies:– Should we do simulation first to catch the “easy bugs” and then Should we do simulation first to catch the “easy bugs” and then
switch to formal for the “hard” ones?switch to formal for the “hard” ones?
• Teams:Teams:– In many projects designers are responsible for “almost” correctness In many projects designers are responsible for “almost” correctness
and hand the difficult part to the verification team. Does this make and hand the difficult part to the verification team. Does this make sense?sense?
• Are there interesting techniques from the formal world that can Are there interesting techniques from the formal world that can complement simulation methods?complement simulation methods?
• Does the traditional tool partitioning betweenDoes the traditional tool partitioning between• Simulation and test generationSimulation and test generation
encourage cross-fertilization between technologies?encourage cross-fertilization between technologies?
• Do we have the appropriate verification methodologies and Do we have the appropriate verification methodologies and team structures reflecting this?team structures reflecting this?
• Warren Hunt (UT Austin)Warren Hunt (UT Austin)• Robert Jones (Intel)Robert Jones (Intel)• Robert Kurshan (Cadence)Robert Kurshan (Cadence)• Wolfgang Paul (University Saarbruecken)Wolfgang Paul (University Saarbruecken)• Carl Pixley (Synopsys)Carl Pixley (Synopsys)• Wolfgang Roesner (IBM)Wolfgang Roesner (IBM)