卡夫曼奖是电子设计自动化联盟为表彰在电子设计自动化领域做出杰出贡献、对电子设计产生重要影响的人物而设立的奖项。该奖项被誉为电子设计自动化界的诺贝尔奖。获奖者的贡献可以涵盖商业、工业趋势和改进、技术和工程、教育和指导等方面。该奖项是为了纪念已故的Quickturn System公司前主席菲尔·卡夫曼而设立的。

卡夫曼奖（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 (日元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