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 »


Review Article Be the first to review this article

Downstream : Solutuions for Post processing PCB Designs

Featured Video
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Upcoming Events
Symposium on Counterfeit Parts and Materials 2018 at College Park Marriott Hotel & Conference Center MD - Jun 26 - 28, 2018
Concar Expo 2018 at Convention Hall II Sonnenallee 225 Berlin Germany - Jun 27 - 28, 2018
Nanotech 2019 at Tokyo Big Sight East Halls 4-6 & Conference Tower Tokyo Japan - Jun 30 - 1, 2018
INMMiC 2018 at university campus of Brive La Gaillarde France - Jul 5 - 6, 2018
DownStream: Solutions for Post Processing PCB Designs
TrueCircuits: IoTPLL

Internet Business Systems © 2018 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