 |
All |
2010 |
2009 |
2008 |
2007 |
2006 |
2005 |
2004 |
2003 |
2002
MunEDA Vice President R&D Dr. Frank Schenkel present at DATE08 panel Formal Methods to Verify Analog Circuit Design
Munich, Germany - Monday, January 14th, 2008
Panel: DATE08 Exhibition Theatre - Tuesday, 11th March, 2008
DATE08 Official Confernce Program Panel Description:
As the challenging and time-consuming verification process in general belongs to the top ten main EDA issues for years, and aware of analog challenges mostly surpass digital ones, no one will deny that verification of analog circuit design is one of the most challenging topics within EDA. Apart from that, we witnessed formal methods on their triumphal procession defeating verification challenges of digital circuits like verification coverage and efficiency.
A few years ago, fist academic approaches in formal verification methods for analog arose and since then, gained growing interest* despite other approaches like analog verification libraries. Formal approaches promise to lead to automated visibility of critical design errors like unintentional oscillation and feedback loops. Nevertheless the criticism on formal methods never stops, because there are doubts concerning their applicability. Are designers willing to adopt strict formalism to their work? Are formal approaches able to stand the challenges of reality? Hence, the panel will discuss, if formal methods are outrider of the key to verification in analog or if it is just phantasm?
Panel Description:
Formal Methods to Verify Analog Circuit Design – Key or Phantasm?
Tuesday, 11th March, 2008, 15.45 - 16.45, DATE08, Munich
Moderator:
Prof. Dr. Georges Gielen, Professor, KU Leuven, Belgium
Panellists:
- Dr. Helmut Gräb, Academic Director, TU Munich, Germany
- Dr. Walter Hartong, Lead Application Engineer, Cadence Design Systems, Germany
- Dr. Peter Rotter, Staff Engineer, Design Flow Management, Infineon Technologies, Germany
- Dr. Frank Schenkel, VP Research & Development, MunEDA, Germany
About MunEDA
Founded in 2001, MunEDA provides leading EDA technology for analysis and optimization of yield and performance of analog, mixed-signal and digital designs. MunEDA´s products and solutions enable customers to reduce the design times of their circuits and to maximize robustness and yield. MunEDA´s solutions are in industrial use by leading semiconductor companies in the areas of communication, computer, memories, automotive, and consumer electronics. WiCkeDTM is a comprehensive and powerful software tool suite for manual, semi- and full automatic analysis and yield optimization of analog, mixed signal and digital circuits. MunEDA has offices in Munich, Germany (Headquarter) and Sunnyvale, California, USA (MunEDA Inc.). MunEDA is represented by leading EDA distribution companies worldwide in USA, Japan, Korea, Taiwan, Singapore, Malaysia, Scandinavia, and others. Please refer to www.muneda.com/contact
For further information please contact:
MunEDA Marketing
Ben Grasenack
+49-89-93086-347
|
|
|
