MunEDA News

All | Latest | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2000

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

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

Prof. Dr. Georges Gielen, Professor, KU Leuven, Belgium

  • 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
MunEDA develops and licenses EDA tools and solutions that analyze, model, optimize and verify the performance, robustness and yield of analog, mixed-signal and digital circuits. Leading semiconductor companies rely on MunEDA's WiCkeD' tool suite - the industry's most comprehensive range of advanced circuit analysis solutions - to reduce circuit design time and achieve maximum yield in their communications, computer, memory, automotive and consumer electronics designs. Founded in 2001, MunEDA is headquartered in Munich, Germany, with offices in Sunnyvale, California, USA (MunEDA Inc.), and leading EDA distributors in the U.S., Japan, Korea, Taiwan, Singapore, Malaysia, Scandinavia, and other countries worldwide. For more information, please visit MunEDA at