卡夫曼奖

卡夫曼奖（Phil Kaufman Award）是电子设计自动化联盟为那些在电子设计自动化方面有着杰出贡献，从而对电子设计有着重要影响的人物设立的，被认为是电子设计自动化界的诺贝尔奖。

这些贡献可以是如下任何一项：

1、商业

2、工业趋势和改进

3、技术和工程

4、教育和指导

这个奖是为了纪念菲尔·卡夫曼，已故的Quickturn Systems前主席。

获奖者2009: Randal Bryant，卡耐基梅隆大学教授，由于他在形式验证方面的奠基性贡献。

2008: Aart de Geus, Synopsys CEO，由于他在EDA工业界的贡献，尤其是设计编译工具方面。

2007: Robert K. Brayton，由于他在逻辑综合、形式验证方面的工作。

2006: Robert Dutton，SUPREM（Stanford University Process Engineering Models）的发明者和PISCES（Poisson and Continuity Equation Solver）仿真工具和软件在计算机辅助设计方面的应用。

2005: Phil Moorby，Verilog的发明者

2004: Joseph Costello

2003: A. Richard Newton

2002: Ronald A. Rohrer

2001: Alberto Sangiovanni-Vincentelli

2000: Paul (Yen-Son) Huang

1999: Hugo De Man

1998: Ernest S. Kuh

1997: James E. Solomon

1996: Carver A. Mead

1995: Donald Pederson

1994: Hermann K. Gummel