Professor
Department of Computer & Communication Engineering
University of Thessaly, Volos, Greece

Protocol Verification in SOC designs - An Industrial Experience

The realities of the consumer electronics market have elevated the importance of SOC designs. As a result,  the interconnection of multiple IPs from different sources has created a heightened sense of urgency for improved system validation techniques and a renewed interest in the area of formal verification for Bus protocols. In this talk we will present the many facets of contemporary formal protocol verification, its current successes and  challenges, its future promises as well as the implications for the evolution of training curricula for the coming generation of engineers.

About the speaker:

John Moondanos received his BSEE from the National Technical University of Athens, Greece in 1988 and his MSE and Ph.D. Degrees from the University of Texas at Austin in 1990 & 1993 respectively.  In 1993 he joined Intel Corp. to pursue his interests in the areas of Design, Test & Formal Verification of VLSI Systems. Dr. Moondanos remained with Intel Corp until 2008, where he became a Principle Engineer having worked on all the major microprocessor designs since the Pentium II.  He  received the Intel Achievement Award, the company's highest accolade for Technical Achievement based on his work in combinational and sequential Formal Equivalence Checking. In 2008, he joined Jasper Design Automation as a Principle Engineer where he worked on the Formal Verification of SOC designs. In 2009 Dr. Moondanos joined the Computer Engineering Department, of the University of Thessaly, Volos, Greece as an associate Professor, where he is currently serving as the Associate Chair and the  Director of  Graduate Studies. Dr. Moondanos has served as a consultant to various US companies including Apple and Nvidia.