Events

Practical Formal - Mainstream Formal for the Rest of Us

Jason Baumgartner - IBM

Integrating Formal into Main-Stream Verification: The IBM Experience - pdf

Jason Baumgartner joined the IBM Server Group in 1995. He is the technical lead of the SixthSense project, which is a toolset for formal and semi-formal functional verification, and sequential equivalence checking. He received his PhD from the University of Texas at Austin in 2002.

Rekha Bangalore - Functional Verification Manager, Freescale

Formal Verification Techniques - pdf

Rekha K. Bangalore (Rekha.Bangalore@freescale.com) is a functional verification manager in the wireless division of Freescale Semiconductor Ltd. The focus of the group is on System on Chip and System Verification and keeping up with the industry verification methodology. Rekha is responsible for defining the strategy for pre-silicon verification and implementing it with the team to ensure quality silicon to customers with zero defects. With integration of external IP's and complex architecture, functional verification is becoming challenging and is one of the key initiatives.

Prior to Freescale, Rekha worked in Motorola and Intel Corporation, Chandler AZ. Rekha's experience is very diverse and includes architecture, system validation, Design for Test, and Functional Verification. Rekha has several patents that have been approved for filing and has also published technical papers in EDA user's conference and IEEE conferences. She also holds a BE in Electronics Engineering from Bangalore, University India and a MS in Computer Engineering in the United States.

Jacob A. Abraham - University of Texas at Austin

Practical Formal - Mainstream Formal for the Rest of Us - pdf

Jacob A. Abraham is a Professor in the Department of Electrical and Computer Engineering at the University of Texas at Austin. He is also director of the Computer Engineering Research Center and holds a Cockrell Family Regents Chair in Engineering. He received the Bachelor's degree in Electrical Engineering from the University of Kerala, India, in 1970. His M.S. degree, in Electrical Engineering, and Ph.D., in Electrical Engineering and Computer Science, were received from Stanford University, Stanford, California, in 1971 and 1974, respectively. From 1975 to 1988 he was on the faculty of the University of Illinois, Urbana, Illinois.

Professor Abraham's research interests include VLSI design and test, formal verification, and fault-tolerant computing. He is the principal investigator of several contracts and grants in these areas, and a consultant to industry and government on testing and fault-tolerant computing. He has over 300 publications, and has been included in a list of the most cited researchers in the world. He has supervised more than 60 Ph.D. dissertations. He is particularly proud of the accomplishments of his students, many of whom occupy senior positions in academia and industry. He has served as associate editor of several IEEE Transactions, and as chair of the IEEE Computer Society Technical Committee on Fault-Tolerant Computing. He has been elected Fellow of the IEEE as well as Fellow of the ACM, and has been named as the recipient of the 2005 IEEE Emanuel R. Piore Award.