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

Featured Video
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Simon Davidmann: A re-energized Imperas Tutorial at DAC
Peggy AycinenaIP Showcase
by Peggy Aycinena
ARM: A Gnawing Sense of Unease
More Editorial  
LVS for PDK Design Engineer SILICON VALLEY for EDA Careers at San Jose, CA
Senior Front-End RTL Design AE for EDA Careers at San Jose, CA
DDR 3-4-5 Developer with VIP for EDA Careers at San Jose, CA
Upcoming Events
11th International Conference on Verification and Evaluation of Computer and Communication Systems at 1455 DeMaisonneuve W. EV05.139 Montreal Quebec Canada - Aug 24 - 25, 2017
DVCon India 2017, Sept 14 - 15, 2017 at The Leela Palace Bengalore India - Sep 14 - 15, 2017
SMTA International 2017 at Rosemont IL - Sep 17 - 21, 2017
DownStream: Solutions for Post Processing PCB Designs
S2C: FPGA Base prototyping- Download white paper
TrueCircuits: IoTPLL

Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — 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 Policy