With the communications market expected to grow dramatically in coming years, product time-to-market and cost pressures are increasing. Analog and mixed-signal blocks are fast becoming key design bottlenecks in communication systems. In this talk, we review recent progress in verification algorithms and tools for analog, RF and mixed-signal systems, including multitime PDE methods, mixing and phase noise analysis, and macromodelling algorithms.

Jaijeet Roychowdhury received a Bachelor's degree in Electrical Engineering from the Indian Institute of Technology (Kanpur) in 1987, and a Ph.D. degree in EECS from the University of California (Berkeley) in 1993. From 1993 to 1995, he was with the CAD Lab of AT&T's Bell Laboratories in Allentown, PA; from 1995-2000, with the Communication Sciences Research Division of Lucent's Bell Laboratories in Murray Hill, NJ; and from 2000-2001, with CeLight, Inc., an optical networking startup in Silver Spring, MD. Roychowdhury joined the ECE Department and the Digital Technology Center of the University of Minnesota in Fall 2001 as Associate Professor. He has received a Distinguished Paper Award at ICCAD 1991, Best Paper Awards at DAC 1997, ASP-DAC 1997 and ASP-DAC 1999, and a citation for Extraordinary Achievement from Bell Laboratories. He serves or has served on the Technical Program Committees of the IEEE/ACM Design Automation Conference (DAC), the International Conference on Computer-Aided Design (ICCAD), the Behavioral Modeling and Simulation Workshop (BMAS) and the European Conference on Scientific Computation in Electrical Engineering. Roychowdhury's professional interests include the design, analysis and simulation of electronic and electro-optical systems, particularly for communications. He has published more than 30 research articles in international journals and peer-reviewed conferences and has authored two book chapters. He has presented four conference tutorials and delivered a number of invited talks in academia and industry. Roychowdhury holds ten patents.