The ESL Edge

Randal E. Bryant joins Aart de Geus, Phil Moorby, Joe Costello, Richard Newton, Alberto Sangiovanni-Vincentelli, Hugo De Man, Carver A. Mead and other EDA industry greats in being presented with the Phil Kaufman award (2009) for his contributions to the EDA industry. Randy was singled out for his contributions in the formal verification space.

Dr. [...]