CMACS researchers receive the 2011 IEEE/ACM William J. McCalla Best Paper Award at the International Conference on Computer-Aided Design

M. Althoff, A. Rajhans, B. Krogh, S. Yaldiz, X. Li, and L. Pileggi received the 2011 IEEE/ACM William J. McCalla ICCAD Best Paper Award for their paper "Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization". The award will be presented in November 2011 in San Jose, CA, at the International Conference on Computer-Aided Design (ICCAD).