The Functional Qualification Company, Certess, Announces TAB

CAMPBELL, Calif.—(BUSINESS WIRE)—April 30, 2008— Certess, Inc., the provider of functional qualification tools for systems on a chip (SoCs) and intellectual property (IP) blocks, has formed a technical advisory board (TAB) to guide their long-term technology strategy as they tackle the problem of quality assurance in the verification of integrated circuits (ICs) and SoCs. This team of leaders from universities and industry bring experience, knowledge and talent to the task of developing software to evaluate and improve the completeness of the verification environment.

TAB members include the following:

  • Giovanni De Micheli, PhD, professor and director of the Integrated Systems Center at Ecole Polytechnique Fédérale de Lausanne, Switzerland, and president of the Scientific Committee of CSEM, Neuchatel, Switzerland. De Micheli is chairman of Certess TAB.
  • David Dill, professor of computer science and, by courtesy, electrical engineering at Stanford University.
  • Richard DeMillo, John P. Imlay dean and distinguished professor of computing at the Georgia Institute of Technology.
  • Franco Fummi, PhD, full professor in the information department at the University of Verona, Italy.
  • Frank Ghenassia, MsC, director of the system platforms group at STMicroelectronics in Grenoble, France.
  • Ahmed Amine Jerraya, PhD, acting head of design programs for DCIS (Advanced Design And Systems Division) at CEA/LETI (Commissariat à lénergie atomique / Laboratoire délectronique et de technologie de linformation).
  • Jeff Offutt, PhD, professor of software engineering, George Mason University, Fairfax, VA.

Functional qualification enables design teams to integrate SoC designs much more quickly and predictably than current processes, said Michel Courtoy, president and CEO of Certess. We are honored to have this group of experts join us to help guide development of products that will enable design teams to improve their productivity and the predictability of their project schedules, which are currently dominated by the verification task.

About the TAB Members

Dr. Giovanni De Micheli holds a nuclear engineer degree from the Politecnico di Milano, Italy, and MS and PhD degrees in Electrical Engineering and Computer Science from the University of California at Berkeley. His research interests include several aspects of design technologies for ICs and SoCs, including synthesis, hardware/software co-design and low-power design, as well as systems on heterogeneous platforms including electrical, optical, micromechanical and biological components. He is the recipient of the 2003 IEEE Emanuel Piore Award for Contributions to computer-aided synthesis of digital systems and a Fellow of ACM and IEEE.

Dr. David L. Dill has research interests in a variety of areas, including computational systems biology and the theory and application of formal verification techniques to system designs, including hardware, protocols, and software. From July 1995 to September 1996, he was chief scientist at 0-In Design Automation. He is a fellow of the Institute for Electrical and Electronic Engineers and a fellow of the Association for the Computing Machinery. He has an S.B. in electrical engineering and computer science from Massachusetts Institute of Technology, and an M.S and Ph.D. from Carnegie-Mellon University.

Dr. Rich DeMillo returned to academia in 2002, after a career as an executive in industry and government. His industry experience included Hewlett-Packard, where he was chief technology officer with worldwide responsibility for technology and technology strategy. His present research interests are focused on information security and the creation of a new field of study devoted to the Web. He has served on the board of directors for numerous public and private companies as well as non-profit and philanthropic organizations. Shortly after September 11, 2001, at the request of Intel CEO Craig Barrett and HP CEO Carly Fiorina, Rich and Intel CTO Pat Gelsinger formed the IT Industry Computer Security Working Group, a cross-industry steering committee aimed at identifying significant gaps in the nations cyber infrastructure that could be addressed by enhanced R&D and product development. He is co-inventor of mutation testing, the technology upon which Certess is based, a co-inventor of fault-based cryptanalysis, and is a Fellow of both the Association for Computing Machinery and the American Association for the Advancement of Science.

Dr. Franco Fummis main research interests concern synthesis of testable VLSI designs, test pattern generations, hardware description languages and system verification. He has published more than one hundred and sixty papers in the EDA field; two of them received the best paper awards respectively at IEEE EURODAC 1996 and IEEE DATE 1999. Fummi is an IEEE member and a member of the IEEE test technology technical council. A full professor in the Dipartimento di Informatica of Universit à di Verona, Fummi received the laurea degree in electronic engineering and the PhD in electronic engineering from Politecnico di Milano, Italy.

1 | 2  Next Page »

Rating:


Review Article Be the first to review this article
Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
ICScape: At the Junction of Math & CS, EDA & IP
Peggy AycinenaIP Showcase
by Peggy Aycinena
Arm Momentum: Segars embraces exciting times
More Editorial  
Jobs
REVISED***Director Product Line RF/IC for EDA Careers at San Jose, CA
Senior SW Developer for EDA Careers at San Jose, CA
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, Germany
Upcoming Events
“Empowering Leadership with WIT and WISDOM” at SEMI 673 South Milpitas Blvd. Milpitas CA - Nov 28, 2017
Artificial Intelligence and Convolution Neural Networks Discussion at San Jose State University Student Union Theater San Jose CA - Dec 4, 2017
Silicon Valley's Only Comprehensive Embedded Systems Conference at San Jose Convention Center 150 W. San Carlos St. San Jose CA - Dec 5 - 7, 2017
Oski Technology’s Decoding Formal Club Meeting at The Conference Center San Jose CA - Dec 7, 2017



Internet Business Systems © 2017 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise