A. Richard Newton Technical Impact Award in Electronic Design Automation

To honor a person or persons for an outstanding technical contribution within the scope of electronic design automation, as evidenced by a paper published at least ten years before the presentation of the award.

Historical Background

A. Richard Newton, one of the foremost pioneers and leaders of the EDA field, passed away on January 2, 2007, of pancreatic cancer at the age of 55.

A. Richard Newton was professor and dean of the College of Engineering at the University of California, Berkeley. Newton was educated at the University of Melbourne and received his bachelor’s degree in 1973 and his master’s degree in 1975. In the early 1970’s he began to work on SPICE, a simulation program initially developed by Larry Nagel and Donald Pederson to analyze and design complex electronic circuitry with speed and accuracy. In 1978, Newton earned his Ph.D. in electrical engineering and computer sciences from UC Berkeley.

For his research and entrepreneurial contributions to the electronic design automation industry, he was awarded the 2003 Phil Kaufman Award, the highest recognition for contributions to the EDA field. In 2004, he was named a member of the National Academy of Engineering, and in 2006, of the American Academy of Arts and Sciences. He was a member of the Association for Computing Machinery and a fellow of the Institute of Electrical and Electronics Engineers.

Prize
$1,500 and Plaque for each author. The honoraria will be shared by all authors. For groups of more than five awardees, there will be a minimum of $300 honorarium per contributor.
Funding
Funded by the IEEE Council on Electronic Design Automation and ACM Special Interest Group on Design Automation.
Presentation
Presented annually at the Design Automation Conference (DAC).
Basis for Judgement
The impact of the paper which has made an outstanding technical contribution in the scope of electronic design automation through a paper published at least ten years before the award is presented. The award shall be based on the impact of the paper in the field of electronic design automation published ten years or more before the year the award is presented.
Eligibility
Open to authors of a paper in the field of electronic design automation published ten years or more before the award is presented. The paper must have passed through a peer-review process before publication, be an archived conference or journal publication available from or published by either ACM or IEEE, and be a seminal paper where an original idea was first described. Follow-up papers and extended descriptions of the work may be cited in the nomination, but the award is given for the initial original contribution.
Nomination Details

The deadline for submitting nominations for the award year is February 1 of that same year.

Award Recipients

Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik

Citation
For seminal contributions to scalable Boolean satisfiability solving including locality-based search and efficient backtracking.
Paper
Chaff: Engineering an Efficient SAT Solver

Proc. of the 38th annual Design Automation Conference, pp. 530 - 535, June 2001.

Chandu Visweswariah, Kaushik Ravindran, Kerim Kalafala, Steven G. Walker, Sambasivan Narayan

Citation
Paper
First-Order Incremental Block-Based Statistical Timing Analysis

Proc. of the 41st Design Automation Conference, pp. 331 – 336, June 2004.

Blaise Gassend, Dwaine Clarke, Marten van Dijk, Srinivas Devadas

Citation
Paper
Silicon Physical Random Functions

Proc. of the 9th ACM Conference on Computer and Communications Security, 2002

Subhasish Mitra, Kee Sup Kim

Citation
Paper
X-Compact: An Efficient Response Compaction Technique for Test Cost Reduction

IEEE International Test Conference, October 2002

Keith Nabors, Jacob White

Citation
Paper
FastCap: a multipole accelerated 3-D capacitance extraction program

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, November 1991

Altan Odabasioglu, Mustafa Celik, Larry Pileggi

Citation
For advancing the theory and implementation of model order reduction for efficient circuit analysis via dominant pole/zero methods.
Paper
PRIMA: Passive Reduced-Order Interconnect Macromodeling Algorithm

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Aug 1998

Jason Cong, Eugene Ding

Citation
For pioneering work on technology mapping for FPGA (field-programmable gate array) that has made a significant impact on the FPGA research community and industry.
Paper
FlowMap: An Optimal Technology Mapping Algorithm for Delay Optimization in Lookup-Table Based FPGA Designs

IEEE Transactions on Computer-Aided Design Jan 1994

Randal Bryant

Citation
For developing Reduced Ordered Binary Decision Diagrams forming the foundation for symbolic manipulation of logic designs with broad impacts in academia and industry.
Paper
Graph-based algorithms for Boolean function manipulation

IEEE Transactions on Computers Aug 1986

Robert K. Brayton, Richard Rudell , Alberto Sangiovanni-Vincentelli, Albert R. Wang

Citation
For seminal contributions to multilevel logic optimization impacting research, education, and industrial practice.
Paper
MIS: A Multiple-Level Logic Optimizations System

IEEE Transactions on Computer-Aided Design Nov 1997