• unknown (b.)


An expert in Verification, he is a senior technical staff member in IBM's verification tools development group in Austin, Texas. He has architected the Verification tools and methodologies being used across all IBM systems. His accomplishments in the world-class Verification methodology allow the design of the company's P7 and zGryphon processors. The Verification methodology which he put into place is not limited to the IBM processor flows as it was shown to be extensible to games processors such as Cell, Waternoose, Vejle as well as the SoC processor Prism. He is well known in the industry for his leading role in Verification tools and methodologies. He received his Diplom-Ingenieur degree in 1980 and his Ph.D. in Electrical Engineering in 1983, both from University of Kaiserslautern in Kaiserslautern, Germany. He joined IBM, Germany in 1984 where he was responsible for IBM's hardware design language development and functional simulation for the first CMOS S/370 microprocessor projects. Between 1989 and 1992, he was on an assignment with IBM?s Advanced Workstation Division in Austin, Texas as Co-Developer of the Texsim cycle-based simulation system. He also worked as part of the RS/6000 and PowerPC chip set development group. From 1992 to 1993, he was responsible for logic design tools and methodology at IBM Boeblingen, Germany. He relocated to IBM Austin in 1994 where he became responsible for IBM EDA's Verification tools strategy and helped develop the design methodology for the IBM/Motorola/Apple Somerset design center. Currently, he is a Senior Technical Staff Member at IBM. He is frequently invited to deliver keynotes at technical workshops and conferences. His book on "Comprehensive Functional Verification ? The Complete Industry Cycle" is the most comprehensive practical verification handbook published and is widely used in the industry. From April 2001 ? May 2011 he was an IBM Distinguished Engineer; and in 2011 he was named an IBM Fellow, the highest honor a scientist, engineer, or programmer at IBM can achieve.
  • Noted For:

    Architect of the Verification tools and methodologies being used across all IBM systems
  • Category of Achievement:

  • More Info: